Commit Graph

3371 Commits (9192fef4a7ad007b52c07eb79b6c3477836d1c89)
 

Author SHA1 Message Date
webthethird 9192fef4a7 Comment out ZosProxy test for now 2 years ago
webthethird 0e708e6c05 Handle sload from integer slot, i.e., `sload(0)` 2 years ago
webthethird 1588334844 Fix `compare` return signature 2 years ago
webthethird f216817d21 Use `get_missing_vars` in MissingVariable detector 2 years ago
webthethird 574afbe04b Add `get_missing_vars` to util, use it in `compare` 2 years ago
webthethird bff30a3481 Update upgradeability util tests 2 years ago
webthethird cbbcb8c8b1 pylint and black 2 years ago
webthethird fc1b94c89c Handle named variable declared in assembly 2 years ago
webthethird 722a343b77 Remove unused TEST_upgrade_diff.json 2 years ago
webthethird f148bbc0a8 Also search `parent_func.returns` in `find_delegate_from_name` 2 years ago
webthethird 9a9acbede9 Comment when a newly created variable can be returned 2 years ago
webthethird 24dad035f4 Document when a newly created variable can be returned 2 years ago
webthethird 1a54d0d325 Handle hardcoded slot sloaded in delegatecall 2 years ago
webthethird 26f80cfcf0 Use `Contract.fallback_function` 2 years ago
webthethird af6727c561 Add `Contract.fallback_function` and `.receive_function` properties 2 years ago
webthethird a6f6fc0bfa Use `.state_variables_ordered` and `.is_constructor_variables` 2 years ago
webthethird c159f56d70 Rewrite test for `utils.upgradeability` 2 years ago
webthethird 5622230117 Return six lists instead of dictionary of lists 2 years ago
webthethird c5b5463535 Rename shadowed var 2 years ago
webthethird a035d271e0 pylint 2 years ago
webthethird 701c8f3770 Add test for slither.utils.upgradeability.compare 2 years ago
webthethird 6ff59f9c9a Copy/paste and tweak `encode_ir` to compare ir 2 years ago
webthethird 9f4be7d7fb Include variables touched by tainted functions 2 years ago
webthethird 317af452ad Minor bug fixes 2 years ago
webthethird ccb98d883e Merge remote-tracking branch 'crytic/slither/dev' into dev-upgradeability-utils 2 years ago
Feist Josselin 096769b8a1
Merge pull request #1743 from crytic/slr-deps 2 years ago
alpharush a31282b483 make web3>=6.0.0 a dependency 2 years ago
Feist Josselin 979f3070b0
Merge pull request #1753 from crytic/fn-fp-templates 2 years ago
Feist Josselin 5c52921e48
Merge pull request #1744 from crytic/dev-printer-slithir-tl-format 2 years ago
Feist Josselin 137bee1ada
Merge pull request #1749 from crytic/filter-paths-help 2 years ago
webthethird c195a15da0 Handle `sload` from slot in `delegatecall` args 2 years ago
webthethird 3655708367 Redesign `utils.upgradeability.is_function_modified` 2 years ago
webthethird a6d49d52f3 Merge remote-tracking branch 'crytic/slither/dev' into dev-upgradeability-utils 2 years ago
webthethird 09128abf11 pylint 2 years ago
alpharush 4a69025afb
Update .github/ISSUE_TEMPLATE/false_negative.yml 2 years ago
alpharush 517d36e315 add issue template for false neg. and positive 2 years ago
alpharush f67c96b827
update filter-paths help 2 years ago
webthethird 4c57168441 Separate `get_proxy_implementation_var` 2 years ago
webthethird 8181faeec5 Add docstrings 2 years ago
webthethird f1947bb8e1 Add additional upgradeability utils 2 years ago
webthethird 37554ecda3 Bump to re-run CI tests 2 years ago
Simone 6236e54b3e Improve top level functions format 2 years ago
Feist Josselin cb376503b7
Merge pull request #1734 from crytic/dev-contract-comment 2 years ago
Feist Josselin 6ff17742da
Merge pull request #1724 from sidarth16/patch-4 2 years ago
Feist Josselin 462da768be
Merge pull request #1722 from sidarth16/patch-3 2 years ago
alpharush d9fda0b85c make dev install read-storage deps 2 years ago
alpharush 3861029145 inspect whether package is installed 2 years ago
alpharush 12682c3094 make slither-read-storage dependencies explicit 2 years ago
Feist Josselin 7aba140c3d Test with legacy AST too 2 years ago
Feist Josselin 829f7eb169
Merge pull request #1741 from crytic/fix-1625 2 years ago