MemoryLoadResolver
solidity
Repository badge with AMinus rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
test\tools\yulopti.cpp
27 5 -
A
libyul\optimiser\DataFlowAnalyzer.h
1 5 -
A
libsmtutil\Z3Interface.cpp
123 5 2
A
libsolidity\codegen\ir\IRGeneratorForStatements.h
4 5 -
A
libsolidity\formal\Predicate.cpp
64 5 1
A
libsolidity\formal\PredicateInstance.cpp
22 5 -
A
libsolidity\formal\PredicateSort.cpp
7 5 -
A
libyul\optimiser\Suite.cpp
36 5 1
A
scripts\error_codes.py
76 5 1
A
test\libsolidity\ABIDecoderTests.cpp
16 6 -
A
test\libsolidity\SolidityExecutionFramework.cpp
26 6 1
A
test\libsolidity\SolidityOptimizer.cpp
35 6 -
A
test\tools\ossfuzz\protoToAbiV2.cpp
175 6 1
A
libyul\optimiser\DataFlowAnalyzer.cpp
73 6 1
A
libsolidity\codegen\ir\IRGenerator.cpp
105 6 3
A
libsolidity\formal\CHC.h
6 6 -
A
libsolidity\analysis\ViewPureChecker.cpp
113 7 2
A
test\externalTests\colony.sh
 7 -
A
test\externalTests\common.sh
 7 -
A
test\externalTests\gnosis.sh
 7 -