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

New section: History of symbolic execution.

Browse source
This commit is contained in:
Stanislav Pankevich 2017-12-20 14:56:19 +01:00 committed by GitHub
parent 78d8e8e7cb
commit a9cfb4734c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 7 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
README.md
View file

@ -32,6 +32,13 @@
* [Symbolic Execution Lecture (part of Software Security course on Coursera)](https://www.coursera.org/learn/software-security/lecture/agCNF/introducing-symbolic-execution). * [Symbolic Execution Lecture (part of Software Security course on Coursera)](https://www.coursera.org/learn/software-security/lecture/agCNF/introducing-symbolic-execution).
## History
[symbolic-execution](https://github.com/enzet/symbolic-execution)
> History of symbolic execution
## Tools ## Tools