neo-decompiler 0.8.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

use super::*;

#[test]
fn single_use_temp_is_inlined_into_first_use_site() {
    let mut statements = vec!["let t0 = x + 1;".to_string(), "let loc0 = t0;".to_string()];

    HighLevelEmitter::inline_single_use_temps(&mut statements);

    assert_eq!(statements[0], "");
    assert_eq!(statements[1], "let loc0 = (x + 1);");
}

#[test]
fn single_use_temp_is_not_inlined_into_control_flow_conditions() {
    let mut statements = vec!["let t0 = x == 0;".to_string(), "if t0 {".to_string()];

    HighLevelEmitter::inline_single_use_temps(&mut statements);

    assert_eq!(statements[0], "let t0 = x == 0;");
    assert_eq!(statements[1], "if t0 {");
}

#[test]
fn single_use_literal_temp_is_inlined_into_control_flow_conditions() {
    let mut statements = vec!["let t0 = 3;".to_string(), "if x < t0 {".to_string()];

    HighLevelEmitter::inline_single_use_temps(&mut statements);

    assert_eq!(statements[0], "");
    assert_eq!(statements[1], "if x < 3 {");
}

#[test]
fn non_temp_identifiers_are_not_inlined() {
    let mut statements = vec!["let loc0 = x + 1;".to_string(), "return loc0;".to_string()];

    HighLevelEmitter::inline_single_use_temps(&mut statements);

    assert_eq!(statements[0], "let loc0 = x + 1;");
    assert_eq!(statements[1], "return loc0;");
}

#[test]
fn temp_replacement_respects_identifier_boundaries() {
    let mut statements = vec!["let t1 = 1;".to_string(), "let x = t10 + t1;".to_string()];

    HighLevelEmitter::inline_single_use_temps(&mut statements);

    assert_eq!(statements[0], "");
    assert_eq!(statements[1], "let x = t10 + 1;");
}

#[test]
fn chained_inline_preserves_equality_operator() {
    let mut statements = vec![
        "let t11 = 0x01;".to_string(),
        "let t12 = t10 == t11;".to_string(),
        "assert(t12);".to_string(),
    ];

    HighLevelEmitter::inline_single_use_temps(&mut statements);

    // t12 inlined first (higher def_line), then t11
    assert_eq!(statements[2], "assert((t10 == 0x01));");
}