DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

Add a link to the slides for now (placeholder until ToB official link)

Browse Source
This commit is contained in:
Alex Groce 2018-11-11 15:23:22 -07:00 committed by GitHub
parent ab3f5f38cd
commit 22578565f1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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

@ -6,7 +6,7 @@
DeepState is a framework that provides C and C++ developers with a common interface to various symbolic execution and fuzzing engines. Users can write one test harness using a Google Test-like API, then execute it using multiple backends without having to learn the complexities of the underlying engines. It supports writing unit tests and API sequence tests, as well as automatic test generation. Read more about the goals and design of DeepState in our [paper](https://agroce.github.io/bar18.pdf).
The [2018 IEEE Cybersecurity Development Conference](https://secdev.ieee.org/2018/home) included a full tutorial on effective use of DeepState.
The [2018 IEEE Cybersecurity Development Conference](https://secdev.ieee.org/2018/home) included a [full tutorial](http://www.petergoodman.me/docs/secdev-2018-slides.pdf) on effective use of DeepState.
## Overview of Features