{"repo":"trailofbits/deepstate","free":true,"listed":false,"github":"https://github.com/trailofbits/deepstate","clone":"git clone https://github.com/trailofbits/deepstate.git","description":"A unit test-like interface for fuzzing and symbolic execution","language":"Python","stars":864,"topics":["unit-testing","symbolic-execution","fuzzing","testing-framework","testing-tools","property-based-testing"],"license":"Apache-2.0","category":"dev-tools","readme_excerpt":"DeepState 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. The 2018 IEEE Cybersecurity Development Conference included a full tutorial on effective use of DeepState. Table of Contents ================= DeepState in a Nutshell Articles describing DeepState Overview of Features Build'n'run Supported Platforms Dependencies Building on Ubuntu 18.04 (Bionic) Building on Windows 10 Installing Installation testing Docker Documentation Contributing Trophy case License DeepState in a Nutshell If you want to jump right in, or are having trouble with building DeepState, you can just use a Docker that is pre-built and has compiled versions of several of the easiest examples of DeepState in use: Then within the DeepState docker container, go to an example: This runs the AFL++ fuzzer on the TCAS code (https://en.wikipedia.org/wiki/Traffic collision avoidance system), a long-used example program in software testing. After two minutes of fuzzing, we run a version of the test driver that collects code coverage, and see how much of the code AFL has managed to cover in two minutes. NOTE 1","default_branch":null,"files":null,"tree":[],"storefront":"/r/trailofbits","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/trailofbits/deepstate/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}