Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/nmeum/qsym
A symbolic executor for the QBE intermediate language
https://github.com/nmeum/qsym
compiler qbe symbolic-execution testing-tools z3
Last synced: 1 day ago
JSON representation
A symbolic executor for the QBE intermediate language
- Host: GitHub
- URL: https://github.com/nmeum/qsym
- Owner: nmeum
- License: gpl-3.0
- Created: 2023-05-13T10:21:41.000Z (over 1 year ago)
- Default Branch: master
- Last Pushed: 2023-06-01T22:00:44.000Z (over 1 year ago)
- Last Synced: 2024-05-13T00:12:10.124Z (6 months ago)
- Topics: compiler, qbe, symbolic-execution, testing-tools, z3
- Language: Rust
- Homepage:
- Size: 107 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0