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.

Josselin a988d9c89e Update tests		4 years ago
..
abiencoderv2-array	Open source 19 detectors	4 years ago
arbitrary-send	Refactor detectors tests to use pytest	4 years ago
array-by-reference	Open source 19 detectors	4 years ago
assembly	Refactor detectors tests to use pytest	4 years ago
assert-state-change	Fix incorrect confidence on assert state change detector	4 years ago
backdoor	Refactor detectors tests to use pytest	4 years ago
boolean-constant-equality	Renamed test file and added json artifact	4 years ago
boolean-constant-misuse	Added test and json artifact for boolean-constant-misuse	4 years ago
boolean-equality	Open source 19 detectors	4 years ago
calls-loop	Refactor detectors tests to use pytest	4 years ago
constable-states	Refactor detectors tests to use pytest	4 years ago
constant	Refactor detectors tests to use pytest	4 years ago
controlled-array-length	Open source 19 detectors	4 years ago
controlled-delegatecall	Refactor detectors tests to use pytest	4 years ago
costly-loop	Open source 19 detectors	4 years ago
erc20-indexed	Refactor detectors tests to use pytest	4 years ago
erc20-interface	Refactor detectors tests to use pytest	4 years ago
erc721-interface	Refactor detectors tests to use pytest	4 years ago
events-access	Open source new detectors	4 years ago
events-maths	Open source new detectors	4 years ago
external-function	Refactor detectors tests to use pytest	4 years ago
function-init-state	Open source 19 detectors	4 years ago
incorrect-equality	Refactor detectors tests to use pytest	4 years ago
incorrect-modifier	Open source new detectors	4 years ago
incorrect-unary	Open source new detectors	4 years ago
locked-ether	Refactor detectors tests to use pytest	4 years ago
low-level-calls	Refactor detectors tests to use pytest	4 years ago
mapping-deletion	Open source 19 detectors	4 years ago
missing-inheritance	Open source 19 detectors	4 years ago
missing-zero-check	Open source new detectors	4 years ago
multiple-constructors	Open source 19 detectors	4 years ago
naming-convention	Improve ignore finding feature	4 years ago
pragma	Fix minor and improve support for multiple source mapping	4 years ago
public-mappings-nested	Open source 19 detectors	4 years ago
redundant-statements	Open source 19 detectors	4 years ago
reentrancy-before-write	Added tests for reentrancy read before written	4 years ago
reentrancy-benign	Added tests for benign reentrancy	4 years ago
reentrancy-eth	Refactor detectors tests to use pytest	4 years ago
reentrancy-events	Refactor detectors tests to use pytest	4 years ago
reused-constructor	Open source 19 detectors	4 years ago
rtlo	Refactor detectors tests to use pytest	4 years ago
shadowing-abstract	Refactor detectors tests to use pytest	4 years ago
shadowing-builtin	Refactor detectors tests to use pytest	4 years ago
shadowing-local	Refactor detectors tests to use pytest	4 years ago
shadowing-state	Refactor detectors tests to use pytest	4 years ago
solc-version	Refactor detectors tests to use pytest	4 years ago
storage-array	Open source 19 detectors	4 years ago
timestamp	Refactor detectors tests to use pytest	4 years ago
too-many-digits	Refactor detectors tests to use pytest	4 years ago
tx-origin	Refactor detectors tests to use pytest	4 years ago
unchecked-lowlevel	Refactor detectors tests to use pytest	4 years ago
unchecked-send	Refactor detectors tests to use pytest	4 years ago
unchecked-transfer	Minor modif to the unchecked-return-transfer	4 years ago
unimplemented-functions	Open source 19 detectors	4 years ago
uninitialized-fptr-cst	Update tests	4 years ago
uninitialized-local	Refactor detectors tests to use pytest	4 years ago
uninitialized-state	Refactor detectors tests to use pytest	4 years ago
uninitialized-storage	Refactor detectors tests to use pytest	4 years ago
unprotected-upgrade	Open source unprotected upgrade	4 years ago
unused-return	add unused-return-transfers detector + exclude transfer/transferFrom from unused-return detector	4 years ago
unused-state	Refactor detectors tests to use pytest	4 years ago
variable-scope	Open source new detectors	4 years ago
void-cst	Refactor detectors tests to use pytest	4 years ago
weak-prng	Open source 19 detectors	4 years ago