Symbolic execution for Wasm, C, C++, Rust and Zig

247 stars 34 forks 247 watchers OCaml GNU Affero General Public License v3.0
afl c concolic-execution constraints formatter fuzzer interpreter nlnet ocaml optimizer owi parallel rust smt solver symbolic-execution wasm wasm2wat wat2wasm webassembly
1 Open Issue Need Help Last updated: Sep 12, 2025

Open Issues Need Help

View All on GitHub
store signedness in scope about 2 months ago

AI Summary: This issue proposes implementing a scope-based mechanism to store and track the signedness (signed or unsigned) of integer types. By opening a specific scope, this information can then be utilized during model generation to correctly display numbers and print more precise type information. The goal is to improve the accuracy and clarity of type representation in the generated models.

Complexity: 2/5
good first issue

Symbolic execution for Wasm, C, C++, Rust and Zig

OCaml
#afl#c#concolic-execution#constraints#formatter#fuzzer#interpreter#nlnet#ocaml#optimizer#owi#parallel#rust#smt#solver#symbolic-execution#wasm#wasm2wat#wat2wasm#webassembly