develop
solidity
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
libsolidity\formal\ModelChecker.cpp
33 4 -
A
liblangutil\SourceReferenceFormatter.cpp
33 2 -
A
libsmtutil\Z3CHCInterface.cpp
33 1 -
A
libsolidity\analysis\ControlFlowRevertPruner.cpp
33 2 1
A
libyul\optimiser\ASTWalker.cpp
33 1 -
A
libsolidity\lsp\Transport.cpp
32 1 -
A
libsolidity\formal\ExpressionFormatter.cpp
32 1 -
A
libyul\ScopeFiller.cpp
32 1 -
A
test\tools\ossfuzz\protoToSol.cpp
32 1 -
A
libyul\backends\evm\EthAssemblyAdapter.cpp
32 2 -
A
test\evmc\hex.hpp
32 1 -
A
libsolidity\parsing\DocStringParser.cpp
32 1 -
A
libsolutil\vector_ref.h
31 2 -
A
libyul\optimiser\LoadResolver.cpp
31 2 -
A
test\TestCase.cpp
31 1 -
A
test\yulPhaser\AlgorithmRunner.cpp
31 2 -
A
libsolidity\formal\SymbolicState.h
31 3 -
A
test\tools\fuzzer_common.cpp
31 6 -
A
test\tools\ossfuzz\SolidityGenerator.h
31 1 -
A
libyul\optimiser\UnusedAssignEliminator.cpp
30 2 -