Thanks to visit codestin.com
Credit goes to lib.rs

Lib.rs

›
#bug-finding #bindings #symbolic #symbolic-execution

owi

Bindings to the C symbolic API of the owi bug finding tool

Owned by Léo, Arthur Carcano, dylibso-bot.

2 unstable releases

new 0.2.0 Jan 16, 2026
0.1.0 Feb 22, 2024

#3 in #symbolic-execution

AGPL-3.0-only

9KB
233 lines

Bindings to owi's C API.

No runtime deps