find-heartbleed. clang checker to find heartbleed
crab-clang. translate clang AST into CRAB
squadlog. Rust
afl-pred. C
