neo-decompiler 0.6.2

Minimal tooling for inspecting Neo N3 NEF bytecode
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

use super::*;

#[test]
fn high_level_lifts_simple_while_loop() {
    // Script: PUSH1, JMPIFNOT +5 (to RET), NOP, JMP -4 (to PUSH1), RET
    let script = [0x11, 0x26, 0x05, 0x21, 0x22, 0xFC, 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("while t0 {"),
        "missing while block: {high_level}"
    );
    assert!(
        !high_level.contains("jump ->"),
        "loop back-edge should be lifted: {high_level}"
    );
}