neo-decompiler 0.10.1

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

use super::super::super::*;
use crate::instruction::OpCode;

#[test]
fn high_level_lifts_boolean_ops() {
    // Script: PUSH1, PUSH1, BOOLAND, RET
    let script = [
        OpCode::Push1.byte(),
        OpCode::Push1.byte(),
        OpCode::Booland.byte(),
        OpCode::Ret.byte(),
    ];
    let nef_bytes = build_nef(&script);
    let decompilation = Decompiler::new()
        .decompile_bytes(&nef_bytes)
        .expect("decompile succeeds");

    assert!(decompilation
        .high_level
        .as_deref()
        .expect("high-level output")
        .contains("return t0 && t1;"));
}

#[test]
fn high_level_handles_stack_manipulation_and_unary_ops() {
    // Script: PUSH1, DUP, ADD, INC, RET
    let script = [
        OpCode::Push1.byte(),
        OpCode::Dup.byte(),
        OpCode::Add.byte(),
        OpCode::Inc.byte(),
        OpCode::Ret.byte(),
    ];
    let nef_bytes = build_nef(&script);
    let decompilation = Decompiler::new()
        .decompile_bytes(&nef_bytes)
        .expect("decompile succeeds");

    let hl = decompilation
        .high_level
        .as_deref()
        .expect("high-level output");
    // DUP of a simple literal/identifier no longer materializes a
    // temp — the duplicate reference is just another copy of the
    // existing value (mirrors JS port's `materialiseStackTopForDup`
    // skip for `SIMPLE_IDENT_OR_LITERAL_RE`). So the t-numbering
    // shifts by one compared to the older "always materialize DUP"
    // behaviour: ADD now allocates `t1`, INC's INC allocates t2 (then
    // gets inlined into the return).
    assert!(hl.contains("let t1 = t0 + t0;"), "expected t0+t0: {hl}");
    assert!(hl.contains("return t1 + 1;"), "expected return t1+1: {hl}");
}