Alex Groce
697f5ed2b1
try adding xenial to get z3
2018-07-12 22:17:52 -07:00
Alex Groce
c1616cf179
change to the right directory before running nose
2018-07-12 22:08:54 -07:00
Alex Groce
882cda798c
Check results for pass/fail on properties, split into angr and manticore tests
2018-07-12 22:01:58 -07:00
Alex Groce
0f3e560ea4
try z3 after update
2018-07-12 21:48:56 -07:00
Alex Groce
5626068aac
setup.py and angr
2018-07-12 19:59:57 -07:00
Alex Groce
b5770a8a26
try setup.py to avoid the z3 issue
2018-07-12 19:53:27 -07:00
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
