XeLabs/awesome-symbolic-execution
2
0
Fork 0
mirror of https://github.com/ksluckow/awesome-symbolic-execution.git synced 2026-06-25 10:56:47 +08:00
Code Issues Projects Releases Wiki Activity

Update description

Browse source
This commit is contained in:
Kasper Luckow 2017-07-23 15:50:29 -07:00
parent a4d30d18be
commit 5088e5003d
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
README.md
View file

@ -1,6 +1,6 @@
# Awesome Symbolic Execution [![Awesome](https://cdn.rawgit.com/sindresorhus/awesome/d7305f38d29fed78fa85652e3a63e154dd8e8829/media/badge.svg)](https://github.com/sindresorhus/awesome) # Awesome Symbolic Execution [![Awesome](https://cdn.rawgit.com/sindresorhus/awesome/d7305f38d29fed78fa85652e3a63e154dd8e8829/media/badge.svg)](https://github.com/sindresorhus/awesome)
>A curated list of awesome symbolic execution resources including books, essential research papers, tutorials and tools. >A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
## Table of Contents ## Table of Contents