Alex Groce
aeb8663167
go back to angr until z3 issue handled
2018-07-12 19:46:44 -07:00
Alex Groce
5a108f4659
z3 package not found, try the python bindings
2018-07-12 19:41:56 -07:00
Alex Groce
a69b3fcfb9
try manticore with apt-get install of z3
2018-07-12 19:37:57 -07:00
Alex Groce
61b78a4db7
switch to angr until add z3 install
2018-07-12 19:15:28 -07:00
Alex Groce
6fbbe0ba9d
sudo for make install
2018-07-12 19:11:05 -07:00
Alex Groce
c52812d578
fix directory change
2018-07-12 19:08:44 -07:00
Alex Groce
bcc2e23ea7
dir check
2018-07-12 19:05:55 -07:00
Alex Groce
46de76d10a
sudo needed
2018-07-12 19:02:08 -07:00
Alex Groce
9eddd47f35
try a simple test
2018-07-12 19:00:46 -07:00
Alex Groce
0a9b83c324
Merge pull request #63 from trailofbits/manticore-fix
...
Fixed missing default value in run_test
2018-07-12 13:41:55 -07:00
ggrieco-tob
dd0fdc27ed
Fixed missing default value in run_test
...
This small fix will enables Manticore to work properly as a backend.
2018-07-12 17:38:14 -03:00
Alex Groce
5495877f08
actually link static, and for now just ignore multiple definitions of vprintf...
2018-07-12 12:48:25 -07:00
Alex Groce
dbd3286735
build everything static for faster analysis by angr/manticore
2018-07-11 20:10:17 -07:00
Alex Groce
b3dcd964fe
compile with no-avx
2018-07-11 20:01:24 -07:00
Peter Goodman
1254c091fe
Merge pull request #62 from trailofbits/elf-type
...
Improved selection of base address in case of executables and shared objects
2018-07-12 08:58:35 +10:00
ggrieco-tob
5d91dfd00b
improved selection of base address in case of executables and shared objects
2018-07-11 10:24:18 -03:00
Peter Goodman
4120429688
Merge pull request #61 from trailofbits/missing-ubuntu-package
...
libffi-dev is necessary to install angr in Ubuntu 16.04
2018-07-11 08:48:41 +10:00
ggrieco-tob
6850ed3262
libffi-dev is necessary to install angr in Ubuntu 16.04
2018-07-10 18:29:16 -03:00
ggrieco-tob
234a95ccab
Merge pull request #60 from trailofbits/fix-manticore
...
fixed Manticore backend
2018-07-04 08:51:10 -03:00
ggrieco-tob
4df001bf29
fixed manticore backend
2018-07-04 08:43:31 -03:00
Alex Groce
b0be9abf18
fix args missing in run_tests
2018-07-02 15:22:20 -07:00
Alex Groce
70dd92cb27
Fix message on abandon
2018-06-25 17:32:38 -07:00
Alex Groce
2aa6e9f1d5
Fix fatal in .h file also
2018-06-25 17:29:58 -07:00
Alex Groce
f821097775
Log Error on abandon
2018-06-25 17:26:02 -07:00
Alex Groce
16e9255396
abandon, rather than fatal, on failed assumption, for fuzzing
2018-06-23 15:00:52 -07:00
Dan Guido
079b8083fa
Merge pull request #58 from withzombies/master
...
Add gitignore
2018-06-20 19:28:03 -04:00
Ryan Stortz
1ab3d0d01f
Add gitignore
2018-06-20 19:16:56 -04:00
Alex Groce
b314bb25c8
Update README.md
2018-05-25 10:50:50 -07:00
Alex Groce
9f5ef8e053
Move links to NAU website
...
(NAU may move our pages when the college switches names)
2018-05-06 10:52:02 -07:00
Peter Goodman
f1ba0ff2f8
Merge pull request #55 from DeforaNetworks/khorben/malloc-check
...
Check malloc() for errors
2018-03-15 19:48:59 +08:00
Peter Goodman
4246294f86
Merge pull request #56 from arunjohnkuruvilla/master
...
Used toplevel manticore.issymbolic. Fixes Issue #14
2018-03-06 10:57:44 +08:00
arunjohnkuruvilla
72aea332aa
Used toplevel manticore.issymbolic instead of manticore.utils.helpers.issymbolic. Fixed Issue #14
2018-03-02 20:15:04 -05:00
7ce41d6bc7
Check malloc() for errors
2018-02-26 22:05:24 +01:00
Joe Ranweiler
ca5fada9f4
Merge pull request #54 from trailofbits/require-c99
...
Explicitly use C99 standard when building library
2018-02-25 15:20:18 -08:00
Joe Ranweiler
f9ab98e43a
Explicitly use C99 standard when building library
2018-02-25 15:17:06 -08:00
Joe Ranweiler
2752af7c22
Merge pull request #50 from trailofbits/klee-support
...
KLEE API support
2018-02-25 10:34:37 -08:00
Joe Ranweiler
35f73f2496
Add KLEE support to Manticore executor
2018-02-25 10:27:48 -08:00
Joe Ranweiler
96dafe6f41
Fix wrapped indentation
2018-02-25 10:27:48 -08:00
Joe Ranweiler
376235808a
Internally support varying take-over symbols in Manticore executor
2018-02-25 10:27:48 -08:00
Joe Ranweiler
2cb1bf002d
Add impl for klee_choose()
2018-02-25 10:27:48 -08:00
Joe Ranweiler
dc9c353244
Comment out unsupported klee_is_symbolic
...
This takes a memory address as an argument, not a possibly-symbolic
value (which we do support). We probably need to extend the DeepState
API to support this robustly.
2018-02-25 10:27:48 -08:00
Joe Ranweiler
2ff08e5d70
Add impls for KLEE symbolic int functions
2018-02-25 10:27:47 -08:00
Joe Ranweiler
63f22739f9
Impl supported klee_get_val functions
...
We will extend the DeepState API to support the others.
2018-02-25 10:27:47 -08:00
Joe Ranweiler
a1aaeee8c8
Use short-lived preprocessor def
2018-02-25 10:27:47 -08:00
Joe Ranweiler
16ce8d6e00
Add decl, impl for klee_abort()
2018-02-25 10:27:47 -08:00
Joe Ranweiler
27b2a490ee
Comment out unsupported KLEE functions
...
We don't declare the functions to ensure compilation fails fast, not
linking. We keep the commented prototype for the sake of documentation,
instead of just deleting it. We may also eventually be able to impl the
functions if we extend the DeepState API.
2018-02-25 10:27:47 -08:00
Joe Ranweiler
994d29b2d3
Add no-op impls for KLEE-internal debugging functions
2018-02-25 10:27:47 -08:00
Joe Ranweiler
e33b910182
Add no-op impls for KLEE engine commands
...
These functions do not have a DeepState equivalent, nor do they impact
the semantics of the symbolic program to be executed.
2018-02-25 10:27:47 -08:00
Joe Ranweiler
6b95aab503
Impl klee_silent_exit()
2018-02-25 10:27:47 -08:00
Joe Ranweiler
9e3d1d1eb2
Impl KLEE warning funcs
2018-02-25 10:27:47 -08:00
