Initial ethdebug tool. #15789
Open
Initial ethdebug tool. #15789
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
aarlt
force-pushed
the
ethdebug_tool
branch
4 times, most recently
from
e9c871c to
c31279e
Compare
aarlt
force-pushed
the
ethdebug_tool
branch
2 times, most recently
from
8d30e28 to
f68b88d
Compare
aarlt
force-pushed
the
ethdebug_tool
branch
2 times, most recently
from
21782b3 to
fdac089
Compare
aarlt
force-pushed
the
ethdebug_tool
branch
3 times, most recently
from
f24eeb9 to
8a13df5
Compare
* Update FilesystemUtils.cpp * Update OverrideChecker.cpp
* Update yulFuzzerCommon.cpp * Update yulFuzzerCommon.h
Previously, analyzing a call to a getter to a contract then has not been analyzed yet with BMC would result in a crash because BMC would not know about the state variable being accessed. To fix this, we let BMC know about all state variables in all contracts during initialization.
aarlt
force-pushed
the
ethdebug_instructions_and_source_ranges
branch
from
8ace2ba to
348cd32
Compare
aarlt
force-pushed
the
ethdebug_tool
branch
3 times, most recently
from
d935345 to
d0bafdd
Compare
aarlt
force-pushed
the
ethdebug_instructions_and_source_ranges
branch
from
1f48910 to
f129ed1
Compare
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.
No description provided.