Static Analyzer for Solidity

ethereumsoliditystatic-analysis

You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

alpharush 4685eac44f parse semver		2 years ago
..
abiencoderv2-array	Sort the detectors' results by Id	3 years ago
arbitrary-send-erc20	regenerate tests	2 years ago
arbitrary-send-erc20-permit	regenerate tests	2 years ago
arbitrary-send-eth	Merge branch 'dev' into dev-source-mapping-refactor	2 years ago
array-by-reference	Sort the detectors' results by Id	3 years ago
assembly	Sort the detectors' results by Id	3 years ago
assert-state-change	Sort the detectors' results by Id	3 years ago
backdoor	Merge branch 'dev' into dev-source-mapping-refactor	3 years ago
boolean-cst	Merge branch 'dev' into dev-source-mapping-refactor	3 years ago
boolean-equal	Merge branch 'dev' into dev-source-mapping-refactor	3 years ago
calls-loop	Sort the detectors' results by Id	3 years ago
constable-states	fix constructor var not detected as candidate, separate detectors	2 years ago
constant-function-asm	Merge branch 'dev' into dev-source-mapping-refactor	3 years ago
constant-function-state	Sort the detectors' results by Id	3 years ago
controlled-array-length	Sort the detectors' results by Id	3 years ago
controlled-delegatecall	Sort the detectors' results by Id	3 years ago
costly-loop	Sort the detectors' results by Id	3 years ago
dead-code/0.8.0	Sort the detectors' results by Id	3 years ago
delegatecall-loop	Sort the detectors' results by Id	3 years ago
deprecated-standards/0.4.25	regenerate tests	2 years ago
divide-before-multiply	Update tests	2 years ago
domain-separator-collision	consider state variable collisions and incorrect return type	2 years ago
enum-conversion/0.4.2	Add test for the enum-conversion detector	4 years ago
erc20-indexed	Sort the detectors' results by Id	3 years ago
erc20-interface	Sort the detectors' results by Id	3 years ago
erc721-interface	Sort the detectors' results by Id	3 years ago
events-access	Sort the detectors' results by Id	3 years ago
events-maths	Sort the detectors' results by Id	3 years ago
external-function	Merge branch 'dev' into htadashi-dev	2 years ago
function-init-state	Sort the detectors' results by Id	3 years ago
immutable-states	parse semver	2 years ago
incorrect-equality	Sort the detectors' results by Id	3 years ago
incorrect-modifier	Sort the detectors' results by Id	3 years ago
incorrect-shift	regenerate tests	2 years ago
incorrect-unary/0.4.25	Sort the detectors' results by Id	3 years ago
locked-ether	Merge branch 'dev' into dev-source-mapping-refactor	3 years ago
low-level-calls	Merge branch 'dev' into dev-source-mapping-refactor	3 years ago
mapping-deletion	Sort the detectors' results by Id	3 years ago
missing-inheritance	regenerate tests	2 years ago
missing-zero-check	Sort the detectors' results by Id	3 years ago
msg-value-loop	Sort the detectors' results by Id	3 years ago
multiple-constructors/0.4.22	regenerate tests	2 years ago
naming-convention	Add tests for single letter variable name O or I	2 years ago
pragma	Merge branch 'dev' into dev-source-mapping-refactor	2 years ago
protected-vars/0.8.2	Add missing json	2 years ago
public-mappings-nested/0.4.25	Merge branch 'dev' into dev-source-mapping-refactor	3 years ago
redundant-statements	Sort the detectors' results by Id	3 years ago
reentrancy-benign	Sort the detectors' results by Id	3 years ago
reentrancy-eth	Minor improvements + testcase	2 years ago
reentrancy-events	Merge branch 'dev' into dev-source-mapping-refactor	3 years ago
reentrancy-no-eth	Make results deterministic	2 years ago
reused-constructor	Sort the detectors' results by Id	3 years ago
rtlo	regenerate tests	2 years ago
shadowing-abstract	regenerate tests	2 years ago
shadowing-builtin	Sort the detectors' results by Id	3 years ago
shadowing-local	Sort the detectors' results by Id	3 years ago
shadowing-state	regenerate tests	2 years ago
similar-names	regenerate tests	2 years ago
solc-version	Sort the detectors' results by Id	3 years ago
storage-array	- Create helpers for VULNERABLE_SOLC_VERSIONS	2 years ago
suicidal	Merge branch 'dev' into dev-source-mapping-refactor	3 years ago
tautology	regenerate tests	2 years ago
timestamp	Sort the detectors' results by Id	3 years ago
too-many-digits	Merge branch 'dev' into dev-source-mapping-refactor	2 years ago
tx-origin	Sort the detectors' results by Id	3 years ago
unchecked-lowlevel	Merge branch 'dev' into dev-source-mapping-refactor	3 years ago
unchecked-send	Merge branch 'dev' into dev-source-mapping-refactor	3 years ago
unchecked-transfer/0.7.6	Merge branch 'dev' into dev-source-mapping-refactor	3 years ago
unimplemented-functions	Sort the detectors' results by Id	3 years ago
uninitialized-fptr-cst	Sort the detectors' results by Id	3 years ago
uninitialized-local	Merge branch 'dev' into dev-source-mapping-refactor	3 years ago
uninitialized-state	Merge branch 'dev' into dev-source-mapping-refactor	2 years ago
uninitialized-storage/0.4.25	Merge branch 'dev' into dev-source-mapping-refactor	3 years ago
unprotected-upgrade	add 0.8.15/0.7.6 tests for disableInitializers	2 years ago
unused-return	Sort the detectors' results by Id	3 years ago
unused-state	Sort the detectors' results by Id	3 years ago
var-read-using-this	make test function view	2 years ago
variable-scope/0.4.25	Sort the detectors' results by Id	3 years ago
void-cst	Merge branch 'dev' into dev-source-mapping-refactor	3 years ago
weak-prng	Sort the detectors' results by Id	3 years ago
write-after-write/0.8.0	Merge branch 'dev' into dev-source-mapping-refactor	3 years ago