A toy symbolic execution engine. Purely exploratory to better understand the tradeoffs that occur when writing a symbolic executor in Rust.
xldenis/symexec
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
A toy symbolic execution engine. Purely exploratory to better understand the tradeoffs that occur when writing a symbolic executor in Rust.