Commit Graph

2627 Commits (ce1fc4f60a952632149b8e407b982e73d1466f79)
 

Author SHA1 Message Date
Josselin Feist ce1fc4f60a Fix type on variable.name 2 years ago
Josselin Feist 4b7541f8e3 Improve generation of solidity signature 2 years ago
Feist Josselin e25bb97bbc
Merge pull request #870 from crytic/dev-naming 2 years ago
Feist Josselin 8e65393f13
Merge pull request #858 from crytic/dev-baseline-tests 2 years ago
Josselin Feist 6d3149a59a Minor 2 years ago
Josselin Feist 2b06b49cb7 Minor 2 years ago
Josselin Feist 0b230da0e7 Merge branch 'dev' into dev-naming 2 years ago
Josselin Feist f4f686e8d3 Minor 2 years ago
Josselin Feist 4214b932ad Merge branch 'dev' into dev-baseline-tests 2 years ago
Feist Josselin 4532be26b6
Merge pull request #1271 from crytic/userDefinedValueType 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
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
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