Skip to main content

Browse the archive

https://github.com/trailofbits/manticore
05 April 2024, 22:53:39 UTC
sort by:
Revision Author Date Message Commit Date
6208118 Garret Reece 30 November 2017, 20:25:06 UTC comment cleanup 30 November 2017, 20:25:06 UTC
0c360ac Garret Reece 30 November 2017, 19:52:12 UTC General thumb mode fixes: * ldr pc, <operand> now swaps modes and sets pc correctly * the bl instruction sets the lr appropriately for the current mode * the two operand forms of the ORR, EOR, and BIC instructions now exist * tests added for these updates 30 November 2017, 19:52:12 UTC
50544c9 Garret Reece 30 November 2017, 17:37:33 UTC WIP - PC relative addressing in thumb mode now aligns the value for PC per the spec before applying offset 30 November 2017, 17:37:33 UTC
f992e25 Garret Reece 29 November 2017, 23:09:32 UTC WIP. issues with setting PC correctly via POP are corrected. issues with pc relative addressing in thumb mode corrected. Still a memory access error, but getting there 29 November 2017, 23:09:32 UTC
e50cc6b awr|arr 29 November 2017, 00:18:12 UTC Log unimplemented instructions (issue 163) (#599) * Remove double printing of exception. * Pretty print the unimplemented instruction raised by unicorn (UcError). * Raise exception after unimplemented instruction error logging. * Ensure the raised exception is actually a unicorn invalid instruction error. * Resolve conflict 29 November 2017, 00:18:12 UTC
481e419 Yan Ivnitskiy 28 November 2017, 23:36:33 UTC Centralize system call logging (#602) * Remove per-syscall logging * Make Cpu.read_string() stop reading at first symbolic byte * Centralize syscall logging * Update helper docstring * Update arg/ret expansion * Check for issymbolic first * Tiny hex format change 28 November 2017, 23:36:33 UTC
3c7d92b Yan Ivnitskiy 28 November 2017, 23:14:03 UTC Trace following mode (#513) * WIP New Policy class * WIP pubsub * Update Signal tests * small fixes from github comments * Fix event decode_instruction signature * Good merge * Good good merge * WIP manticore refactor * Fix default old-style initial state * add -> enqueue * @m.init * Fix workspace url * Some test skipped * Ad Fixme to platform specific stuff in State * add -> enqueue * Enqueue created state * Fix m.init Use a messy hack to adhere to the spec (callback func receive 1 state argument) * Add _coverage_file ivar to Manticore * Fix symbolic files * remove extra enqueue * Fixing __main__ * comments * Experimental plugin system * tests fixed * Fix plugins * Some reporting moved to plugin * Fix assertions test * Add published events to classes that publish them * Update how we verify callbacks * Update Eventful._publish * Yet another flavor for event name checking * really it's a bunch of minimal bugfixes * Remove get_all_event_names from Plugin * Update where we get all events * Use new metaclass-based event registry * Initial concrete trace follower * Add extended (json) trace support * More stubs for condition gather * Update trace saving to new format * Produce trace regardless of contents * Record register deltas in trace * Move initialization to _start_run so we can call run() multiple times * Re-fix multiple workspace bug * Fix it correctly * Add extended trace and accessors * make sure did_execute_instruction is always published * Produce a consistent version * move extended tracing to separate class * Reorg of extended tracing plugins * Add concolic tracing script * Clean up old hooks * Sync memory as well; cleanups * Revert binary tests * simplify concolic follower * Move trace follower to plugin.py * Simplify follower * Add skip ranges to Follower * Update concolic.py * Remove redundant state init * Clean up driver script * Update header line * Move trace follower * Move Follower to follow_trace.py * rm unused import * Remove unnecessary property * rm ConcreteTraceFollower * Revert start_run behavior 28 November 2017, 23:14:03 UTC
88b213d Garret Reece 28 November 2017, 22:46:19 UTC Fixes to thumb mode instruction implementations * Thumb specific fixes to the SUB, BX, and MOV instruction implementations * implemented hardcoded result for gettid syscall 28 November 2017, 22:46:19 UTC
d98ef22 Srinivas P G 27 November 2017, 23:13:13 UTC Fix Issue: 597 - Remove unused policy argument in function State.solve_n (#598) * version argument in manticore * Fix 591 - Exception Handler * Issue 597 - Remove the unused policy argument 27 November 2017, 23:13:13 UTC
ce88876 Srinivas P G 22 November 2017, 21:18:45 UTC Fix for issue 556 and 591 (#590) * version argument in manticore * Fix 591 - Exception Handler 22 November 2017, 21:18:45 UTC
fccf451 cole-lightfighter 21 November 2017, 18:56:00 UTC Assert valid operand length (#558) * Assert valid bytecode and operand length EVM bytecode comes in 32-byte chunks, and contracts require at least one segment to be created. An example, originally written by @ggrieco-tob in issue #546, is included. Unsure what expected behavior should be, but initial state has a problem when a contract is created with a single byte. Also added some exception handling in `parse_operand()` to catch invalid instructions, e.g. a PUSH1 instruction followed by no bytes. Signed-off-by: Cole Lightfighter <cole@onicsla.bz> * Fix SLOAD invalid memory access Simple check to ensure address storage is in global_storage before attempting to load data. * Remove invalid assertions 21 November 2017, 18:56:00 UTC
fbe70f1 Sidhant Gupta 20 November 2017, 22:44:19 UTC Updating README with solc binary requirements (#575) * Updating README with solc binary requirements * Update README.md 20 November 2017, 22:44:19 UTC
5c52fca Sidhant Gupta 20 November 2017, 21:06:57 UTC Updates travis cache to python 2.7.13 (#576) 20 November 2017, 21:06:57 UTC
652c99b Dushyanth Chowdary 20 November 2017, 21:04:34 UTC Manticore prints linux ret code as uint instead of int (#578) * Fixing raise issue #435 * syncing git * Fix Bug #570 * syncing * removed all binaries * missed one file 20 November 2017, 21:04:34 UTC
1dbf40e Mark Mossberg 20 November 2017, 20:35:32 UTC Add UMD simple assert example (#573) 20 November 2017, 20:35:32 UTC
35d8fce Mark Mossberg 17 November 2017, 17:40:30 UTC Only really fork when there's multiple solutions (#569) 17 November 2017, 17:40:30 UTC
0e4e9a4 ggrieco-tob 14 November 2017, 20:18:31 UTC Added missing syscalls in decree syscall trace (#545) * added missing syscalls in decree syscall trace * added missing parameter in callback of BranchLimited policy 14 November 2017, 20:18:31 UTC
352b9ba awr|arr 14 November 2017, 20:10:14 UTC Fix typo per issue #552 - s/arm64/amd64/ (#561) 14 November 2017, 20:10:14 UTC
8002a1d HighW4y2H3ll 14 November 2017, 19:39:51 UTC Add PCMPXSTRX Instructions (#507) * Add PCMPXSTRX Instructions * bug fixes * unittest related fixes * Full test of pcmpxstrx * Move tests 14 November 2017, 19:39:51 UTC
94d2e94 feliam 14 November 2017, 15:06:08 UTC New API for EVM analysis (#551) * Fixes symbolic reentrancy example * Fix coverage Issue# 527 * Remove debug unused code * New solidity biased API and reporting * Updated examples to new api WIP * simple_mapping FIXED. new api * Simple transaction example added. msg.value can be symbolic now * Reentrancy symbolic now updated to new API + bugfixes 14 November 2017, 15:06:08 UTC
b13a8c0 cole-lightfighter 14 November 2017, 13:34:18 UTC Fix SLOAD invalid memory access (#562) Check global_storage includes an entry at address before trying to load storage. 14 November 2017, 13:34:18 UTC
d9b5467 Mark Mossberg 13 November 2017, 23:30:23 UTC Handle file.tell() error, which will happen for special files (/dev/tty) (#559) 13 November 2017, 23:30:23 UTC
08f86cc cole-lightfighter 13 November 2017, 17:20:57 UTC [fix] Issue #550: generates extra workspace folder (#557) * [fix] Issue #550: generates extra workspace folder Signed-off-by: Cole Lightfighter <cole@onicsla.bz> * Slight workspace and store refactor 13 November 2017, 17:20:57 UTC
9535ec8 Mark Mossberg 09 November 2017, 16:28:24 UTC Fix all integral type checks that forget long (#555) 09 November 2017, 16:28:24 UTC
d341bc9 Peter Goodman 08 November 2017, 19:48:23 UTC Move inline function definitions out of the AbstractCPU's execute method (#538) * This change moves from inline function definitions out of the critical path of AbstractCpu's execute method. * Raise a mcore exception if we fail at emulation 08 November 2017, 19:48:23 UTC
7c1e5e1 Yan 06 November 2017, 23:00:26 UTC Localize log formatting changes (#547) * Don't add custom format string to root logger * Fix handler propagation 06 November 2017, 23:00:26 UTC
82d1621 car bauer 06 November 2017, 21:51:43 UTC Remove win32 support (#535) * Remove Windows support files * Remove Windows test files 06 November 2017, 21:51:43 UTC
baf2d76 Yan 25 October 2017, 14:53:11 UTC Various bug fixes. (#530) * Fixes #503 * Fixes #515 * Fixes 272. Concretize data written to a fd. * Revert debug hack and fix overly broad exception * Update did/will_exec_instr semantics * Clean up imports * Update logging and improve sys_open return * Update variable names+doc for consistency 25 October 2017, 14:53:11 UTC
08e8c3b feliam 23 October 2017, 20:45:01 UTC Fix coverage calculation vs. metadata (#529) * Fixes symbolic reentrancy example * Fix coverage Issue# 527 * Remove debug unused code 23 October 2017, 20:45:01 UTC
a9ad183 feliam 20 October 2017, 19:43:22 UTC Fixes symbolic reentrancy example (#528) 20 October 2017, 19:43:22 UTC
5aa681d Mark Mossberg 19 October 2017, 19:46:22 UTC 0.1.5 Release (#501) * Update CHANGELOG.md * Update 0.1.5 README * Bump version/release date 19 October 2017, 19:46:22 UTC
23218d7 feliam 18 October 2017, 22:17:26 UTC Simple event signature fixes (#525) * dev-evm-event-bugfixes * Better stringifierer 18 October 2017, 22:17:26 UTC
8591bff feliam 17 October 2017, 22:47:20 UTC EVM support (#521) * WIP New Policy class * WIP pubsub * Update Signal tests * EVM support - Wip * EVM support - dependencies fixed * EVM support - fix decree merge * fix decode instrucion event * Fix small bugs in evm opcodes (too many arguments + wrong LOG name) (#380) Fix wrong call parameters + typo * Fix Create/Call * Fix depth * Default fixed point in arithmetic simplifier * small fixes from github comments * Fix event decode_instruction signature * wip wip * Auto tests for evm * New EVM tests * Ran 9556 FAILED (failures=166, errors=8, skipped=62) * Fix some arithmetic instructions * Ran 9556 FAILED (failures=136, errors=8, skipped=62) * More instructions - Optimizing symbolic memory * Added gas to opcodes description - FIX DELEGATECALL POPS * Add wip wallet example * The tests * Solidity constructors need argument after bytecode * Simple integer overflow working * Good merge * Good good merge * WIP manticore refactor * Fix default old-style initial state * context now working * Fix context serialization * Fix test models. Can not set a state constraints * typo * A few typos (constraints setter) and use of public properties in internal methods * Fix init wallet example * State __init__ needs to initialize platform constraints * Internal methods use internal properties * Better attack modeling * Better example layout * Storage backup on CALL is now faster .. and correct * Add LOG support * Minimal SE test * Added examples * Send ether bugfix * EVM: Fix wrong balance destination on CALL + decrease caller balance on CREATE * New balance management * Trying to maintain known hashes * Known hash concretization policy * CALLDATA max size bugfix * Minimal SE example * Remove evm tests * add -> enqueue * @m.init * Fix workspace url * Some test skipped * Ad Fixme to platform specific stuff in State * add -> enqueue * Enqueue created state * Fix m.init Use a messy hack to adhere to the spec (callback func receive 1 state argument) * Add _coverage_file ivar to Manticore * Fix symbolic files * remove extra enqueue * Fixing __main__ * comments * Fix visitors oddity * setup merged * remove duplicates and add pysha3 * Remove EVMTests import * Refactor platform specific code out of ManticoreOutput (#505) * Initial moving work * Clean * Make linux.generate_workspace_files work * Fix * clean * Add test * Test workspace for platform files * Skip EVM cpu pretty print * Remove bad import * Fix coverage.py for testing * Clean comment * Comment hack * Print evm cpu * pretty print evm world instead of platform * delet old scripts/examples * delet old tests * Remove z3 install script * Array.max_size can be None, include check for that * Rm unused _symbolic_files add_symbolic_files was moved to linux, so this is not needed * Rm unused args * Import evm * Rm dup function * Rm stray prints * Add docs for new classmethod apis * minimal * minimal example * fix minimal * Fair symbolic SHA3 handling * Simple mapping example * coverage example * fix tests * fix minimal * Some eko fixes * New SETH * integer_overflow refactored * Fixing the examples * init_bytecode -> init ' * Concrete reentrancy exampole * concrete reentrancy selfdestruct * Update minimal.py * It's a new Minimal * Integer overflow example * New minimal * minimal fix * Examples last minute fixes * Remove debug print * add plugin.py * Fixing event subscription * remove temp params * Remove param * Update uncovered will_exec callback prototype * Clean up debug output * Automatically generated intruction tests * Uninplemented instruction test removed * Unused concretization policy removed * Fixes enabling default bplugins * solc from PATH * Removed unused import * Logger name updated 17 October 2017, 22:47:20 UTC
e84c051 feliam 04 October 2017, 18:51:37 UTC Manticore plugins (#506) * WIP New Policy class * WIP pubsub * Update Signal tests * small fixes from github comments * Fix event decode_instruction signature * Good merge * Good good merge * WIP manticore refactor * Fix default old-style initial state * add -> enqueue * @m.init * Fix workspace url * Some test skipped * Ad Fixme to platform specific stuff in State * add -> enqueue * Enqueue created state * Fix m.init Use a messy hack to adhere to the spec (callback func receive 1 state argument) * Add _coverage_file ivar to Manticore * Fix symbolic files * remove extra enqueue * Fixing __main__ * comments * Experimental plugin system * tests fixed * Fix plugins * Some reporting moved to plugin * Fix assertions test * Add published events to classes that publish them * Update how we verify callbacks * Update Eventful._publish * Dev plugins (#512) * Yet another flavor for event name checking * really it's a bunch of minimal bugfixes * Remove get_all_event_names from Plugin * Update where we get all events * Use new metaclass-based event registry * Define prefixes in one place * remove debug print * remove debug print 04 October 2017, 18:51:37 UTC
1edee15 Yan 25 September 2017, 22:09:18 UTC Pythonic logger naming (#511) * More generic logging * Clean up logger name gen * Refactor name summarization 25 September 2017, 22:09:18 UTC
b933383 JP Smith 14 September 2017, 16:52:15 UTC install z3 with pip in Dockerfile (#502) 14 September 2017, 16:52:15 UTC
0efa379 JP Smith 14 September 2017, 00:17:13 UTC Fix stderr file creation and test for it going forwards (#495) * fix stderr file creation and test for it going forwards * consolidate tests * clean up imports 14 September 2017, 00:17:13 UTC
58cdee8 Mark Mossberg 13 September 2017, 22:34:45 UTC Update test_workspace.py (#497) 13 September 2017, 22:34:45 UTC
23c2585 feliam 13 September 2017, 21:37:42 UTC Refactor platform details out from Manticore (#421) * WIP New Policy class * WIP pubsub * Update Signal tests * small fixes from github comments * Fix event decode_instruction signature * Good merge * Good good merge * WIP manticore refactor * Fix default old-style initial state * add -> enqueue * @m.init * Fix workspace url * Some test skipped * Ad Fixme to platform specific stuff in State * add -> enqueue * Enqueue created state * Fix m.init Use a messy hack to adhere to the spec (callback func receive 1 state argument) * Add _coverage_file ivar to Manticore * Fix symbolic files * remove extra enqueue * Fixing __main__ * comments * Refactor CLI, and Manticore high level interfaces (#498) * Refactor main, - classmethod for linux - refactor manticore ctor - compat with old linux behavior - changed verbosity API (to allow for this use case: what if you want to set verbosity for the stuff manticore does in its ctor?) * rm old verbosity * small * Add decree classmethod * Rm checks ; they are redundant anyway * Misc * Move add_symbolic_file to linux platform * rm redundant checks * Rm explicit args for deprecated interface * Fix cli bug * Allow for both linux and decree from cli * Add back argv positional param for deprecated api compat 13 September 2017, 21:37:42 UTC
f6fea10 Mark Mossberg 12 September 2017, 19:21:48 UTC Use z3-solver package (#494) * Add z3-solver pip dep for z3 install * Update readme for z3 12 September 2017, 19:21:48 UTC
5092397 Mark Mossberg 12 September 2017, 19:08:53 UTC Fix logger verbosity and test (#491) * something liekt his * `will_store_state` does not exist * slightly better cli verbosity test * Fix variable * Rm unused callback fun 12 September 2017, 19:08:53 UTC
a8ef3ec John F.X. Galea 12 September 2017, 19:03:01 UTC Added implementation for sys_dup and sys_dup2 (#490) * Added implementation for sys_dup and sys_dup2 * Fixed bug in close functionality. * Removed unwanted white-space * Updated implementation of sys_dup and sys_dup2 * Fixed is_open function. * Handle a newfd in dup2 that extends beyond existing fd table size * Add a minimal sys_getrlimit() implementation Thank you @johnfxgalea! 12 September 2017, 19:03:01 UTC
f8a8373 Mark Mossberg 11 September 2017, 17:05:51 UTC Request binaries that cause bugs in contributing.md (#486) * Request binaries * Update CONTRIBUTING.md 11 September 2017, 17:05:51 UTC
8b66e58 Mark Mossberg 08 September 2017, 00:15:31 UTC Document cli better (#482) * Update README.md * Rewrite -h * Clearer cli usage * Fix forgotten variable name changes * Fix more forgotten variables 08 September 2017, 00:15:31 UTC
60c6813 John F.X. Galea 07 September 2017, 20:30:55 UTC Implemented getcwd sys call, along with a new helper function that wr… (#483) * Implemented getcwd sys call, along with a new helper function that writes a NULL terminated string to memory. The reason for this commit is that the sys call was not implemented. * Fixed logging string for sys_getcwd imp * Removed semicolon in sys_getcwd function * Fixed logging string for sys_getcwd imp. The problem was that size is unsigned and the incorrect format symbol was used * Fixed the following: 1) Included the string param in the doc of the write_string function. 2) Added less verbose code to append a NULL to a string in the write_string function 3) Removed the assert to check if the written string to memory matches with one that is read at a given address in the sys_getcwd function 4) Fixed bug in the return values returned by sys_getcwd * Fixed error logs in the getcwd function. * Fixed return values of sys_getcwd function. * Fixed string format symbol in sys_getcwd function. * Removed dir exists check from the sys_getcwd function. * Arranged memory block check in the sys_getcwd function. * Removed new line after write_string function. (Thank you @johnfxgalea!) 07 September 2017, 20:30:55 UTC
d83fa73 Mark Mossberg 06 September 2017, 22:11:22 UTC Create CONTRIBUTING.md (#481) * Create CONTRIBUTING.md * Update CONTRIBUTING.md * Update CONTRIBUTING.md 06 September 2017, 22:11:22 UTC
7679773 Yan 01 September 2017, 21:05:43 UTC Update examples (#477) * Use locked_context() in count_instructions example * We use this example on the front page, and it currently generates a flood of warnings. * Update example indeces * Remove dump_stats() * Remove extra comments * Remove redundant comments 01 September 2017, 21:05:43 UTC
9b8ef3c Yan 01 September 2017, 20:31:50 UTC Concretize stdout in state summary (#478) 01 September 2017, 20:31:50 UTC
0cd2560 JP Smith 01 September 2017, 16:43:29 UTC Update Manticore docstring (#476) * update Manticore docstring * fix type docstring 01 September 2017, 16:43:29 UTC
d5d22a8 JP Smith 31 August 2017, 21:44:43 UTC Allow Manticore initialization with State object (#475) 31 August 2017, 21:44:43 UTC
f9b02bd feliam 31 August 2017, 16:48:55 UTC New Policy class (#368) * New Policy class * Move visited to Policy - Fix contexts * Add BranchLimited * signals -> events for branchlimited 31 August 2017, 16:48:55 UTC
c6f8fd1 JP Smith 31 August 2017, 15:16:52 UTC initialize executor at manticore initialization (#471) 31 August 2017, 15:16:52 UTC
ca0d7b6 Yan 29 August 2017, 21:00:17 UTC Add basic socket support (#428) * Add a descriptor class for socket(2) return values * Add basic socket(2) and bind(2) * Basic accept(2) * Basic recv(2) support * Debug statements and accept(2) * Add check for symbolic arg to open(2) * Fix an example warning * send/sendfile * debug->info for some mcore output * Produce socket data as part of state serialization * Clean up SLinux.sys_open() * Document socket(2) peculiarities 29 August 2017, 21:00:17 UTC
a025bda Theofilos Petsios 23 August 2017, 21:47:23 UTC Updated visualization plugin with coverage info & live update option (#444) * plugin rearrangement and UI options * Live update and clear options * coverage stats * added check for xref address * coverage in separate option as BackgroundTaskThread * license cleanup 23 August 2017, 21:47:23 UTC
60a99d2 JP Smith 23 August 2017, 21:37:26 UTC Seed random on policy init to make results deterministic (#466) * seed random on policy init to make results deterministic * document new random behavior 23 August 2017, 21:37:26 UTC
1b653be Theofilos Petsios 23 August 2017, 18:46:17 UTC Basic Caching for Binja IL (#467) * basic caching (wip) * moved execute in binja and cleanup of self.instruction refs * did_emulate_insn and get_current_llil_func renaming * refactor for hasattr 23 August 2017, 18:46:17 UTC
b32379d Theofilos Petsios 22 August 2017, 03:03:47 UTC did_execute_instruction nit (#468) 22 August 2017, 03:03:47 UTC
d3d1e9c Mark Mossberg 18 August 2017, 17:48:33 UTC Manticore 0.1.4 (#462) * Bump version number * Changelog updates * Include changes to undocumented functionality, but mark as experimental * Function notation * Update CHANGELOG.md * thanks!!! 18 August 2017, 17:48:33 UTC
604de56 Mark Mossberg 18 August 2017, 15:12:14 UTC Update readme (#461) * No more partial arm * windows unmaintained :(( and bye pip * Move dev install insns to wiki, no need to clutter README 18 August 2017, 15:12:14 UTC
715cc43 Theofilos Petsios 17 August 2017, 21:43:27 UTC Abstract Disassembler classes and Binja CPU + Platform (#364) * adding abstract disasm class * before adding abstract insn * explicit capstone use * (wip) removing capstone * debugging nose * removed disassembler from constructor * nits * capstone->cs and nits * basic memory (wip) * tmp * added binja dissasm * fixed execution pipeline - calling LLIL instructions * updated parseargs to select disassembler * unstable (disassembler at CPU constructor breaks tests) * disasm fix for tests * nit for aliases in x86 * added a flag to differentiate disassembly and IL-disassembly for binja * before merging * merging with dev-events master * fixed signal forwarding for binja * cleaner initialization * Binja RegisterFile. Dropped Platform * address fixup * properly incrementing PC * some work on XOR, SET_REG, REG, CONST, AND, PUSH, POP * adding first CALL, JMP, LOAD (wip) * JUMP fix * GOTO and misc fixes in PC handling * adding instructions (wip) * fixing flags and sizes (wip) * loading database if exists for faster analysis * fix for register debug * fixes for register sizes and flags * FIX for multiple IL instructions sharing the same PC * removed CONST_PTR and misc fixes * RET, SHR, shift left & misc instructions, fixing insn sizes (wip) * flag fixes * ctypes 2's complement parsing * JUMP_TO, SYSCALL * syscall fixups and flag computation using binja il only * FLAG, NEG, CMP(family) of LLIL, some unimplemented methods * MUL, DIV * cmpxchg * MUL, IMUL, ROR, ROL * fallback to capstone for all LLIL_UNIMPL and LLIL_UNIMPL_MEM * fixes for registers and memory when switching CPUs * check for binja to disable multiprocessing * merging * nit * hack for serialization * moved check for disassembler to Manticore from __main__ * removing __class__ refs * cleanup from __class__.disasm * size calculation from get_instruction_low_level_il * fix for NEG, check for empty queue, execute refactor * fixes for LLIL functions * removal of redundant regfile writes * nit fixes * function overrides in Cpu classes and orphan printf cleanup * nit * incomplete merge * verbosity temp mod * cleanups of FIXMEs * 2-stage constructor for disassembler * cleanup binja refs in abstractcpu * serialization for platform_cpu * check for UNIMPL in all the il queue * typo fix * fix for arm * typo correction and starting caching implementation * restored register printing and fixed import in x86.py 17 August 2017, 21:43:27 UTC
f9489d3 Mark Mossberg 17 August 2017, 20:50:21 UTC Document `Manticore.locked_context` API (#460) * Add locked_context to documented APIs * Initial 17 August 2017, 20:50:21 UTC
22974ca Mark Mossberg 17 August 2017, 20:48:59 UTC Add gotchas docs (#459) * Add gotchas docs * always 17 August 2017, 20:48:59 UTC
5d87fc8 Garret Reece 17 August 2017, 15:02:44 UTC Instructions and tests to support issue binary for issue #182 (#403) * orn instruction plus unit test * uadd8 and it instructions implemented * SEL instruction implementation * GE flag set by UADD8 * IT instruction condition code properly no longer prevents its execution * support for multiple instruction tests added to testing setup * unit test for SEL instruction * cleaned up the tests for thumb instructions * implemented sxth and rev instructions * implemented tests for sxth and rev instructions * updated the add implementation to support two operand variant (i.e., add r4, #4) * added test for itete ne instruction 17 August 2017, 15:02:44 UTC
7bb64fe JP Smith 15 August 2017, 15:50:46 UTC fix trace-saving behavior (#454) 15 August 2017, 15:50:46 UTC
09bb702 Theofilos Petsios 14 August 2017, 20:05:29 UTC Implement logging presets (#445) * logging template nits * moved logging outside Manticore * naming fix and exposed API call * logging -> log renaming * fix for verbosity test * restored setter/getter for verbosity * fixes for warnings in 0 mode and exteneed test_cli_verbosity * removed print * relative import, fork message to executor, init function * verbosity docstring fix * docstring nit 14 August 2017, 20:05:29 UTC
1d8e051 Mark Mossberg 14 August 2017, 18:44:53 UTC Fix state.generate_testcase (#451) * Use correct event name * Add test for state.generate_testcase Test merely tests that this function publishes the 'will_generate_testcase' event * Properly test; make sure the callback executes and error if not This is the most convoluted unit test I've ever written. * "better" 14 August 2017, 18:44:53 UTC
36a5881 Yan 10 August 2017, 19:07:53 UTC Use the same workspace URI in Executor.__init__ (#443) * Make sure we're using the same workspace * create_store -> fromdescriptor * classmethod -> cls variable * Cache descriptor name * join -> format * Update Store docs 10 August 2017, 19:07:53 UTC
e78ae89 Mark Mossberg 10 August 2017, 19:06:51 UTC Add Manticore version to issue template (#447) * Add Manticore version to issue template * Update ISSUE_TEMPLATE.md 10 August 2017, 19:06:51 UTC
eef3cd2 Mark Mossberg 08 August 2017, 22:12:55 UTC Implement state.generate_testcase (#438) * ran * Some dirty work * Rm unnecessary sanitization * Fix state.generate_inputs event publishing We don't need to manually pass `self` because State is automatically forwarded as an argument. Also correctly specify a message for the state and expose to the API * Rename * Update test for new save_testcase args, make test more robust * Simplify arguments related to generate_testcase_callback by removing default arg. Add test for this behavior * Minor test fixup * Add official API docs * Remove unnecessary new event type 08 August 2017, 22:12:55 UTC
9ae76a4 Mark Mossberg 07 August 2017, 15:08:37 UTC Fix testcase generation output (#436) 07 August 2017, 15:08:37 UTC
68555f5 Dushyanth Chowdary 05 August 2017, 01:27:15 UTC Fixing raise issue #435 (#437) 05 August 2017, 01:27:15 UTC
af3020d JP Smith 04 August 2017, 21:18:45 UTC log testcase generation (#430) 04 August 2017, 21:18:45 UTC
7b83272 Mark Mossberg 03 August 2017, 21:13:40 UTC Implement symbolic branch tracking in core, add new fork event (#433) * Add fork_state event for individual state forks * Rename to forking_state, add branch tracking to state * Remove unnecessary locking around event publishing 03 August 2017, 21:13:40 UTC
5ad18e7 Yan 02 August 2017, 21:31:29 UTC Produce fork-related output at info level from mcore (#429) 02 August 2017, 21:31:29 UTC
3b57c0d feliam 01 August 2017, 17:08:54 UTC Fix context serialization (#425) * Fix context serialization * Fix test models. Can not set a state constraints * typo * A few typos (constraints setter) and use of public properties in internal methods * State __init__ needs to initialize platform constraints * Internal methods use internal properties * test_record_branches removed 01 August 2017, 17:08:54 UTC
2714007 JP Smith 31 July 2017, 18:39:47 UTC remove state.generate_inputs (#385) 31 July 2017, 18:39:47 UTC
51837df Eric Hennenfent 28 July 2017, 15:58:25 UTC Add Taint Parameters (#414) * Add taint args to buffer creation Allows the `new_symbolic_buffer` and `symbolicate_buffer` functions to take keyword args for tainting. Defaults to frozenset in both cases. * Add unit tests and ArrayProxy taint propery Adds simple unit tests for tainted buffers. Added a property to the ArrayProxy class in smtlib.expression so that it's possible to access the taint of the proxied ArrayVariable. * Updated docstrings 28 July 2017, 15:58:25 UTC
7635721 feliam 27 July 2017, 22:41:08 UTC Pub-sub like events (#371) * WIP New Policy class * WIP pubsub * Update Signal tests * small fixes from github comments * Fix event decode_instruction signature * Good merge * Good good merge * Eventful class commented * The million typos * Code revision * Fix tests for new mor strict Eventful 27 July 2017, 22:41:08 UTC
a3cf6e7 JP Smith 27 July 2017, 16:31:58 UTC Fix warning during regular analysis (#420) * only make context warning appear when appropriate * implement felipe's suggestion 27 July 2017, 16:31:58 UTC
d1ead7a JP Smith 21 July 2017, 20:03:26 UTC remove naked print from executor.py (#410) 21 July 2017, 20:03:26 UTC
8d19dc5 JP Smith 21 July 2017, 19:34:33 UTC Fix solver call in decree (#409) 21 July 2017, 19:34:33 UTC
d9c226b JP Smith 20 July 2017, 20:02:13 UTC Fix forking state from memory (#407) * import ForkState before use * Fix ForkState behavior 20 July 2017, 20:02:13 UTC
7f54a43 JP Smith 19 July 2017, 14:51:31 UTC Make makeDecree conform to convention and fix --data (#402) * fix makeDecree to work with scripting * fix concrete_data 19 July 2017, 14:51:31 UTC
74bd5ed JP Smith 18 July 2017, 21:25:17 UTC remove grr snapshot support (#400) 18 July 2017, 21:25:17 UTC
344ade9 JP Smith 18 July 2017, 20:34:37 UTC Add optional redis dependency to setup.py (#399) * add optional redis dependency to setup.py * update installation documentation * clarify docs and add redis to dev install 18 July 2017, 20:34:37 UTC
be2494d Frank Busse 18 July 2017, 15:38:41 UTC Expose symbolic files to command line interface, implement whence for symbolic seek (#394) * add --file <symbolic file> flag * fix seek argument count error, add rudimentary whence support * symbolic file seek: fix docstring and semantics 18 July 2017, 15:38:41 UTC
47a5d97 JP Smith 17 July 2017, 18:06:42 UTC Make save_stream pass through kwargs (#396) * make save_stream pass through kwargs * make base save_stream ok with extra [kw]args * make key argument explicit 17 July 2017, 18:06:42 UTC
ddc3b12 JP Smith 17 July 2017, 14:36:31 UTC Fixed CHANGELOG.md typo (#395) 17 July 2017, 14:36:31 UTC
9711521 JP Smith 14 July 2017, 22:01:14 UTC add pypi badge to README.md (#391) 14 July 2017, 22:01:14 UTC
4bb48af JP Smith 14 July 2017, 15:56:21 UTC Manticore 0.1.3 (#390) * Manticore 0.1.3 * fix compare URL 14 July 2017, 15:56:21 UTC
13964d0 JP Smith 13 July 2017, 17:57:18 UTC create workspace before running manticore to make memdump tests pass (#388) 13 July 2017, 17:57:18 UTC
03ee876 Mark Mossberg 13 July 2017, 15:57:07 UTC Add basic documentation on function modeling (#386) * Add basic models docs * Phrasing * Minor fixes 13 July 2017, 15:57:07 UTC
60fa4c2 JP Smith 12 July 2017, 22:11:08 UTC Fix memdump tests broken by dev-events (#377) * fix memdump tests broken by dev-events * switch to superset check to account for timeout differences 12 July 2017, 22:11:08 UTC
45d5b9f Yan 12 July 2017, 21:50:24 UTC New state serialization (#376) * Fix naming * Separate storage from workspace * Begin removing output generation from manticore.py * Split up workspace and output * Create a separation between output and workspace * Get it to a working (hacky) state * Start bringing state serialization into workspace * More mcore->workspace moves * Remove unused imports * Update serializers; add interface * move state saving to workspace * can now save/load states and testcases * Add redis as backend * Implement streams in terms of values and vice versa * Implement `ls` and move workspace loading to Workspace * Better workspace initialization * Fix how --workspace is parsed for tests * update tests to new workspace indexes * Fix state storage and handling * Doc updates and extra error checking * pep8 style changes * Add Executor's 'sync' * Remove previous workspace artifacts from Executor * Comment out constraints check assert * Centralize locking to new testcase ids * Fix testcase generation * pep8 updates * propagate descriptor instead of path * Add an in-memory state store * Make memory maps be sortable * Allow to produce an empty state * Add workspace tests * Make Memory.__cmp__() more robust 12 July 2017, 21:50:24 UTC
f134ad6 JP Smith 11 July 2017, 20:02:32 UTC Check for negative fds in fstat (#384) * check for negative fds in fstat * use _get_fd 11 July 2017, 20:02:32 UTC
c887fb1 JP Smith 11 July 2017, 16:06:33 UTC Fix script verbosity (#382) * fix script verbosity * show manticore logger * remove unused MAIN logger 11 July 2017, 16:06:33 UTC
b47f0cf JP Smith 11 July 2017, 15:36:38 UTC fix lowering verbosity (#383) 11 July 2017, 15:36:38 UTC
b6a7137 JP Smith 07 July 2017, 19:43:52 UTC Remove md5 tests and replace with set comparison (#374) * remove md5 tests and replace with comparison * fix directory path issue * remove exact check as test is not deterministic * fix argument assertion test and remove cdet_visited.txt * allow extra addresses in actual to account for inter-machine differences 07 July 2017, 19:43:52 UTC
e4102e5 Mark Mossberg 30 June 2017, 21:47:55 UTC Catch and refactor MemoryExceptions (#370) * initial * Clean, only store address in message if not symbolic If it's symbolic,it renders like Generating testcase No. 2 - Invalid symbolic memory access (mode:r) <<manticore.core.smtlib.expression.BitVecAnd object at 0x7fd6dcd14410>> which is not useful output to the user. * Format as hex * Fix tests * Rm comments 30 June 2017, 21:47:55 UTC
fcb375a JP Smith 29 June 2017, 21:38:41 UTC stop double-logging error traces (#369) 29 June 2017, 21:38:41 UTC
back to top