Commit Graph

  • 868bdd80ce Manticore 0.1.1 (#234) Mark Mossberg 2017-05-05 15:21:52 -04:00
  • 44d365ff4c Formalize API for constraining a State (#232) Mark Mossberg 2017-05-05 13:31:43 -04:00
  • 50fd50ee12 Simplify linux model interfaces (#233) Yan 2017-05-05 13:11:59 -04:00
  • aafc0e7284 Fix handling of Z3 result in optimize due to nondeterministic output ordering (#226) (#227) Tim Deeb-Swihart 2017-05-05 12:43:22 -04:00
  • d9baedeeac sys_sigprocmask: the second method parameter has to be the cpu instance (#229) Samuel Groß 2017-05-05 18:33:42 +02:00
  • 64d1ed51f2 Decode instruction early (#205) Yan 2017-05-04 17:36:39 -04:00
  • 93f9d77f40 Switch to ssh-style verbosity CLI flags (#222) JP Smith 2017-05-04 14:40:22 -05:00
  • 538dfea8fe Fix incorrect syscall arg regs for X86 (#224) (#228) Tim Deeb-Swihart 2017-05-03 14:05:03 -04:00
  • af2676402c Implemented sys_readv system call (#217) Samuel Groß 2017-05-02 23:33:29 +02:00
  • b19a158b6f Clean and document some example/linux (#176) feliam 2017-05-02 18:04:07 -03:00
  • f4e5bcf53e refactored will_execute_pc hooks (#214) Manas George 2017-05-02 14:55:02 -04:00
  • 0061ee5c48 CPUID now reports that extended features are unsupported (as unicorn doesn't support them). (#211) Simon Bourne 2017-05-02 14:49:49 +01:00
  • 0583162133 Fix wrong variable name in SymbolicFile (#220) Feist Josselin 2017-05-02 03:07:45 +02:00
  • 9e87d1dfa6 Added sys_ioctl to 64-bit syscall table (#218) Samuel Groß 2017-05-02 02:54:27 +02:00
  • aabf5777ee Use correct value for AT_PHENT (#216) Samuel Groß 2017-05-02 01:03:52 +02:00
  • 94e6e76919 Fixed wrong syscall number for sys_faccessat (#215) Samuel Groß 2017-05-02 00:23:00 +02:00
  • f7598e53c0 Only make registers appear on verbosity level 5 (#198) JP Smith 2017-04-28 12:17:17 -05:00
  • 8d6bcadb37 Fix RSB, VLDMIA; Add RSC (#197) Yan 2017-04-27 16:36:23 -04:00
  • 7e46db5216 oops Dan Guido 2017-04-27 15:48:28 -04:00
  • 1836c2d266 no more sudo Dan Guido 2017-04-27 15:37:38 -04:00
  • d1b0abba6c try removing sudo Dan Guido 2017-04-27 15:37:20 -04:00
  • 788a5de23c .com -> .org Dan Guido 2017-04-27 15:37:15 -04:00
  • c78ea5c910 Use lowercase name in setup.py (#192) Mark Mossberg 2017-04-26 15:24:27 -04:00
  • e4506dc029 Add more fields for pypi (#191) Mark Mossberg 2017-04-26 14:57:24 -04:00
  • 44dff1745d Add readthedocs (#179) Dan Guido 2017-04-24 17:24:29 -04:00
  • 8b973064d1 Add read the docs mock (#180) Mark Mossberg 2017-04-24 17:06:47 -04:00
  • c2fb359b82 Fix LDR/STR writeback (#175) Mark Mossberg 2017-04-24 15:09:15 -04:00
  • fbe3a197ba Install instructions updates (#171) Mark Mossberg 2017-04-24 12:19:10 -04:00
  • fd3873f0a8 Fix ARM bitwise (LSL/LSR) (#174) Mark Mossberg 2017-04-24 11:31:11 -04:00
  • fe9d4f0f6b Remove notifications to Slack (#167) Dan Guido 2017-04-22 19:30:00 -04:00
  • edf0ee299b Remove arch specific auxv (#173) Mark Mossberg 2017-04-21 21:31:12 -04:00
  • 87971cca1a Add arm LDCL (#172) Mark Mossberg 2017-04-21 20:08:30 -04:00
  • 04aa03c85e Update README.md (#165) Mark Mossberg 2017-04-21 15:18:56 -04:00
  • f552383e16 Add example taint usage (#161) Mark Mossberg 2017-04-21 14:59:06 -04:00
  • 130b4dc739 allow multiple --env arguments (#158) JP Smith 2017-04-21 12:21:05 -05:00
  • 8c5cc6d4b0 Add links to eric's writeup in readme (#157) Mark Mossberg 2017-04-21 13:00:41 -04:00
  • 54bfdf163b remove procs limit (#155) JP Smith 2017-04-20 21:29:28 -05:00
  • a52be7459d Arm add vldmia (#154) Mark Mossberg 2017-04-20 15:30:50 -04:00
  • 5ae5daa5c4 Fix arm offset calculation (#152) Mark Mossberg 2017-04-20 15:05:08 -04:00
  • 4ad028b0df Fix arm/x86(32) linux stat (#153) Mark Mossberg 2017-04-20 14:03:35 -04:00
  • 87073d9985 rm files (#151) Mark Mossberg 2017-04-19 15:06:31 -04:00
  • 9ca1f4a43a Clean up output (#150) Yan 2017-04-19 14:28:46 -04:00
  • 1171b3a37f Update README.md: restructure, z3 install (#149) Mark Mossberg 2017-04-19 14:23:36 -04:00
  • daab8a5824 Add examples (#145) Yan 2017-04-19 14:12:58 -04:00
  • 648ddf10ab Capstone operand type cornered to one function (#107) feliam 2017-04-19 14:19:15 -03:00
  • b612332132 Spelling fixes (#148) Yan 2017-04-19 11:50:17 -04:00
  • 3e81cba8fb Fix linter issues on cpu (#144) Mark Mossberg 2017-04-19 10:29:05 -04:00
  • e32701f978 Refactor logging (#140) JP Smith 2017-04-19 01:21:14 -05:00
  • 65df1cbe35 Fix bad reference to args (#146) Mark Mossberg 2017-04-18 18:56:58 -04:00
  • a9711cf119 Graceful fallback if Z3 doesn't support optimization queries (#135) feliam 2017-04-18 18:40:06 -03:00
  • f6f20b5210 Register stat64 for 32bit syscalls (#142) Mark Mossberg 2017-04-18 16:21:28 -04:00
  • d8335dcd97 track sys_writev32 (#143) Mark Mossberg 2017-04-18 15:39:04 -04:00
  • 531f245817 Fix arm PUSH (#141) Mark Mossberg 2017-04-18 14:00:13 -04:00
  • 398e4d2510 README + Output updates (#139) Yan 2017-04-17 16:58:34 -04:00
  • 05b7c1138b Fix memory._ceil, Fix linux.load (#134) Mark Mossberg 2017-04-13 18:45:18 -04:00
  • bbfb234cca Dev fix amd64 emulation bugs (#136) feliam 2017-04-13 19:22:04 -03:00
  • 43d7669252 Create stderr file, also watch sys_writev (#129) Mark Mossberg 2017-04-11 14:21:18 -04:00
  • ebd0a8be72 Fix linter bugs from model (#122) Mark Mossberg 2017-04-11 09:47:05 -04:00
  • b02b551911 Update README/travis (#126) Mark Mossberg 2017-04-10 17:22:02 -04:00
  • 5870211b1e More gracefully handle uninstalled z3 (#127) Mark Mossberg 2017-04-10 17:10:40 -04:00
  • 801e20aa4c Update docstrings to sphinx format (#119) Yan 2017-04-10 17:06:47 -04:00
  • 5c112e56f3 Add brief example descriptions to README (#120) Yan 2017-04-10 14:31:51 -04:00
  • a41eb6feba Fix typo in linux.py (#116) JP Smith 2017-04-10 12:40:45 -05:00
  • 99a3327b8d Condense some of the instructions, add slack badge Dan Guido 2017-04-08 16:24:45 -04:00
  • 1bcadfed4d Add memory corruption example (#124) JP Smith 2017-04-06 10:39:45 -05:00
  • ccd473b88e add partial solves for multiple-styles (#123) JP Smith 2017-04-06 09:39:07 -05:00
  • 0b850dba40 Make unicorn be pull-based (#97) Yan 2017-04-03 16:00:49 -04:00
  • 0ad327522b Update readme (#117) Mark Mossberg 2017-04-03 14:41:06 -04:00
  • ffe758f5f3 Fix interpreter loader (#115) Mark Mossberg 2017-03-31 13:22:59 -04:00
  • 83cb4de825 Dev fix load interpreter (#96) feliam 2017-03-28 15:45:08 -03:00
  • dbb63cfa34 Dev stoping criteria (#108) feliam 2017-03-28 14:48:23 -03:00
  • db6370bf87 Remove redundant pstats import (#113) JP Smith 2017-03-28 12:16:41 -05:00
  • 1ad9a88032 Add basic benchmarking script (#83) JP Smith 2017-03-28 11:12:36 -05:00
  • e3f6c8e4ba Force uninstall Manticore in case of cache (#112) Mark Mossberg 2017-03-27 17:52:36 -04:00
  • 1047fa42e3 Document state, cpu, issymbolic (#101) Mark Mossberg 2017-03-27 15:03:42 -04:00
  • 6b1c69cb28 Dev fix decree (#98) feliam 2017-03-24 19:10:33 -03:00
  • f0a6f66d77 Update MOV implementation (carry) (#105) Yan 2017-03-24 17:55:24 -04:00
  • 7dd0879918 Dev arm regfile refactor (#57) feliam 2017-03-24 14:44:24 -03:00
  • a12aae80d1 Move stats.py to scripts/ (#100) Mark Mossberg 2017-03-23 14:25:46 -04:00
  • 053cc5ff8d Fix run_simple.py (#102) JP Smith 2017-03-23 09:52:39 -05:00
  • f016b7635a Heads removed (#99) feliam 2017-03-22 20:45:14 -03:00
  • ebe7f8268b Add docs (#61) Mark Mossberg 2017-03-22 15:44:03 -04:00
  • d0f2c0116e Refactor Register (#82) Mark Mossberg 2017-03-21 16:50:39 -04:00
  • d50b3da9a8 arm: Fix broken dynamic APSR (#78) Mark Mossberg 2017-03-21 16:47:52 -04:00
  • ca396d8d13 Use OrderedDict (#84) Mark Mossberg 2017-03-21 16:47:40 -04:00
  • 5368716e42 Fix state.branches (#74) Mark Mossberg 2017-03-20 17:56:25 -04:00
  • e77628bfe7 Add example crackme (#77) JP Smith 2017-03-17 14:43:06 -05:00
  • 7742df6b67 Rm unnecessary code (#80) Mark Mossberg 2017-03-17 14:10:48 -04:00
  • e920b73e14 Move state into own file (#75) Mark Mossberg 2017-03-16 14:43:17 -04:00
  • 4464b2e842 Rm unused files (#76) Mark Mossberg 2017-03-16 12:02:29 -04:00
  • 963669f3f2 Make cpuid more forgiving (#67) feliam 2017-03-14 13:39:06 -03:00
  • 5d2ca04957 Switch instructions to prefer virtualenv (#65) JP Smith 2017-03-13 16:14:18 -05:00
  • ca0bee2377 Rename test -> tests (#66) JP Smith 2017-03-13 14:06:36 -05:00
  • dd24878724 Remove unicorn script from travis build (#64) JP Smith 2017-03-13 10:51:49 -05:00
  • 296f4abb34 Print workspace dir by default (#55) Mark Mossberg 2017-03-10 10:49:31 -05:00
  • 88456a4ef8 Rm requirements.txt (#56) Mark Mossberg 2017-03-09 13:01:26 -05:00
  • d527d9239b Improve quick start ,add asciinema (#58) Mark Mossberg 2017-03-08 17:51:07 -05:00
  • 1cc66f16ca Add APSR support (#53) feliam 2017-03-08 17:17:05 -03:00
  • ef6e21b865 Fix stdin/stdout linux file generation, add test (#50) Mark Mossberg 2017-03-06 18:39:31 -05:00
  • be59812a89 Support linux read/write in stdout/stdin files (#51) Mark Mossberg 2017-03-06 16:08:49 -05:00