owi

owi copied to clipboard

epatrizio

In testcomp for instance, there are a few cases where we find some traps coming from Wasm but they would not qualify as a way to reach one of the...

redianthus

Add missing functions to our stdio.c

1

As highlighted in #269 in sv-benchmarks/c/busybox-1.22.0/od-4.i we fail with ```text wasm-ld-18: error: /tmp/od-4-02ca46.o: undefined symbol: stdin wasm-ld-18: error: /tmp/od-4-02ca46.o: undefined symbol: setbuf wasm-ld-18: error: /tmp/od-4-02ca46.o: undefined symbol: fread wasm-ld-18: error:...

krtab

Fixes issue #255

epatrizio

```shell-session $ owi c --debug -O1 sv-benchmarks/c/busybox-1.22.0/ls-incomplete-2.i wasm-ld-18: warning: function signature mismatch: time >>> defined as (i32) -> i32 in lto.tmp >>> defined as (i32) -> i64 in /home/zapashcanon/.config/opam/5.1.0/share/owi/binc/libc.wasm typechecking...

redianthus

instead of copying all files here...

redianthus

add option to fail instead of aborting when memory model is insufficient

3

after #263 so that we don't say "nothing"

redianthus

implement various exploration strategies and heuristics

2

* [ ] Depth-First Search (DFS): Traverses states in depth-first order. * [ ] Breadth-First Search (BFS): Traverses states in breadth-first order. * [ ] Random State Search: Randomly selects...

redianthus

redianthus

use proper `conf-*` packages instead of depexts

5

for instance `conf-clang` instead of the `clang` depext

redianthus