ASSERT-KTH / slumps

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

Add script to run binaries in benchmark4pipeline_c/ #43

Closed orestisfl closed 4 years ago

orestisfl commented 4 years ago

This is a simple solution that uses clang name_of_bitcode.bc to compile a native executable and compares its output with an executable compiled from the source .c files.

With this, only the following files have problems where the executable segfaults:

Notice that optimized bitcodes are not the source of the segfault since the unoptimized ones crash as well.

For all other cases, the outputs are identical.

Requires pexpect.

Other solutions we tried where based on lli and wasmtime but where less stable.

Jacarte commented 4 years ago

Removing the wasm32-unknown-unknown triple works for this examples