├── .dockerignore ├── .github └── workflows │ └── ci.yml ├── .gitignore ├── CMakeLists.txt ├── CODEOWNERS ├── LICENSE ├── README.md ├── Vagrantfile ├── bin ├── deepstate │ ├── __init__.py │ ├── core │ │ ├── __init__.py │ │ ├── base.py │ │ ├── fuzz.py │ │ └── symex.py │ └── executors │ │ ├── __init__.py │ │ ├── auxiliary │ │ ├── __init__.py │ │ ├── ensembler.py │ │ └── reducer.py │ │ ├── fuzz │ │ ├── __init__.py │ │ ├── afl.py │ │ ├── angora.py │ │ ├── eclipser.py │ │ ├── honggfuzz.py │ │ └── libfuzzer.py │ │ └── symex │ │ ├── __init__.py │ │ ├── angr.py │ │ └── manticore.py └── setup.py.in ├── docker ├── Dockerfile ├── base │ ├── Dockerfile │ └── sudoers.txt ├── install_afl.sh ├── install_angora.sh ├── install_eclipser.sh └── install_honggfuzz.sh ├── docs ├── README.md ├── basic_usage.md ├── fuzzing.md ├── swarm_testing.md ├── symbolic_execution.md └── test_harness.md ├── examples ├── BoringDisabled.cpp ├── CMakeLists.txt ├── Crash.cpp ├── EnsembledCrash.cpp ├── Euler.cpp ├── Fixture.cpp ├── FromEclipser.cpp ├── InputPath.cpp ├── IntegerArithmetic.cpp ├── IntegerOverflow.cpp ├── Klee.c ├── Lists.cpp ├── OneOf.cpp ├── OneOfP.cpp ├── Primes.cpp ├── Runlen.cpp ├── SimpleCrash.cpp ├── Squares.c ├── StreamingAndFormatting.cpp ├── TakeOver.cpp ├── TestInRange.cpp └── deepstate_abilist.txt ├── extras └── example_config.ini ├── mypy.ini ├── push ├── build_image ├── publish └── run.sh ├── src ├── include │ └── deepstate │ │ ├── Compiler.h │ │ ├── DeepState.h │ │ ├── DeepState.hpp │ │ ├── Klee.h │ │ ├── Log.h │ │ ├── Option.h │ │ ├── Platform.h │ │ ├── Stream.h │ │ └── Stream.hpp └── lib │ ├── DeepState.c │ ├── DeepState.h │ ├── DeepState_UNIX.c │ ├── DeepState_Win32.c │ ├── Log.c │ ├── Option.c │ └── Stream.c └── tests ├── deepstate_base.py ├── logrun.py ├── test_arithmetic.py ├── test_boringdisabled.py ├── test_crash.py ├── test_fixture.py ├── test_fuzzers.py ├── test_fuzzers_sync.py ├── test_klee.py ├── test_lists.py ├── test_oneof.py ├── test_overflow.py ├── test_primes.py ├── test_runlen.py ├── test_sanity_check.py ├── test_streamingandformatting.py └── test_takeover.py /.dockerignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/.dockerignore -------------------------------------------------------------------------------- /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/.gitignore -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /CODEOWNERS: -------------------------------------------------------------------------------- 1 | * @pgoodman 2 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/README.md -------------------------------------------------------------------------------- /Vagrantfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/Vagrantfile -------------------------------------------------------------------------------- /bin/deepstate/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/bin/deepstate/__init__.py -------------------------------------------------------------------------------- /bin/deepstate/core/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/bin/deepstate/core/__init__.py -------------------------------------------------------------------------------- /bin/deepstate/core/base.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/bin/deepstate/core/base.py -------------------------------------------------------------------------------- /bin/deepstate/core/fuzz.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/bin/deepstate/core/fuzz.py -------------------------------------------------------------------------------- /bin/deepstate/core/symex.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/bin/deepstate/core/symex.py -------------------------------------------------------------------------------- /bin/deepstate/executors/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /bin/deepstate/executors/auxiliary/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /bin/deepstate/executors/auxiliary/ensembler.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/bin/deepstate/executors/auxiliary/ensembler.py -------------------------------------------------------------------------------- /bin/deepstate/executors/auxiliary/reducer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/bin/deepstate/executors/auxiliary/reducer.py -------------------------------------------------------------------------------- /bin/deepstate/executors/fuzz/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/bin/deepstate/executors/fuzz/__init__.py -------------------------------------------------------------------------------- /bin/deepstate/executors/fuzz/afl.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/bin/deepstate/executors/fuzz/afl.py -------------------------------------------------------------------------------- /bin/deepstate/executors/fuzz/angora.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/bin/deepstate/executors/fuzz/angora.py -------------------------------------------------------------------------------- /bin/deepstate/executors/fuzz/eclipser.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/bin/deepstate/executors/fuzz/eclipser.py -------------------------------------------------------------------------------- /bin/deepstate/executors/fuzz/honggfuzz.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/bin/deepstate/executors/fuzz/honggfuzz.py -------------------------------------------------------------------------------- /bin/deepstate/executors/fuzz/libfuzzer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/bin/deepstate/executors/fuzz/libfuzzer.py -------------------------------------------------------------------------------- /bin/deepstate/executors/symex/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/bin/deepstate/executors/symex/__init__.py -------------------------------------------------------------------------------- /bin/deepstate/executors/symex/angr.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/bin/deepstate/executors/symex/angr.py -------------------------------------------------------------------------------- /bin/deepstate/executors/symex/manticore.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/bin/deepstate/executors/symex/manticore.py -------------------------------------------------------------------------------- /bin/setup.py.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/bin/setup.py.in -------------------------------------------------------------------------------- /docker/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/docker/Dockerfile -------------------------------------------------------------------------------- /docker/base/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/docker/base/Dockerfile -------------------------------------------------------------------------------- /docker/base/sudoers.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/docker/base/sudoers.txt -------------------------------------------------------------------------------- /docker/install_afl.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/docker/install_afl.sh -------------------------------------------------------------------------------- /docker/install_angora.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/docker/install_angora.sh -------------------------------------------------------------------------------- /docker/install_eclipser.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/docker/install_eclipser.sh -------------------------------------------------------------------------------- /docker/install_honggfuzz.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/docker/install_honggfuzz.sh -------------------------------------------------------------------------------- /docs/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/docs/README.md -------------------------------------------------------------------------------- /docs/basic_usage.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/docs/basic_usage.md -------------------------------------------------------------------------------- /docs/fuzzing.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/docs/fuzzing.md -------------------------------------------------------------------------------- /docs/swarm_testing.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/docs/swarm_testing.md -------------------------------------------------------------------------------- /docs/symbolic_execution.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/docs/symbolic_execution.md -------------------------------------------------------------------------------- /docs/test_harness.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/docs/test_harness.md -------------------------------------------------------------------------------- /examples/BoringDisabled.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/examples/BoringDisabled.cpp -------------------------------------------------------------------------------- /examples/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/examples/CMakeLists.txt -------------------------------------------------------------------------------- /examples/Crash.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/examples/Crash.cpp -------------------------------------------------------------------------------- /examples/EnsembledCrash.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/examples/EnsembledCrash.cpp -------------------------------------------------------------------------------- /examples/Euler.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/examples/Euler.cpp -------------------------------------------------------------------------------- /examples/Fixture.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/examples/Fixture.cpp -------------------------------------------------------------------------------- /examples/FromEclipser.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/examples/FromEclipser.cpp -------------------------------------------------------------------------------- /examples/InputPath.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/examples/InputPath.cpp -------------------------------------------------------------------------------- /examples/IntegerArithmetic.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/examples/IntegerArithmetic.cpp -------------------------------------------------------------------------------- /examples/IntegerOverflow.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/examples/IntegerOverflow.cpp -------------------------------------------------------------------------------- /examples/Klee.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/examples/Klee.c -------------------------------------------------------------------------------- /examples/Lists.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/examples/Lists.cpp -------------------------------------------------------------------------------- /examples/OneOf.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/examples/OneOf.cpp -------------------------------------------------------------------------------- /examples/OneOfP.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/examples/OneOfP.cpp -------------------------------------------------------------------------------- /examples/Primes.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/examples/Primes.cpp -------------------------------------------------------------------------------- /examples/Runlen.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/examples/Runlen.cpp -------------------------------------------------------------------------------- /examples/SimpleCrash.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/examples/SimpleCrash.cpp -------------------------------------------------------------------------------- /examples/Squares.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/examples/Squares.c -------------------------------------------------------------------------------- /examples/StreamingAndFormatting.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/examples/StreamingAndFormatting.cpp -------------------------------------------------------------------------------- /examples/TakeOver.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/examples/TakeOver.cpp -------------------------------------------------------------------------------- /examples/TestInRange.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/examples/TestInRange.cpp -------------------------------------------------------------------------------- /examples/deepstate_abilist.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/examples/deepstate_abilist.txt -------------------------------------------------------------------------------- /extras/example_config.ini: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/extras/example_config.ini -------------------------------------------------------------------------------- /mypy.ini: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/mypy.ini -------------------------------------------------------------------------------- /push/build_image: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/push/build_image -------------------------------------------------------------------------------- /push/publish: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/push/publish -------------------------------------------------------------------------------- /push/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/push/run.sh -------------------------------------------------------------------------------- /src/include/deepstate/Compiler.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/src/include/deepstate/Compiler.h -------------------------------------------------------------------------------- /src/include/deepstate/DeepState.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/src/include/deepstate/DeepState.h -------------------------------------------------------------------------------- /src/include/deepstate/DeepState.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/src/include/deepstate/DeepState.hpp -------------------------------------------------------------------------------- /src/include/deepstate/Klee.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/src/include/deepstate/Klee.h -------------------------------------------------------------------------------- /src/include/deepstate/Log.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/src/include/deepstate/Log.h -------------------------------------------------------------------------------- /src/include/deepstate/Option.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/src/include/deepstate/Option.h -------------------------------------------------------------------------------- /src/include/deepstate/Platform.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/src/include/deepstate/Platform.h -------------------------------------------------------------------------------- /src/include/deepstate/Stream.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/src/include/deepstate/Stream.h -------------------------------------------------------------------------------- /src/include/deepstate/Stream.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/src/include/deepstate/Stream.hpp -------------------------------------------------------------------------------- /src/lib/DeepState.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/src/lib/DeepState.c -------------------------------------------------------------------------------- /src/lib/DeepState.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/src/lib/DeepState.h -------------------------------------------------------------------------------- /src/lib/DeepState_UNIX.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/src/lib/DeepState_UNIX.c -------------------------------------------------------------------------------- /src/lib/DeepState_Win32.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/src/lib/DeepState_Win32.c -------------------------------------------------------------------------------- /src/lib/Log.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/src/lib/Log.c -------------------------------------------------------------------------------- /src/lib/Option.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/src/lib/Option.c -------------------------------------------------------------------------------- /src/lib/Stream.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/src/lib/Stream.c -------------------------------------------------------------------------------- /tests/deepstate_base.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/tests/deepstate_base.py -------------------------------------------------------------------------------- /tests/logrun.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/tests/logrun.py -------------------------------------------------------------------------------- /tests/test_arithmetic.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/tests/test_arithmetic.py -------------------------------------------------------------------------------- /tests/test_boringdisabled.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/tests/test_boringdisabled.py -------------------------------------------------------------------------------- /tests/test_crash.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/tests/test_crash.py -------------------------------------------------------------------------------- /tests/test_fixture.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/tests/test_fixture.py -------------------------------------------------------------------------------- /tests/test_fuzzers.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/tests/test_fuzzers.py -------------------------------------------------------------------------------- /tests/test_fuzzers_sync.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/tests/test_fuzzers_sync.py -------------------------------------------------------------------------------- /tests/test_klee.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/tests/test_klee.py -------------------------------------------------------------------------------- /tests/test_lists.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/tests/test_lists.py -------------------------------------------------------------------------------- /tests/test_oneof.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/tests/test_oneof.py -------------------------------------------------------------------------------- /tests/test_overflow.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/tests/test_overflow.py -------------------------------------------------------------------------------- /tests/test_primes.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/tests/test_primes.py -------------------------------------------------------------------------------- /tests/test_runlen.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/tests/test_runlen.py -------------------------------------------------------------------------------- /tests/test_sanity_check.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/tests/test_sanity_check.py -------------------------------------------------------------------------------- /tests/test_streamingandformatting.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/tests/test_streamingandformatting.py -------------------------------------------------------------------------------- /tests/test_takeover.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/trailofbits/deepstate/HEAD/tests/test_takeover.py --------------------------------------------------------------------------------