https://github.com/euske/symex
Symbolic Execution for Python
https://github.com/euske/symex
program-analysis python symbolic-execution testing z3
Last synced: about 1 month ago
JSON representation
Symbolic Execution for Python
- Host: GitHub
- URL: https://github.com/euske/symex
- Owner: euske
- License: mit
- Created: 2019-01-09T09:51:58.000Z (over 7 years ago)
- Default Branch: master
- Last Pushed: 2020-10-26T05:55:14.000Z (over 5 years ago)
- Last Synced: 2023-04-09T13:32:35.849Z (about 3 years ago)
- Topics: program-analysis, python, symbolic-execution, testing, z3
- Language: Python
- Size: 20.5 KB
- Stars: 0
- Watchers: 3
- Forks: 0
- Open Issues: 0