Back to search
Top Contributors
144
commits
Semantic analyzer of EVM bytecode based on Mythril
Stars
10
Forks
3
Watchers
10
Open Issues
3
Overall repository health assessment
No package.json found
This might not be a Node.js project
144
commits
Fixed issue in HashLock where a symbolic value assertion was missing
8c11c65View on GitHubFixed an issue where an exception is thrown if the concrete role has even bytes
a48066bView on GitHubRoleBasedAccessControl: Added missing check before calling _sha3_preprocess to verify that the top two stack elements are concrete
0cbaa8eView on GitHubAllow answer "unknown" when asking for marked functions
7818b57View on GitHubTemporarily disabled CallDepthLimit plugin due to unhandled exception #14
f49f299View on GitHubImproved Ownership, fixed bugs in MultipleAuthorization, AnalysisStrategy, FunctionRepository and FlaggedFunctionRepository
f2ab123View on GitHub