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

Basic TOC

Browse source
This commit is contained in:
Kasper Luckow 2017-07-18 15:59:50 -07:00
parent c39cd93213
commit f3f5295d17
1 changed files with 20 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

20
README.md
View file

@ -1,2 +1,22 @@
# 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.
## Table of Contents
* [Books](#books)
* [Tutorials](#tutorials)
* [Videos](#videos)
* [Courses](#courses)
* [Papers](#Papers)
* [Tools](#Tools)
## Books
## Tutorials
## Videos
## Courses
## Papers
## Tools