wassail icon indicating copy to clipboard operation
wassail copied to clipboard

verified publisher icon acieroid
→

Metadata

wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of WebAssembly modules.

Results 2 wassail issues
Sort by recently updated
recently updated
newest added

lib/analysis/slice/slicing.ml error on ubuntu 22.04

``` wasm@wasm:~/Desktop/wassail$ make test opam exec -- dune build main.exe opam exec -- dune runtest [WARNING] using incorrect control_dep algorithm [WARNING] using incorrect control_dep algorithm [IMPRECISION] summaries not equal: expected:...

zer0-1s avatar zer0-1s

first attempt at making a value-set domain

Andre-PierreLamarche avatar Andre-PierreLamarche

← Metadata

41
Stars
7
Forks
Watchers

Owner

verified publisher icon acieroid

Metadata

wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of WebAssembly modules.

Back