Commit Graph

  • 1f838736a5 Add capstone ASR special case (#42) feliam 2017-03-06 15:31:24 -03:00
  • ab0abf7f72 Refactor new_symbolic_value (#48) Mark Mossberg 2017-03-03 18:22:04 -05:00
  • e49341c506 Remove embedded ply (#47) Mark Mossberg 2017-03-03 17:21:33 -05:00
  • ad3a438e05 Update travis token, reformat (#46) Mark Mossberg 2017-03-03 15:39:28 -05:00
  • bff9376308 Update README.md Dan Guido 2017-03-02 17:53:18 -05:00
  • 2cbac6b424 Update README.md Dan Guido 2017-03-02 17:50:20 -05:00
  • 8e2bab90ff Update README.md Dan Guido 2017-03-02 17:48:19 -05:00
  • 96d08cef2d Update README.md Dan Guido 2017-03-02 17:33:35 -05:00
  • d2a0165958 Use setuptool extras for dev deps (#40) Mark Mossberg 2017-03-02 17:31:06 -05:00
  • 7412b2a374 test m.hook typerror (#41) Mark Mossberg 2017-03-02 17:19:36 -05:00
  • fed00af160 Add arm asr, abstract SR type insns (#44) Mark Mossberg 2017-03-02 16:33:04 -05:00
  • 259eab71e0 Fix capstone install (#43) Mark Mossberg 2017-03-02 15:35:45 -05:00
  • 61ccfc1b14 OOps feliam 2017-03-02 16:37:25 -03:00
  • f5515df4ff Add capstone ASR special case feliam 2017-03-02 16:33:58 -03:00
  • 04d95735ac Fix empty trace file (#39) Mark Mossberg 2017-03-01 13:47:55 -05:00
  • f0069792c3 Misc cleanup: Rm old script, unused executor hooking functions (#38) Mark Mossberg 2017-03-01 13:47:46 -05:00
  • 275a85e08e Clean CGC artifacts from linux model (#36) Mark Mossberg 2017-03-01 13:47:35 -05:00
  • 16f9bba9b5 Add readme for devs Mark Mossberg 2017-03-01 13:44:50 -05:00
  • a6b81c0464 Update README.md (#33) Mark Mossberg 2017-03-01 13:30:37 -05:00
  • ca158dd5b4 remove alternate solver support (#35) JP Smith 2017-03-01 11:06:32 -06:00
  • a4576009de switch pse_ prefix to mcore_ (#34) JP Smith 2017-03-01 11:06:25 -06:00
  • b591f2a83a Add unicorn to required deps (#31) Mark Mossberg 2017-03-01 11:22:04 -05:00
  • d052d3b2d7 Fix the --stats flag (#26) JP Smith 2017-02-27 14:45:12 -06:00
  • d6393cc8a6 Add hook decorator (#28) Mark Mossberg 2017-02-27 15:44:33 -05:00
  • 98567efeaa Force pc argument to add_hook to be an int or None (#30) JP Smith 2017-02-27 14:25:18 -06:00
  • bbc36a2b2e Use issymbolic() throughout Manticore (#22) Yan 2017-02-24 15:56:46 -05:00
  • 103d32c0a7 Make m.verbosity=2 work (#24) Mark Mossberg 2017-02-24 15:21:37 -05:00
  • 9d3dfec08b Rm helloworld in make clean (#27) Mark Mossberg 2017-02-24 15:21:28 -05:00
  • 44bf8745a1 m.start -> m.run (#25) Mark Mossberg 2017-02-22 10:08:35 -05:00
  • f51227acd5 Control memory logging with verbosity (#23) Mark Mossberg 2017-02-21 11:41:15 -05:00
  • 065266ba7f Refactor symbolic syscall handling to be arch indep (#19) Mark Mossberg 2017-02-16 16:41:24 -05:00
  • 5a432b8957 Update README snippet (#17) Yan 2017-02-15 17:25:56 -05:00
  • 724db78907 Assign context object to Manticore itself (#13) Yan 2017-02-15 14:48:55 -05:00
  • da81e355b8 Fix symbolic argv (#12) Yan 2017-02-15 13:35:40 -05:00
  • b86808777e Replace travis opt in with travis opt out (#11) Mark Mossberg 2017-02-15 13:06:49 -05:00
  • 6577df9f0d Fix travis cache (#14) Mark Mossberg 2017-02-15 13:00:33 -05:00
  • 05f5fcf045 Port to real python package structure (#6) Mark Mossberg 2017-02-15 12:32:08 -05:00
  • 8f51362734 Port @japesinator's dynamic FLAGS refactor from old repo (#10) Mark Mossberg 2017-02-14 16:42:09 -05:00
  • e539ae4139 Bring in tests to symbolicate PR (#3) Yan 2017-02-14 16:06:10 -05:00
  • dde79a0bab Remove ManticoreControl object [#180] (#4) Yan 2017-02-14 14:54:52 -05:00
  • 406918a9fc Add LICENSE file (#5) Yan 2017-02-13 18:30:25 -05:00
  • 77c4905cbc Update README.md (#2) Mark Mossberg 2017-02-13 16:57:55 -05:00
  • 38141ee006 Remove embedded elftools, use proper dependency (#1) Mark Mossberg 2017-02-13 14:51:05 -05:00
  • badf1ab28e Initial import yan 2017-02-13 12:04:15 -05:00