search

ASSERT-KTH / slumps

Cool code analysis research for WebAssembly
https://kth.github.io/slumps/
65 stars 11 forks source link

WAKOKO: coverage tool for WASM #54

Open monperrus opened 4 years ago

monperrus commented 4 years ago

issue to keep some traces of the progress and todos.

Next steps:

monperrus commented 4 years ago

TODO @Jacarte @tareq97 rebase branch optin against SWAM master

Jacarte commented 4 years ago

Path coverage in https://github.com/KTH/swam/pull/9

orestisfl commented 3 years ago

See https://github.com/WebAssembly/binaryen/blob/master/src/passes/InstrumentLocals.cpp and https://github.com/WebAssembly/binaryen/blob/master/src/passes/InstrumentMemory.cpp

monperrus commented 3 years ago

FYI v2 is a pure C implementation: https://github.com/KTH/slumps/pull/74

monperrus commented 3 years ago

Alternatives could be https://github.com/rustwasm/walrus/ and the other one in binaryen, see Orestis' comment above.