Commit Graph

2901 Commits (3c7802f2e9c04a35f8b268b0741ad0500b4dcadf)
 

Author SHA1 Message Date
greenknot c4c7d5674a
Dockerfile: upgrade from Ubuntu Bionic (18.04) to Focal (20.04) (#1242) 2 years ago
Kyle Baker 6971f3005d
replace-initialize (#1239) 2 years ago
alpharush 167b4c0394
handle tmp call to library's custom error (#1267) 2 years ago
alpharush 98e6d8c13e
add support for enum max/min members, fix min member on elementary (#1276) 2 years ago
h00p30 63a154fbb0
Remove unnecessary Check event (#1277) 2 years ago
Emilio López ad60e5e089
pip-audit: Use our official action (#1243) 2 years ago
Emilio López ce0a4006b9
Disable coloring if output is not a terminal, fix Windows tests (#1244) 2 years ago
TheStarBoys c1ed068ae1
Update slither/tools/flattening/flattening.py 2 years ago
TheStarBoys e64de7f7b3 Add feature #1298 2 years ago
TheStarBoys 800504238b Fix #1296: 2 years ago
Vladislav Volosnikov a4a139ecaa Add check ElementaryTypeNameExpression in copy_expression 2 years ago
alpharush b6e17811f9 add tests and artifacts 2 years ago
alpharush 57cbafa51d handle constant conversionn of type alias 2 years ago
alpharush 378f5373f3 remove invalid assertion 2 years ago
alpharush ee82e10164 fix argument propagation for .unwrap 2 years ago
alpharush 77551209d2 convert .call() member of address type alias to low level call 2 years ago
alpharush d0a4f5595d
add up to 0.8.15 for ast tests (#1268) 2 years ago
alpharush 7d11f06efe add top level identifier to test cases 2 years ago
alpharush 809a24260e additional edge cases 2 years ago
alpharush 793c4c4ee4 add failing test cases for user defined types 2 years ago
Erick db703d82f4
fix typo in `--help` output for `--print` flag (#1149) 3 years ago
Mathis 6a2e1e0819
Do not fail with no results and sarif output (#1229) 3 years ago
Cosmos 3416d05d16
fix wrong argument annotation (#1233) 3 years ago
Josselin Feist 168e96298f Merge branch 'master' into dev 3 years ago
Josselin Feist 9aa89caf10 Merge branch 'dev' into dev-modifier-identifier-path 3 years ago
Josselin Feist 672c4b312c Improve support for IdentifierPath (solidity 0.8) 3 years ago
alpharush 61bb6d1dde set pythonutf8 for windows 3 years ago
alpharush cc886a2f76 fix sentence 3 years ago
alpharush d3eea7b64e bump to python 3.8 3 years ago
Mickaël Schoentgen 75f858d4bf
Optimization: use a more efficient regexp for hexadecimal check (#1200) 3 years ago
Henrik Brodin fdf346f530
Hbrodin/ssa array tests (#1205) 3 years ago
Josselin fba37f2c0c Merge branch 'dev' of github.com:crytic/slither into dev 3 years ago
Feist Josselin 33922541bb
Update README (#1207) 3 years ago
Josselin 5a151479f2 Merge branch 'master' into dev 3 years ago
Josselin 68819d85e9 Fix pylint 3 years ago
Mickaël Schoentgen 39f558504a
Optimization: use `str.startswith(tuple)`, and `str.endswith(tuple)`, when revelant (#1186) 3 years ago
alpharush d5d95feee3
do not warn of digit count if checksummed address (#1193) 3 years ago
Feist Josselin 488dbaec1e
Update README.md 3 years ago
Feist Josselin c1b5a1ee50
Update README.md 3 years ago
Feist Josselin 562af10616
Update README.md 3 years ago
alpharush 21d5dba402 remove dependencies in lints 3 years ago
alpharush aca172b6d7 fix language and pin linter versions 3 years ago
Feist Josselin 1414de08d8 Document --checklist flag (#1190) 3 years ago
Feist Josselin 8dfa8033a1
Document --checklist flag (#1190) 3 years ago
Josselin 8caf5f70be Merge branch 'master' into dev 3 years ago
Josselin 6e350e7533 Merge branch 'dev' of github.com:crytic/slither into dev 3 years ago
alpharush f131242fb2
Update README.md (#1181) 3 years ago
alpharush 2c463abdb0
feat: add arbitrary-send-erc20 and arbitrary-send-erc20-permit detectors (#1025) 3 years ago
alpharush 4d1bcc6a5b
fix variable order printer by excluding immutables (#1184) 3 years ago
Tadashi 2e5aa1a20e Added "bad" test cases 3 years ago