Auto
Light
Rust
Coal
Navy
Ayu
Owi
Comparison to Fuzzing and Abstract Interpretation