GitHub repository: Generative-Program-Analysis/GenSym
Primary language: Java
Created: 2022-08-12T22:57:38Z
Description: A high-performance, parallel, compilation-based symbolic execution engine