XeLabs/awesome-symbolic-execution
2
0
Fork 0
mirror of https://github.com/ksluckow/awesome-symbolic-execution.git synced 2026-06-21 00:46:52 +08:00
Code Issues Projects Releases Wiki Activity

Add CrossHair to Python section.

Browse source
This commit is contained in:
Phillip Schanely 2020-01-24 22:07:14 -05:00 committed by GitHub
parent 15dc2febea
commit b9ec1c1f8b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
README.md
View file

@ -75,6 +75,7 @@
### Python
* [CrossHair](https://github.com/pschanely/CrossHair) - Symbolic execution tool for verifying properties of Python functions.
* [PyExZ3](https://github.com/thomasjball/PyExZ3) - Symbolic execution of Python functions. A rewrite of the [NICE](https://code.google.com/archive/p/nice-of) project's symbolic execution tool.