whamm 0.1.0

A framework for 'Wasm Application Monitoring and Manipulation'
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12

wasm:opcode:*:before / at_func_end || opname != "end" / {
    report unshared var reached: bool;
    reached = true;
}

wasm:opcode:end:after / !at_func_end / {
    // The `end` opcode is a special case, we can tell if it's been
    // reached by fallthrough OR branch-to by emitting an AFTER probe.
    // EXCEPT for the end of a function, then we do a BEFORE.
    report unshared var reached: bool;
    reached = true;
}