Peter Goodman
|
0d336bd4d6
|
Fixed build errors for c++ test basics. Added a ForAll thingy to abstract around making symbols. Shortened section name lengths. Added a simple arithmetic properties test case.
|
2017-10-28 01:11:59 -04:00 |
|
Peter Goodman
|
76585f095b
|
Improvements. Now hooking fewer functions, and instead making on big array symbolic. This will make it easier to run the inputs concretely (by eventually filling in the array with the concrete bytes), and will also make possible fuzzer integration (where the fuzzer mutates the bytes of the array) possible.
|
2017-10-28 00:09:33 -04:00 |
|
Peter Goodman
|
6249ec6208
|
Initial commit.
|
2017-10-27 16:34:58 -04:00 |
|