Awesome-Mirrors/Awesome-Fuzzing
1
0
Fork 0
mirror of https://github.com/secfigo/Awesome-Fuzzing.git synced 2025-04-24 17:19:37 -04:00
Code Issues Packages Projects Releases Wiki Activity

blurbs for SMT-LIB and Z3 (#14)

Browse Source
This commit is contained in:
jose nazario 2017-06-21 04:09:42 -04:00 committed by Mohammed A Imran
parent c1ca34c7f3
commit f302cac4cc
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
README.md
View File

@ -273,9 +273,9 @@ https://www.corelan.be/index.php/2013/02/26/root-cause-analysis-memory-corruptio
### Symbolic Execution SAT and SMT Solvers
[Z3](https://github.com/Z3Prover/z3)
[Z3](https://github.com/Z3Prover/z3) - A theorem prover from Microsoft Research.
[SMT-LIB](http://smtlib.cs.uiowa.edu/)
[SMT-LIB](http://smtlib.cs.uiowa.edu/) - An international initiative aimed at facilitating research and development in Satisfiability Modulo Theories (SMT)
### References