Chess changes breakout for upstream #2469
Draft
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Extremely strange that my local black==19.10b0 doesn't catch this, but the one on GH actions does
* fix-emulate-step: Make rusticorn binary actually check behavior Add a Rust/Unicorn resumption test Fix linting on test_general Make emulator reinitialize after write backs are disabled Disable write back once we hit our stop in Unicorn emulation
* master: Change types.FunctionType=<class 'function'> (#1803) Fix test regressions (#1804) State Introspection API (#1775) Fix EVM account existence checks for selfdestruct and call (#1801) Add partial implementation of sendto syscall (#1791) crytic-compile: use latest release (#1795) Update gas metering for calls to empty accounts (#1774) Fix BitVec with symbolic offset and fix TranslatorSmtlib.unique thread safety (#1792) Fix Coveralls for external PRs (#1794) Convert plugin list to dict (#1781) Symbolic-length reads from symbolic sockets (#1786) Removing Thread unsafe global caching (#1788) Add Manticore native State-specific hooks (#1777)
* capstone-5-dev: New x86 instrution test Add lacking x86 tests ENDBR64 as nop Ignore coverage tracking for defensive assertions and exceptions Update Capstone commit to fix arm64 LD1 instruction immediates Fix ARM Fix aarch64 Use my capstone dev branch until fixes are merged into next
* master: native/cpu/x86: Add support for CPUID EAX=80000000h (#1811)
Sphinx doesn't handle side-effects of importing
Helpful for knowing the exact last executed instruction address.
* master: Switch to stable Black (#2536) Fix typo in Manticore.linux constructor docstring (#2535) Revert CI changes made in #2526 Release Manticore 0.3.7 (#2526) Optimise forking when there is only 1 solution (#2527) Epoll Implementation (#2529) Split off ENDBR32/64 from CHESS branch (#2533) Update to crytic-compile 0.2.2 (#2530) Also ignore missing unicorn registers in the fallback emulator (#2531) x86 FXSAVE & FXRSTOR support (#2511) Fix `BitVecExtract` simplification for constant folding (#2524) Add pip-audit action workflow (#2513) Add EXPLICIT fork policy (#2514) Enforce crytic-compile==0.2.1 (#2512) Improve namedtuple definition (#2506) Add SMT simplifications for bitvec subtraction (#2504) Fix handling of the program base address in Linux (#2500)
|
Eric Hennenfent seems not to be a GitHub user. You need a GitHub account to be able to sign the CLA. If you have already a GitHub account, please add the email address used for this commit to your account. You have signed the CLA already but the status is still pending? Let us recheck it. |
This reverts commit 504ec9c. It seems that FXSAVE/FXSTORE on symbolic data causes or triggers some bugs in Manticore in the MATE tests, so we revert the commit until we figure out the root cause of the issue.
* capstone-5-dev: Use latest tagged capstone==5.0.0rc2 Fix more errors in tests Fix test Remove duplicate x86 ENDBR64 instruction
* Fix bug in register_log_callback * Add type hints, re-arrange code * Change CallbackStream to inherit io.StringIO * Tests pass
Still doesn't pass tests, but might be due to other issues. Pushing this for further reference
We needed to add some more CPU features, as reported by CPUID instruction to pass checks in glibc
Both the emulator and Manticore semantics for CPUID need to match in order to correctly execute the same paths
This patch is an open PR for upstream
* chess: Revert CI run on branch
* master: Add `psubq` instruction (x86) (#2553)
* Add boolean simplifications * Fix typo * Lint tests * Test remove simplifications * Comment simplification tests to check eth bench tests * Re-enable BoolEqual simplifications * Fix BoolNot * Fix tests * Fix more tests * Re-enable other boolean simplifications and tests * Fix tests * Fix tests * Add multiplication simplification * Fix tests * Lint * Improve docstrings Co-authored-by: Eric Kilmer <eric.d.kilmer@gmail.com> Co-authored-by: Eric Kilmer <eric.d.kilmer@gmail.com>
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
DO NOT MERGE.
This is a draft PR only to comment and point out some separable features from this branch to be potentially submitted as standalone PRs and eventually merged into
master