8 Commits

Author	SHA1	Message	Date
ggrieco-tob	ef30504908	Fix manticore version	2018-08-28 18:16:30 -03:00
Alex Groce	3ccf682db2	try claripy first	2018-08-02 13:30:28 -07:00
Alex Groce	fe6d642b9a	try forcing old angr	2018-08-02 13:22:48 -07:00
Joe Ranweiler	b7aca2196c	Add explicit deepstate-manticore executor script ... This matches the command-line API described in the paper, and lets users invoke the Manticore backend without relying on the fact that it is the default (which might change).	2018-02-19 18:23:58 -08:00
Peter Goodman	d2bc82fc35	Renaming from McTest to DeepState.	2017-11-01 13:38:32 -04:00
Peter Goodman	e0f104aaef	Adding logger support, and other things.	2017-10-29 18:54:41 -04:00
Peter Goodman	89da3e8e94	Made it so that tests can be run on their own, independent of a symbolic executor. This will open up libFuzzer support, and concrete execution of solved-for test case inputs. Removed all stuff related to sections. Made tests get registered via initializers. Working on exposing the API functions to be hooked by Manticore via a special system call with addres 0x41414141. Split the Angr version out into the mctest-angr binary, and going to try to make the mctest binary use Manticore.	2017-10-28 19:13:59 -04:00
Peter Goodman	6249ec6208	Initial commit.	2017-10-27 16:34:58 -04:00