Commit Graph

  • 68555f5234 Fixing raise issue #435 (#437) Dushyanth Chowdary 2017-08-04 21:27:15 -04:00
  • af3020db95 log testcase generation (#430) JP Smith 2017-08-04 17:18:45 -04:00
  • 7b832724a6 Implement symbolic branch tracking in core, add new fork event (#433) Mark Mossberg 2017-08-03 14:13:40 -07:00
  • 5ad18e736c Produce fork-related output at info level from mcore (#429) Yan 2017-08-02 17:31:29 -04:00
  • 3b57c0d502 Fix context serialization (#425) feliam 2017-08-01 14:08:54 -03:00
  • 271400728c remove state.generate_inputs (#385) JP Smith 2017-07-31 14:39:47 -04:00
  • 51837df98b Add Taint Parameters (#414) Eric Hennenfent 2017-07-28 10:58:25 -05:00
  • 76357216da Pub-sub like events (#371) feliam 2017-07-27 19:41:08 -03:00
  • a3cf6e7d2c Fix warning during regular analysis (#420) JP Smith 2017-07-27 12:31:58 -04:00
  • d1ead7a7be remove naked print from executor.py (#410) JP Smith 2017-07-21 16:03:26 -04:00
  • 8d19dc507d Fix solver call in decree (#409) JP Smith 2017-07-21 15:34:33 -04:00
  • d9c226b89d Fix forking state from memory (#407) JP Smith 2017-07-20 16:02:13 -04:00
  • 7f54a4342c Make makeDecree conform to convention and fix --data (#402) JP Smith 2017-07-19 10:51:31 -04:00
  • 74bd5ed832 remove grr snapshot support (#400) JP Smith 2017-07-18 17:25:17 -04:00
  • 344ade98ee Add optional redis dependency to setup.py (#399) JP Smith 2017-07-18 16:34:37 -04:00
  • be2494df44 Expose symbolic files to command line interface, implement whence for symbolic seek (#394) Frank Busse 2017-07-18 16:38:41 +01:00
  • 47a5d9752f Make save_stream pass through kwargs (#396) JP Smith 2017-07-17 14:06:42 -04:00
  • ddc3b12848 Fixed CHANGELOG.md typo (#395) JP Smith 2017-07-17 10:36:31 -04:00
  • 97115212e1 add pypi badge to README.md (#391) JP Smith 2017-07-14 18:01:14 -04:00
  • 4bb48af199 Manticore 0.1.3 (#390) JP Smith 2017-07-14 11:56:21 -04:00
  • 13964d053b create workspace before running manticore to make memdump tests pass (#388) JP Smith 2017-07-13 13:57:18 -04:00
  • 03ee876005 Add basic documentation on function modeling (#386) Mark Mossberg 2017-07-13 11:57:07 -04:00
  • 60fa4c2231 Fix memdump tests broken by dev-events (#377) JP Smith 2017-07-12 18:11:08 -04:00
  • 45d5b9f6d2 New state serialization (#376) Yan 2017-07-12 17:50:24 -04:00
  • f134ad6fb4 Check for negative fds in fstat (#384) JP Smith 2017-07-11 16:02:32 -04:00
  • c887fb160e Fix script verbosity (#382) JP Smith 2017-07-11 12:06:33 -04:00
  • b47f0cff14 fix lowering verbosity (#383) JP Smith 2017-07-11 11:36:38 -04:00
  • b6a71375cf Remove md5 tests and replace with set comparison (#374) JP Smith 2017-07-07 15:43:52 -04:00
  • e4102e5000 Catch and refactor MemoryExceptions (#370) Mark Mossberg 2017-06-30 17:47:55 -04:00
  • fcb375ac76 stop double-logging error traces (#369) JP Smith 2017-06-29 17:38:41 -04:00
  • bd89bfed24 Only iterate instance variables for forward_signals() (#367) Yan 2017-06-29 16:03:10 -04:00
  • f58cac7451 Fixes ConcretizeArgument Misspelling (#366) Corbin Riggs 2017-06-29 11:00:34 -07:00
  • fcf0024d5d Fix capstone MOV issue (#365) JP Smith 2017-06-29 12:02:31 -04:00
  • 7c00b44675 Update docs (#360) Mark Mossberg 2017-06-28 14:58:23 -04:00
  • b197a47f96 Adjust verbosity settings (#358) Mark Mossberg 2017-06-27 19:18:41 -04:00
  • 7d3d9a9ed1 lsl.w in thumb mode fixed, plus tests (#350) Garret Reece 2017-06-27 13:52:20 -05:00
  • e931992abb Add ldrd and strd instructions and tests (#348) Garret Reece 2017-06-26 17:22:59 -05:00
  • 520a9be47d Dev - events (#341) feliam 2017-06-26 18:06:18 -03:00
  • edbb613045 Add basic binja viz plugin (#347) Mark Mossberg 2017-06-23 18:18:11 -04:00
  • e2c0414dca added _multiprocess_can_split_ directive (#351) Theofilos Petsios 2017-06-23 17:53:19 -04:00
  • 6133a0e2ed Feature changes to support concrete execution. (#337) Douglas Gastonguay-Goddard 2017-06-22 10:13:21 -04:00
  • 9a2d19f498 Update README.md to use pypi (#346) Mark Mossberg 2017-06-21 19:58:09 -04:00
  • 3ec9043b2e Fix verbosity=1 (#345) Mark Mossberg 2017-06-21 17:48:37 -04:00
  • 860d51ebf1 Fix simple abspath bug (#344) JP Smith 2017-06-21 16:59:11 -04:00
  • a3f0d92393 Revert "rename getState to get_state (#338)" (#340) Theofilos Petsios 2017-06-20 18:14:24 -04:00
  • d0465b3f91 rename getState to get_state (#338) JP Smith 2017-06-20 17:23:14 -04:00
  • 3bf529c371 Activate executor debug logging with verbosity=2 (#310) Mark Mossberg 2017-06-19 16:50:11 -04:00
  • 186fa9c8ca Changed Socket parameters to accept seek paramaters (#308) Scott 2017-06-15 18:07:52 -06:00
  • 285aaf8258 nits for common Socket/File FD operations (#301) Theofilos Petsios 2017-06-15 13:54:24 -04:00
  • 9abef20b67 Manticore 0.1.2 (#306) Mark Mossberg 2017-06-14 15:56:11 -04:00
  • 5109e2835f Fix building linux examples and test for future failure (#284) JP Smith 2017-06-14 11:23:55 -04:00
  • b12224d8a6 short circuit _getState when queue is empty (#302) JP Smith 2017-06-14 09:45:59 -04:00
  • 7f550becc6 Add mrc and movt Garret Reece 2017-06-13 13:21:19 -05:00
  • 5ea4a87ddb Fix SymbolicMemoryException (#303) JP Smith 2017-06-12 15:28:57 -04:00
  • 1f8c4e18c6 Move pretty printing into helpers (#299) JP Smith 2017-06-09 17:48:56 -04:00
  • aa798c652e make SymbolicFile inherit from File (#298) Theofilos Petsios 2017-06-09 17:35:42 -04:00
  • 0533fe1d2d Use global path for workspace (#295) Mark Mossberg 2017-06-09 13:42:49 -04:00
  • 595a33d3e0 Add .sync to regular Files also (#297) Mark Mossberg 2017-06-09 13:42:39 -04:00
  • 31b39ccf9d unskip win32 API test (#294) JP Smith 2017-06-09 11:39:28 -04:00
  • c7f5600cd1 unskip basic stdin test (#293) JP Smith 2017-06-09 10:47:55 -04:00
  • 584206f3f7 fixes #291 for incorrect syscall returns and some indent issues (#292) Theofilos Petsios 2017-06-08 17:39:39 -04:00
  • 776f6125ad fsync, rename, and a few cleanups (#290) Yan 2017-06-08 15:57:20 -04:00
  • 586dff2491 Make Linux write(2) work with Files (#289) Mark Mossberg 2017-06-08 14:03:31 -04:00
  • 22bfedf8bb Fix signal_transmit crash (#286) Mark Mossberg 2017-06-07 17:22:37 -04:00
  • f3a48f23b8 removed duplicate type property (#283) Theofilos Petsios 2017-06-06 15:27:01 -04:00
  • b0d967b687 remove callbacks (#282) feliam 2017-06-06 12:16:30 -03:00
  • 45a5393a1b Remove obsolete ABI code (#281) Yan 2017-06-05 16:33:36 -04:00
  • 2916d7e3ae Support tracing (#247) Yan 2017-06-05 16:16:54 -04:00
  • 14499f7ba8 Add solve_buffer to API (#280) JP Smith 2017-06-05 14:49:39 -04:00
  • 573d171491 Add input-related features (#248) Feist Josselin 2017-06-05 19:25:49 +03:00
  • 5b5392e54d Implement user variadic model interface (#276) Mark Mossberg 2017-05-31 15:48:19 -04:00
  • aeca64285a Optimizations and bug fixes in smt formulas (#249) Feist Josselin 2017-05-26 22:28:22 +03:00
  • 0b710dd86a Add basic syscalls (#270) Yan 2017-05-26 11:50:39 -04:00
  • 8354ded7e0 Test hook api (#274) Mark Mossberg 2017-05-25 16:22:08 -04:00
  • c2b0617f32 Check returncode of manticore (#273) Mark Mossberg 2017-05-25 16:04:34 -04:00
  • d87c983b98 Added Dockerfile. (#240) David Manouchehri 2017-05-24 17:49:37 -04:00
  • 124c9d6de5 Add manticore-examples to README and remove google challenge (#271) JP Smith 2017-05-24 16:09:48 -05:00
  • 452c92a340 Update fstat/fstat64, add few syscall wrappers (#261) Yan 2017-05-24 15:15:50 -04:00
  • 3c977719f0 Linux platform refactoring (#264) Yan 2017-05-23 15:30:58 -04:00
  • 475f786f21 Fix x86.PUNPCKL emulation (#259) feliam 2017-05-23 15:21:48 -03:00
  • ea4f8edfd4 remove default nsolves parameter from solve_n (#266) JP Smith 2017-05-22 14:14:27 -05:00
  • 0029c8fdc5 refactor the verbosity interface to look cleaner (#265) JP Smith 2017-05-22 14:14:03 -05:00
  • b381c4e04d VORPD and VORPS instructions added (#258) Sascha Schirra 2017-05-19 21:49:22 +02:00
  • 8840e31fc2 Add strlen model (#260) Mark Mossberg 2017-05-18 16:59:44 -04:00
  • 10f7531cae Use newer, less broken capstone version (#262) JP Smith 2017-05-18 11:19:14 -05:00
  • 92eaf76236 Add strcmp model (#251) Mark Mossberg 2017-05-17 11:44:10 -04:00
  • e5aca50e1f Don't use string=True for symbolic arg/env (#256) Mark Mossberg 2017-05-15 17:38:22 -04:00
  • 42c28e0256 Handle missing syscalls with correct exception (#255) Yan 2017-05-15 16:07:01 -04:00
  • 2202b0a27d Generate NRs for ARM-specific syscalls (#254) Yan 2017-05-15 15:11:54 -04:00
  • 42955387a5 Don't make concrete bytes symbolic, only wildcard bytes (#252) Mark Mossberg 2017-05-12 17:31:59 -04:00
  • 7700112d9e Rm unused Slinux ctor params (#250) Mark Mossberg 2017-05-12 11:35:59 -04:00
  • 1e76998eb7 Add infrastructure for core models (#244) Mark Mossberg 2017-05-11 13:25:43 -04:00
  • a0717aa661 Syscall table rework (#245) Yan 2017-05-11 12:20:00 -04:00
  • a10b7bae29 Update parallel processing api (#246) Mark Mossberg 2017-05-10 19:44:55 -04:00
  • e4a4916597 Rename os model terminology from "models" to "platforms" (#243) Mark Mossberg 2017-05-09 19:25:32 -04:00
  • b8991e0c64 Add Google2016 unbreakable challenge to examples repo (#194) Cory Duplantis 2017-05-09 18:35:38 -04:00
  • 3c9653d1d7 Update syscall/funcall implementation (#213) Yan 2017-05-09 16:13:08 -04:00
  • 3873c3eb5d Document m.context API (#238) Mark Mossberg 2017-05-08 15:39:18 -04:00
  • fca086ea45 Add hack for Unicorn YMM registers (#239) Mark Mossberg 2017-05-08 15:14:37 -04:00
  • 395a40a646 Add memory tracing (#203) Yan 2017-05-08 14:32:54 -04:00