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

Additional fuzzing and symbolic execution content.

Browse Source 
Additional fuzzing and symbolic execution content - a course as well as a blog post that wraps four instructional videos.
This commit is contained in:
DavidKorczynski 2020-10-26 22:17:01 +00:00 committed by GitHub
parent 9d2201ac8f
commit e142033cd0
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
@ -358,6 +359,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