npm

klee

Symbolic execution engine for C/C++ program analysis and testing

brewmacoslinux
Try with needOr install directly
Source

About

Symbolic Execution Engine

Commands

klee

Examples

Analyze a C program for potential bugs and generate test cases$ klee program.bc
Run KLEE with a timeout and limit on path exploration$ klee --max-time=60 --max-solver-time=10 program.bc
Generate test cases in a specific output directory$ klee -output-dir=klee-out program.bc