MemoryLoadResolver
solidity
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
libsolidity\analysis\ViewPureChecker.cpp
113 7 2
A
libsolidity\codegen\CompilerUtils.cpp
265 7 3
A
libsolidity\formal\CHC.h
6 6 -
A
test\tools\ossfuzz\protoToAbiV2.cpp
175 6 -
A
test\libsolidity\SolidityExecutionFramework.cpp
26 6 1
A
test\libsolidity\ABIDecoderTests.cpp
16 6 -
A
test\libsolidity\SolidityOptimizer.cpp
35 6 -
A
libyul\optimiser\DataFlowAnalyzer.cpp
73 6 1
A
libsolidity\codegen\ir\IRGenerator.cpp
105 6 3
A
libsolidity\codegen\ir\IRGeneratorForStatements.h
4 5 -
A
libsolidity\formal\PredicateInstance.cpp
22 5 -
A
libsolidity\formal\PredicateSort.cpp
7 5 -
A
libsolidity\codegen\ABIFunctions.cpp
193 5 4
A
libsolidity\formal\Predicate.cpp
64 5 1
A
libsmtutil\Z3Interface.cpp
123 5 2
A
libyul\optimiser\Suite.cpp
36 5 1
A
libyul\optimiser\DataFlowAnalyzer.h
1 5 -
A
scripts\error_codes.py
74 5 1
A
libsolidity\ast\AST.h
265 5 3
A
libsolidity\analysis\SyntaxChecker.cpp
92 5 1