Commit Graph

2896 Commits (a41f86739d9d2aad7596b9a0ac0ab2ce644fc2f3)
 

Author SHA1 Message Date
Josselin Feist e6399aa7d3 Merge branch 'dev' into dev-fix-read-storage 2 years ago
Josselin Feist a1963cbab0 Multiple improvements to slither-read-storage 2 years ago
ChenYuan 3ac6f5694b
Update event_call.py 2 years ago
Feist Josselin a347d22fb2
Merge pull request #1178 from 0xalpharush/dev-dependencies 2 years ago
Feist Josselin d25ebe2acc
Update ci.yml 2 years ago
Feist Josselin c2fd27c6c4
Merge branch 'dev' into dev-dependencies 2 years ago
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
Pascal Marco Caversaccio 1c1b471159
remove output file in any case 2 years ago
Pascal Marco Caversaccio 0673f89e36
remove CI test - everything works now 2 years ago
Pascal Marco Caversaccio 25886e2e0d
missing format identifier 2 years ago
Pascal Marco Caversaccio 11af692137
CI test 2 years ago
Pascal Marco Caversaccio 36875c7412
using bash scripts now 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
Pascal Marco Caversaccio e2afe85b2a
refactor and remove CI tests 2 years ago
Pascal Marco Caversaccio 6164fb86ad
parser CI 2 years ago
Pascal Marco Caversaccio e42bb18056
for testing CI 2 years ago
Pascal Marco Caversaccio cf3d1c5365
solc version 0.8.0 2 years ago
Pascal Marco Caversaccio d94cb4e97f
add test suite for path filtering 2 years ago
alpharush 033d18efae
add FAQ and useful info to contribution guidelines (#1047) 2 years ago
Josselin Feist 792321f531 Fix naming 2 years ago
Josselin Feist 8509db796e Merge branch 'dev' into top-level-yul-identifier 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