 Alex Groce
|
c04168437b
|
go back to simple fix, but wrap when out of bounds and not symbolic
|
2018-12-05 20:54:11 -07:00 |
|
|
Alex Groce
|
827e4cbe82
|
switch to wrapping ranges
|
2018-12-05 17:31:45 -07:00 |
|
|
Alex Groce
|
0f773895d1
|
Merge pull request #130 from trailofbits/log_level_control
Allow log level control
|
2018-12-05 13:25:38 -07:00 |
|
|
root
|
d8db5cb906
|
fix conflict
|
2018-12-05 19:09:17 +00:00 |
|
|
Alex Groce
|
6e16e16eb0
|
Merge pull request #132 from trailofbits/inrange
Saturating version of InRange, new variable UsingSymExec
|
2018-12-05 12:01:54 -07:00 |
|
 Peter Goodman
|
fa2cc6ab38
|
Update DeepState.h
|
2018-12-05 13:58:03 -05:00 |
|
|
Peter Goodman
|
48092c7b4b
|
Update main_manticore.py
|
2018-12-05 13:57:07 -05:00 |
|
|
Peter Goodman
|
5288d5da3d
|
Saturating version of InRange, new variable UsingSymExec
|
2018-12-05 13:55:57 -05:00 |
|
|
Alex Groce
|
c56651c5c0
|
fix to ranges
|
2018-12-05 11:28:35 -07:00 |
|
|
Alex Groce
|
8205c0d074
|
missing semicolon
|
2018-12-04 19:51:34 -07:00 |
|
|
Alex Groce
|
e92f39fb5c
|
control log level
|
2018-12-04 19:43:46 -07:00 |
|
|
Peter Goodman
|
eb0d4a4569
|
Merge pull request #127 from trailofbits/ranges_for_fuzzing
simple fix for libFuzzer ranges
|
2018-12-04 17:29:49 -05:00 |
|
|
Alex Groce
|
8b912a8ce1
|
allow abort in libfuzzer
|
2018-12-02 20:34:19 -07:00 |
|
|
Alex Groce
|
87dd39d93c
|
fix formatting
|
2018-12-01 12:47:43 -07:00 |
|
|
Alex Groce
|
9bd1e6b7f0
|
fixup
|
2018-11-30 12:52:02 -07:00 |
|
|
Alex Groce
|
b61bfd162a
|
fix various issues
|
2018-11-30 12:43:30 -07:00 |
|
|
Alex Groce
|
72d3b5bcf9
|
tell when computing a range
|
2018-11-30 12:29:55 -07:00 |
|
|
Alex Groce
|
5dff6925f5
|
more verbose assumption failures
|
2018-11-30 12:24:27 -07:00 |
|
|
Alex Groce
|
a0bfead4cf
|
verbose
|
2018-11-30 12:17:18 -07:00 |
|
|
Alex Groce
|
5c723e0f62
|
fix wrong name for HAS_FLAG
|
2018-11-29 13:31:46 -07:00 |
|
|
Alex Groce
|
a3ad1135e7
|
also use mod if replaying
|
2018-11-29 13:25:21 -07:00 |
|
|
Alex Groce
|
8051817526
|
simple fix for libFuzzer ranges
|
2018-11-20 12:16:55 -07:00 |
|
|
Alex Groce
|
4257a68f16
|
Fix link to tutorial to point to official ToB github, not Peter's site
|
2018-11-20 11:46:52 -07:00 |
|
|
Alex Groce
|
22578565f1
|
Add a link to the slides for now (placeholder until ToB official link)
|
2018-11-11 15:23:22 -07:00 |
|
|
Alex Groce
|
ab3f5f38cd
|
Merge pull request #124 from trailofbits/fix-angr-deps
Fixed angr installation and upgrade to xenial in travis
|
2018-11-07 11:53:35 -07:00 |
|
 ggrieco-tob
|
b47520a450
|
Update .travis.yml
|
2018-11-07 14:56:25 -03:00 |
|
|
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 |
|