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 Feist 5802174562 Merge branch 'dev' into dev-source-mapping-refactor		2 years ago
..
abiencoderv2-array	Sort the detectors' results by Id	3 years ago
arbitrary-send-erc20	feat: add arbitrary-send-erc20 and arbitrary-send-erc20-permit detectors (#1025)	3 years ago
arbitrary-send-erc20-permit	feat: add arbitrary-send-erc20 and arbitrary-send-erc20-permit detectors (#1025)	3 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	Sort the detectors' results by Id	3 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	Add test for the deprecated-standards detector	4 years ago
divide-before-multiply	Add tests for the divide-before-multiply detector	4 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	Sort the detectors' results by Id	3 years ago
function-init-state	Sort the detectors' results by Id	3 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	Add tests for the incorrect-shift detector	4 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	Add tests for the missing-inheritance detector	4 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	Add test for the multiple-constructors detector	4 years ago
naming-convention	Sort the detectors' results by Id	3 years ago
pragma	Merge branch 'dev' into dev-source-mapping-refactor	2 years ago
protected-vars/0.8.2	Add support for enhanced analyses through code comments (#1089)	3 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	Sort the detectors' results by Id	3 years ago
reentrancy-events	Merge branch 'dev' into dev-source-mapping-refactor	3 years ago
reentrancy-no-eth	Merge branch 'dev' into dev-source-mapping-refactor	2 years ago
reused-constructor	Sort the detectors' results by Id	3 years ago
rtlo	Merge branch 'dev' into dev-source-mapping-refactor	3 years ago
shadowing-abstract	Merge branch 'dev' into dev-source-mapping-refactor	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	Merge branch 'dev' into dev-source-mapping-refactor	2 years ago
similar-names	Add tests for the similar-names detector	4 years ago
solc-version	Sort the detectors' results by Id	3 years ago
storage-array	Sort the detectors' results by Id	3 years ago
suicidal	Merge branch 'dev' into dev-source-mapping-refactor	3 years ago
tautology	Add tests for the tautology detector	4 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	Merge branch 'dev' into dev-source-mapping-refactor	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
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