Commit Graph

2692 Commits (0d04e17f8c0cbf5c19ce1469b1de2493cf25cb29)
 

Author SHA1 Message Date
Feist Josselin 702c7482c7
Merge pull request #1299 from TheStarBoys/feature/#1298 2 years ago
Josselin Feist e7a5e7b90d Merge branch 'read-storage-table' of github.com:noxx3xxon/slither into noxx3xxon-read-storage-table 2 years ago
Feist Josselin af877cf7b5
Merge branch 'dev' into feature/#1298 2 years ago
Feist Josselin 90d13cd388
Merge pull request #1308 from crytic/dev-contract-kind 2 years ago
Josselin Feist 0813789c52 Fix contract_kind 2 years ago
Josselin Feist 68353ef0ec Merge branch 'fix/issue#1296' of github.com:TheStarBoys/slither into TheStarBoys-fix/issue#1296 2 years ago
Feist Josselin 74f6cb1aae
Merge pull request #1307 from crytic/dev-node-entry-point-can-be-none 2 years ago
Feist Josselin 1a6976a0ec
Merge pull request #1306 from crytic/vladyan18-fix-ternary-with-type 2 years ago
Josselin Feist 38511dd5d5 Make entry_point return an Optional[Node] and update the detectors 2 years ago
Josselin Feist f10401593e Add testcase 2 years ago
Josselin Feist 9567b69418 Merge branch 'fix-ternary-with-type' of github.com:vladyan18/slither into vladyan18-fix-ternary-with-type 2 years ago
Feist Josselin 26ad3c6872
include enums declared in top level (#1300) 2 years ago
noxx 646b6a6250 linting 2 years ago
noxx c18b5ae43b more linting 2 years ago
noxx 3d690088e3 lintig and tabulate install on github action 2 years ago
noxx d8455e3213 add square brackets to make it clear that the number is an array index of observations 2 years ago
noxx e178b37fc9 remove crytic-export 2 years ago
noxx d4b8ff011e update the array name output in the table to include index 2 years ago
noxx 2fbc8d2a9a remove crytic-export 2 years ago
noxx 38c0ae513d add flag for table layout view, table layout with value view and silent flag for suppressing other outputs 2 years ago
Feist Josselin 0056406b5a
Fix broken tests introduced with #1239 (#1302) 2 years ago
alpharush 033d18efae
add FAQ and useful info to contribution guidelines (#1047) 2 years ago
Mickaël Schoentgen bb0b04be2f
Fix deprecation warnings: invalid escape sequence (#1185) 2 years ago
h00p30 a3fa7e6c2c
Support of ERC1363, ERC4524 for slither-check-erc (#1274) 2 years ago
alpharush 2e341aee9b
do not convert IRs with arguments to state var read (#1230) 2 years ago
Emilio López 8bead9347c
Unify path filtering across POSIX and Windows (#1196) 2 years ago
Jean Cvllr 89852f0c6f
fix: anchor links to Vulnerability report docs (#1257) 2 years ago
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 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) 2 years ago
Mathis 6a2e1e0819
Do not fail with no results and sarif output (#1229) 2 years ago
Cosmos 3416d05d16
fix wrong argument annotation (#1233) 2 years ago
Josselin Feist 168e96298f Merge branch 'master' into dev 3 years ago