wassail icon indicating copy to clipboard operation
wassail copied to clipboard

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

Open zer0-1s opened this issue 1 year ago • 0 comments

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: stack: [l0], globals: [g0], mem: l0
actual: stack: [l0], globals: [l0,g0], mem: l0,g0
2 call summary:                      
1 call summary: 2 → l0;g0
0 call summary: 1 → l0, 2 → l0;g0
[WARNING] Analyzing unsafe flows in indirect calls is not yet implemented
2 call summary: 
1 call summary: 2 → l0;g0
0 call summary: 1 → l1, 2 → l1;g0
[WARNING] Analyzing unsafe flows in indirect calls is not yet implemented
File "lib/dune", line 22, characters 1-23:
22 |  (inline_tests (flags)) ;; To include online one test, use -only-test foo.ml:linenumber
      ^^^^^^^^^^^^^^^^^^^^^^
[WARNING] instruction is unreachable: 2
[WARNING] instruction is unreachable: 3
[WARNING] instruction is unreachable: 2
File "lib/analysis/slice/slicing.ml", line 1622, characters 2-455: slicing with unreachable return is false.

FAILED 1 / 36 tests
make: *** [Makefile:9: test] Error 1 

zer0-1s avatar Mar 16 '24 08:03 zer0-1s