develop
solidity
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
test\formal\redundant_store_unrelated.py
2 1 -
A
libyul\backends\evm\VariableReferenceCounter.h
2 1 -
A
test\tools\ossfuzz\solProtoFuzzer.cpp
2 1 -
A
libsmtutil\CHCSolverInterface.h
2 1 -
A
libsolidity\codegen\Compiler.cpp
2 1 -
A
libyul\optimiser\VarNameCleaner.h
2 1 -
A
scripts\update_bugs_by_version.py
2 1 -
A
libyul\optimiser\Suite.h
2 3 -
A
libyul\optimiser\SSAValueTracker.h
2 1 -
A
libsmtutil\Sorts.cpp
2 1 -
A
libsmtutil\Z3CHCInterface.h
2 1 -
A
test\libsolutil\LEB128.cpp
2 1 -
A
libsolidity\formal\ArraySlicePredicate.cpp
2 1 -
A
libsolidity\formal\BMC.h
2 4 -
A
libsolidity\formal\Invariants.cpp
2 1 -
A
libyul\SideEffects.h
2 1 -
A
libyul\optimiser\MainFunction.cpp
2 1 -
A
libyul\optimiser\EquivalentFunctionDetector.h
2 1 -
A
libyul\backends\evm\ConstantOptimiser.h
2 1 -
A
libsolidity\analysis\ContractLevelChecker.h
2 1 1