Alex Groce 483e827c64 up to 6 since only angr

2019-01-01 21:31:47 -07:00

..

CMakeLists.txt

Add run length example

2018-12-31 14:18:01 -07:00

Crash.cpp

Improved the CMakeLists.txt just slightly. Provided a default, weak-attributed main function into libdeepstate so that tests don't need to define them. The weak attribute means that any main function defined by libfuzzer will be a strong symbol and take over, so there won't be a conflict. Adjusted examples accordingly to omit now redundant conditionally-compiled main functions, as that leaked out too many underlying details.

2018-09-27 16:45:08 -07:00

Euler.cpp

Improved the CMakeLists.txt just slightly. Provided a default, weak-attributed main function into libdeepstate so that tests don't need to define them. The weak attribute means that any main function defined by libfuzzer will be a strong symbol and take over, so there won't be a conflict. Adjusted examples accordingly to omit now redundant conditionally-compiled main functions, as that leaked out too many underlying details.

2018-09-27 16:45:08 -07:00

Fixture.cpp

try changing test output to TRACE

2018-12-22 13:44:43 -07:00

IntegerArithmetic.cpp

Improved the CMakeLists.txt just slightly. Provided a default, weak-attributed main function into libdeepstate so that tests don't need to define them. The weak attribute means that any main function defined by libfuzzer will be a strong symbol and take over, so there won't be a conflict. Adjusted examples accordingly to omit now redundant conditionally-compiled main functions, as that leaked out too many underlying details.

2018-09-27 16:45:08 -07:00

IntegerOverflow.cpp

Improved the CMakeLists.txt just slightly. Provided a default, weak-attributed main function into libdeepstate so that tests don't need to define them. The weak attribute means that any main function defined by libfuzzer will be a strong symbol and take over, so there won't be a conflict. Adjusted examples accordingly to omit now redundant conditionally-compiled main functions, as that leaked out too many underlying details.

2018-09-27 16:45:08 -07:00

Klee.c

Add KLEE example

2018-02-25 10:27:47 -08:00

Lists.cpp

Improved the CMakeLists.txt just slightly. Provided a default, weak-attributed main function into libdeepstate so that tests don't need to define them. The weak attribute means that any main function defined by libfuzzer will be a strong symbol and take over, so there won't be a conflict. Adjusted examples accordingly to omit now redundant conditionally-compiled main functions, as that leaked out too many underlying details.

2018-09-27 16:45:08 -07:00

OneOf.cpp

Improved the CMakeLists.txt just slightly. Provided a default, weak-attributed main function into libdeepstate so that tests don't need to define them. The weak attribute means that any main function defined by libfuzzer will be a strong symbol and take over, so there won't be a conflict. Adjusted examples accordingly to omit now redundant conditionally-compiled main functions, as that leaked out too many underlying details.

2018-09-27 16:45:08 -07:00

Primes.cpp

Improved the CMakeLists.txt just slightly. Provided a default, weak-attributed main function into libdeepstate so that tests don't need to define them. The weak attribute means that any main function defined by libfuzzer will be a strong symbol and take over, so there won't be a conflict. Adjusted examples accordingly to omit now redundant conditionally-compiled main functions, as that leaked out too many underlying details.

2018-09-27 16:45:08 -07:00

Runlen.cpp

up to 6 since only angr

2019-01-01 21:31:47 -07:00

Squares.c

Fix for new C interface to string generation

2018-12-31 13:19:57 -07:00

StreamingAndFormatting.cpp

try changing test output to TRACE

2018-12-22 13:44:43 -07:00

TakeOver.cpp

Add example for DeepState_TakeOver()

2018-02-20 15:43:34 -08:00