Awesome-Mirrors/Awesome-Fuzzing
1
0
Fork 0
mirror of https://github.com/secfigo/Awesome-Fuzzing.git synced 2025-02-01 10:34:53 -05:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #68 from DavidKorczynski/patch-1

Browse Source 
Additional fuzzing and symbolic execution content.
This commit is contained in:
Mohammed A Imran 2021-06-10 12:26:00 +08:00 committed by GitHub
commit 1525cc618c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@ -74,6 +74,7 @@ A curated list of fuzzing resources ( Books, courses - free and paid, videos, to
[Exodus Intelligence - Vulnerability development master class](https://blog.exodusintel.com/2016/05/18/exodus-intelligence-2016-training-course/)
[Ada Logics - Applied Source Code Fuzzing](https://adalogics.com/training-source-fuzz)
## Videos
@ -362,6 +363,7 @@ https://www.corelan.be/index.php/2013/02/26/root-cause-analysis-memory-corruptio
[SMT-LIB](http://smtlib.cs.uiowa.edu/) - An international initiative aimed at facilitating research and development in Satisfiability Modulo Theories (SMT)
[Symbolic execution with KLEE: From installation and introduction to bug-finding in open source software](https://adalogics.com/blog/symbolic-execution-with-klee) - A set of four instructional videos introducing KLEE, starting with how to get started with KLEE and ending with a demo that finds memory corruption bugs in real code.
### References