TheDude
/
slither
mirror of https://github.com/crytic/slither
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
2981 Commits
76 Branches
41 Tags
110 MiB
Tag: Branch: Tree: 45e90dc4c1
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '45e90dc4c1'
${ noResults }
Commit Graph

2981 Commits (45e90dc4c10120ac0f52b1490e62167870277c97)
 

Author SHA1 Message Date
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
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