owi icon indicating copy to clipboard operation
owi copied to clipboard

WebAssembly Swissknife & cross-language bugfinder

Results 258 owi issues
Sort by recently updated
recently updated
newest added

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...

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:...

bug

```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...

bug

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

enhancement
good first issue

* [ ] 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...

internship

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

good first issue