GitHub repository: tjausm/Jip
Primary language: Rust
Description: Symbolic execution engine written for the OOX language