456 Commits

Author SHA1 Message Date
ggrieco-tob
10047d784d
Update .travis.yml 2018-11-07 14:52:03 -03:00
ggrieco-tob
1830044096
Updated to angr 7.8.9.26 2018-11-07 14:45:14 -03:00
ggrieco-tob
b8e1ca9a02
Disabled manticore in .travis.yml 2018-11-07 14:17:05 -03:00
ggrieco-tob
5b6f6c4dd2
Update .travis.yml 2018-11-07 14:06:25 -03:00
ggrieco-tob
530c704dbb
Update .travis.yml 2018-11-07 13:57:06 -03:00
ggrieco-tob
f1c8e3142b
Update .travis.yml 2018-11-07 13:45:05 -03:00
ggrieco-tob
0d94c21e08
Update .travis.yml 2018-11-07 12:53:49 -03:00
ggrieco-tob
579de65fad
Update .travis.yml 2018-11-07 12:21:56 -03:00
ggrieco-tob
028356e1fd
Update .travis.yml 2018-11-07 11:42:59 -03:00
ggrieco-tob
9f08d74551
Upgraded to xenial 2018-11-07 11:39:56 -03:00
ggrieco-tob
685645d5b4
Update .travis.yml 2018-11-07 11:36:42 -03:00
ggrieco-tob
a2443242e9
Update .travis.yml 2018-11-07 11:32:35 -03:00
ggrieco-tob
511575fe79
pip2 -> pip 2018-11-07 11:27:12 -03:00
ggrieco-tob
cd308c1132
Forced angr version 2018-11-07 11:21:20 -03:00
ggrieco-tob
5cdc1f62ce
Update .travis.yml 2018-11-07 11:14:42 -03:00
Alex Groce
09a38461e4
Change SECDEV to past tense... 2018-11-06 01:04:49 -07:00
ggrieco-tob
13e0b536c6
Downgrade pycparser to 2.18 2018-09-29 15:32:43 -04:00
ggrieco-tob
7617021494
Update .travis.yml 2018-09-29 15:20:56 -04:00
ggrieco-tob
3f69f87385
Workaround to avoid incompatible python packages 2018-09-29 15:13:05 -04:00
ggrieco-tob
61bc977f35
removed $ from EVN
more info: https://cmake.org/pipermail/cmake/2011-October/046706.html
2018-09-29 14:20:06 -04:00
Peter Goodman
fd0acedf8b Minor fix for OneOf on std::vector. 2018-09-28 11:12:06 -07:00
Peter Goodman
400d826b0a Make sure DeepState_Setup is not inlined for default-provided main functions. 2018-09-27 17:14:19 -07:00
Peter Goodman
b3f20d9746 Minor tweak 2018-09-27 16:47:22 -07:00
Peter Goodman
b1da5d6d48 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
Peter Goodman
42b7068e2b
Merge pull request #117 from trailofbits/disable_static_on_macos
Disable static builds on macOS
2018-09-27 15:12:48 -07:00
Peter Goodman
9a8e5cca23 Disable static builds on macOS 2018-09-26 11:44:04 -07:00
Alex Groce
0c43b4004d
Merge pull request #116 from trailofbits/fix-crash-clang-6.0
Reliable SIGSEGV in clang 6.0
2018-09-24 10:13:02 -07:00
ggrieco-tob
a8b914b35f
Reliable SIGSEGV in clang 6.0
This will also fix #95
2018-09-24 13:54:33 -03:00
Alex Groce
4c7673560e
Fix typo 2018-09-17 13:27:56 -07:00
Alex Groce
293ac413be
Point to testfs example in README 2018-09-08 09:56:39 -07:00
Alex Groce
6d2a06d9a0 fix parenthesis issue 2018-09-06 11:12:15 -07:00
Alex Groce
819e89df5f more consistent aggressive byte reduction 2018-09-06 11:11:15 -07:00
Alex Groce
62943eb961
Merge pull request #114 from trailofbits/multibyte_reduction
Allow multibyte pattern reductions
2018-09-05 19:10:26 -07:00
Alex Groce
bb1ca0f8c0 move start time 2018-09-05 18:51:51 -07:00
Alex Groce
03c47607cf timeout instead of control over which to run 2018-09-05 18:49:38 -07:00
Alex Groce
edbc055b4b nicer output 2018-09-05 14:09:16 -07:00
Alex Groce
44074cfd49 try byte reductions 2018-09-05 14:08:35 -07:00
Alex Groce
fc57ba1628 change output 2018-09-05 13:59:16 -07:00
Alex Groce
3e521bcb48 verbose 2018-09-05 13:49:14 -07:00
Alex Groce
83cdc2f070 less verbose 2018-09-05 13:39:23 -07:00
Alex Groce
47f29219dd verbose 2018-09-05 13:33:58 -07:00
Alex Groce
6c613126c1 fix convert to bytearray 2018-09-05 13:27:01 -07:00
Alex Groce
845f237d37 try actual reduction 2018-09-05 13:23:10 -07:00
Alex Groce
3d560daaf4 try actual reduction 2018-09-05 13:22:56 -07:00
Alex Groce
a2926c0aea ignore double zeros 2018-09-05 12:55:04 -07:00
Alex Groce
3978ea0fe9 print actual values 2018-09-05 12:41:59 -07:00
Alex Groce
c00c11f5f2 fix for loop 2018-09-05 12:34:54 -07:00
Alex Groce
d412dff965 just see if bytes match 2018-09-05 12:27:15 -07:00
Alex Groce
86a157c392
Change wording 2018-09-03 20:17:16 -07:00
Alex Groce
304f334a63 note replay and minimization in features 2018-09-03 20:09:25 -07:00