neo-decompiler 0.8.2

Neo N3 NEF decompiler: parse, disassemble, lift bytecode to high-level pseudocode and C# skeletons, with a CLI, JSON reports, and optional WebAssembly bindings.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73

use super::super::*;

#[test]
fn high_level_pops_assert_condition() {
    // Script: PUSH2 (value), PUSH1 (condition), ASSERT, RET
    // ASSERT consumes the condition but keeps the remaining stack.
    let script = [0x12, 0x11, 0x39, 0x40];
    let nef_bytes = build_nef(&script);
    let decompilation = Decompiler::new()
        .decompile_bytes(&nef_bytes)
        .expect("decompile succeeds");

    let high_level = decompilation
        .high_level
        .as_deref()
        .expect("high-level output");
    assert!(
        high_level.contains("assert(t1);"),
        "ASSERT should emit an assert call: {high_level}"
    );
    assert!(
        high_level.contains("return t0;"),
        "ASSERT should pop the condition, returning the original value: {high_level}"
    );
}

#[test]
fn high_level_abort_clears_stack() {
    // Script: PUSH1, ABORT, RET
    // ABORT terminates execution; we treat it as clearing the tracked stack.
    let script = [0x11, 0x38, 0x40];
    let nef_bytes = build_nef(&script);
    let decompilation = Decompiler::new()
        .decompile_bytes(&nef_bytes)
        .expect("decompile succeeds");

    let high_level = decompilation
        .high_level
        .as_deref()
        .expect("high-level output");
    assert!(
        high_level.contains("abort();"),
        "ABORT should emit an abort call: {high_level}"
    );
    assert!(
        high_level.contains("return;"),
        "stack should be cleared after ABORT: {high_level}"
    );
}

#[test]
fn high_level_throw_clears_stack() {
    // Script: PUSH1, THROW, RET
    // THROW terminates execution; decompiler should not keep stale stack values.
    let script = [0x11, 0x3A, 0x40];
    let nef_bytes = build_nef(&script);
    let decompilation = Decompiler::new()
        .decompile_bytes(&nef_bytes)
        .expect("decompile succeeds");

    let high_level = decompilation
        .high_level
        .as_deref()
        .expect("high-level output");
    assert!(
        high_level.contains("throw(t0);"),
        "THROW should emit a throw call: {high_level}"
    );
    assert!(
        high_level.contains("return;"),
        "stack should be cleared after THROW: {high_level}"
    );
}