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

Lib.rs

› Development tools › Cargo plugins
#cargo #bug-finding #cargo-run

app cargo-owi

Cargo wrapper for the owi bug finding tool

Owned by Arthur Carcano.

1 unstable release

Uses new Rust 2024

new 0.1.0 Jan 16, 2026

#20 in #cargo-run

AGPL-3.0-only

5KB
68 lines

A cargo wrapper to run program using owi's symbolic api.

Dependencies

~2–3MB
~59K SLoC