GenSym is a symbolic-execution compiler that given an input LLVM IR program, it produces code performing optimized parallel symbolic execution.
This is the ICSE 23 artifact branch; see instructions for more details.
-
Notifications
You must be signed in to change notification settings - Fork 6
Generative-Program-Analysis/GenSym
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
A high-performance, parallel, compilation-based symbolic execution engine
Topics
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published