neo-decompiler 0.11.0

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

use super::super::super::HighLevelEmitter;

#[test]
fn switch_fold_preserves_non_temp_inter_case_statement() {
    let mut statements = vec![
        "if loc0 == 0 {".to_string(),
        "    do0();".to_string(),
        "}".to_string(),
        "loc5 = side_effect();".to_string(),
        "if loc0 == 1 {".to_string(),
        "    do1();".to_string(),
        "}".to_string(),
        "if loc0 == 2 {".to_string(),
        "    do2();".to_string(),
        "}".to_string(),
    ];
    HighLevelEmitter::rewrite_switch_statements(&mut statements);
    assert!(
        statements
            .iter()
            .any(|s| s.trim() == "loc5 = side_effect();"),
        "non-temp inter-case statement must survive: {statements:?}"
    );
}

#[test]
fn switch_fold_preserves_side_effecting_temp_between_cases() {
    let mut statements = vec![
        "if loc0 == 0 {".to_string(),
        "    do0();".to_string(),
        "    return;".to_string(),
        "}".to_string(),
        "let t7 = Foo(arg);".to_string(),
        "if loc0 == 1 {".to_string(),
        "    do1();".to_string(),
        "    return;".to_string(),
        "}".to_string(),
        "if loc0 == 2 {".to_string(),
        "    do2();".to_string(),
        "    return;".to_string(),
        "}".to_string(),
    ];
    HighLevelEmitter::rewrite_switch_statements(&mut statements);
    assert!(
        statements.iter().any(|s| s.trim() == "let t7 = Foo(arg);"),
        "side-effecting temp must survive: {statements:?}"
    );
}

#[test]
fn switch_fold_still_applies_to_consecutive_cases() {
    let mut statements = vec![
        "if loc0 == 0 {".to_string(),
        "    do0();".to_string(),
        "}".to_string(),
        "if loc0 == 1 {".to_string(),
        "    do1();".to_string(),
        "}".to_string(),
        "if loc0 == 2 {".to_string(),
        "    do2();".to_string(),
        "}".to_string(),
    ];
    HighLevelEmitter::rewrite_switch_statements(&mut statements);
    assert!(
        statements.iter().any(|s| s.trim().starts_with("switch ")),
        "consecutive standalone-if cases should still fold to a switch: {statements:?}"
    );
}