Lib.rs

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

app cargo-owi

Cargo wrapper for the owi bug finding tool

by Arthur Carcano, Léo, Pierre Chambart, Filipe Marques, Eric Patrizio, Hichem R. A. and 13 contributors

1 unstable release

Uses new Rust 2024

0.1.0 Jan 16, 2026

#461 in Cargo plugins

AGPL-3.0-only

5KB
68 lines

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

Dependencies

~1.7–3MB
~53K SLoC