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

Merge a9cfb4734c into 15dc2febea

Browse source
This commit is contained in:
Stanislav Pankevich 2018-08-13 12:01:11 +00:00 committed by GitHub
commit eff4435cfa
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).
## History
[symbolic-execution](https://github.com/enzet/symbolic-execution)
> History of symbolic execution
## Tools