Commit Graph

3622 Commits (3861ea3e0439e246bf240e60b998d4dce38e7975)
 

Author SHA1 Message Date
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
alpharush 462396edcc correct web3 to be required, not dev dep 2 years ago
Feist Josselin 5869d7430c
Merge pull request #1768 from crytic/dev 2 years ago
Feist Josselin 081056ccff
Merge pull request #1770 from crytic/0xalpharush-patch-1 2 years ago
Feist Josselin 400dfd6f08 Minor 2 years ago
alpharush 9dccce3452
update linter.yml name 2 years ago
Feist Josselin 337ed45bf6 Merge branch 'master' into dev 2 years ago
Feist Josselin f0603b4ea6
Merge pull request #1765 from crytic/declaration-printer 2 years ago
Feist Josselin 8a01247fa5
Merge pull request #1762 from crytic/fix-new-contract-reads 2 years ago
alpharush bc65997cad merge dev 2 years ago
alpharush d6adbca519 update printer tests 2 years ago
alpharush 20fbfd45df fix evm printer 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
alpharush cd1ec36dad include salt in NewContract op, add test infra 2 years ago
webthethird 9f4be7d7fb Include variables touched by tainted functions 2 years ago
webthethird 317af452ad Minor bug fixes 2 years ago
webthethird c536b7c0c8 Merge remote-tracking branch 'crytic/slither/dev' into dev-generate-interface-code 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
William Aaron Cheung 6eab0b2797
fix #1748 2 years ago
William Aaron Cheung 547a8047f0
add bug revealing test for #1748 2 years ago
webthethird 631f124d32 Include custom errors in `generate_interface` 2 years ago
alpharush a31282b483 make web3>=6.0.0 a dependency 2 years ago
webthethird 6284e0ac44 Pylint and black 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 67ece635f0 Revert unnecessary imports 2 years ago
webthethird c507b3b99f Move code generation to a new util 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
webthethird 0df2c23eee Include events in `Contract.generate_interface` 2 years ago
alpharush b16bb7079f remove xfail from passing test, test_initial_version_exists_for_locals 2 years ago
webthethird 5a25c81a52 Locally import Contract to resolve pylint 2 years ago
alpharush 9f56a91f73 mark currently failing IR tests as xfail 2 years ago
alpharush 0131f5b08f add skipif to test that requires hardhat 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 ba6ef45847 add import 2 years ago
alpharush 9e79ec6e16 select solc version for test_ternary_conversions 2 years ago
alpharush dc28a1efac fix merge mistake 2 years ago
alpharush 5a37d308bd fmt 2 years ago