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
OCamlPro/owi
247
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