mirror of
https://github.com/trailofbits/manticore.git
synced 2026-10-12 02:23:44 +00:00
f39e6ba768
* Add ONE failing test * Fix test * Try fix get-related * Snapshots * CC * Allow snapshooting just from main() * A test * Test and fix is_main * CC * review * ismain vs is_running * is main to is main script * Remove unused member variable * initial import manticore verifier * Fix verifier installation * clear ready states * CC and smoke test * CC * Increase cov * Move regression to other * blkn * blkn * Move get related * CC * fix concolic * lint * DivByZero default to zero * blkn * Update manticore/core/smtlib/solver.py Co-authored-by: Eric Kilmer <[email protected]> * Update manticore/core/smtlib/constraints.py Co-authored-by: Eric Kilmer <[email protected]> * Update manticore/core/smtlib/constraints.py Co-authored-by: Eric Kilmer <[email protected]> * remove odd string * lint * mypy lint * Update manticore/core/smtlib/visitors.py Co-authored-by: Eric Kilmer <[email protected]> * lint * Add Docs * blkn * blkn * Replace modulo with masks * Blacken * blkn * fix mypy * fix mypy * Add tests for signed LT behavior * New test * Fix constant folding * lint * blkn * lint * Fixes... * lint * Unittesting power * Permisive read_buffer * Fix optimize * Preserve precision in constant folding * Strip left-in print debugging * blkn * remove wasm_sym temporarily * Better simplification for constants * Add json * blkn * Better commmandline args * blkn * fix wasm * Fix * better commanlining * REmove get_related from the default path and fix arm test * blkn * fix related to tests * blkn * Fix bug in test and disable debug messages in Solver * smtlib config to disable multiple check-sat in newer z3 * Disable log test and fix merging poc vs variable migration * blkn * Avoid exception in some callbacks * can_rais at did_will * yikes! * blkn * Yices found one more states in truffle * Add a config constant to ignore symbolic balances * Add a config constant to ignore symbolic balances 2 * Relax truffle state count * Relax truffle state count 2 * Change cli name and test * Clear redy states in verifier workspace * Clear ready states in verifier workspace * Relative ws path on verifier output. Clean CREATE testcase example * Blkn * Improve coverage and funcid solving * lint * Better testcase generation at verifier * Better testcase generation at verifier and typos * Better output and default re * Test must revert * Better output and default re * move generate_testcase_ex to private method Co-authored-by: Eric Kilmer <[email protected]> Co-authored-by: Eric Hennenfent <[email protected]>