Commit Graph

2456 Commits (4f18cca8d90e085f80243aeab0cdc5ddab0aa743)
 

Author SHA1 Message Date
Feist Josselin f5ca637c34
Update external publications 4 years ago
Feist Josselin c0c581b3ba
Update trophies.md 4 years ago
Feist Josselin e8f4f42886
Update README.md 4 years ago
Feist Josselin 1894af58c1
Merge pull request #764 from crytic/trophies 4 years ago
Josselin 6706646859 run markdownlinter 4 years ago
Josselin ea0ad70a2e Fix pylint 4 years ago
Josselin d8aa31fd68 Fix inheritance graph output (issue introduced with #729) 4 years ago
Feist Josselin cdcb1698c6
Update trophies.md 4 years ago
Feist Josselin c0acb5f247
Update trophies.md 4 years ago
Feist Josselin 9e1e564588
Update trophies.md 4 years ago
Feist Josselin 12c581498f
Create trophies.md 4 years ago
Feist Josselin f2fc1feec5
Update echidna.py 4 years ago
Josselin 119a024b58 Merge branch 'dev' of github.com:crytic/slither into dev 4 years ago
Josselin e63ca6c3df Fix Echidna printer bug 4 years ago
Feist Josselin 960fc1cb80
Merge pull request #758 from crytic/snd-function-tests 4 years ago
Maximilian Krueger eb4363a172 add more tests for Function.can_send_eth 4 years ago
Maximilian Krueger 90b2df1b66 improve docstring of Function.can_send_eth 4 years ago
Maximilian Krueger 00e5d05611 remove duplicate import 4 years ago
Feist Josselin c086f1884a
Merge pull request #756 from crytic/snd-can-send-eth-returns-none 4 years ago
Maximilian Krueger 05747d6c75 fix that Function.can_send_eth() sometimes returns None when it's supposed to return bool 4 years ago
Maximilian Krueger b5978e83b3 stricter assertions that expose that Function.can_send_eth() sometimes returns None instead of bool 4 years ago
Feist Josselin c5579dab6d
Merge pull request #747 from crytic/snd-fix-function-can-send-eth 4 years ago
Feist Josselin 08b87c4aff
Merge pull request #738 from crytic/dev-test-reentrancy-benign 4 years ago
Maximilian Krueger 8269561f56 test_function.py: finish for most of the codomain of properties and getters under test 4 years ago
Maximilian Krueger 885287348e CONTRIBUTING.md: instructions to run black/pylint on tests as well since github superlinter does so and fails otherwise 4 years ago
Maximilian Krueger 7f87546dd9 fix pylint `No such file or directory: 'tests/__init__.py'` 4 years ago
Maximilian Krueger 56cc042031 tests/test_function.py: pass pylint 4 years ago
Maximilian Krueger 9ed760c04a black 4 years ago
Maximilian Krueger 61f71293b0 more tests for slither.core.declarations.Function 4 years ago
Maximilian Krueger 78fb96c8a5 test_function.py: fix docstring 4 years ago
Maximilian Krueger 9f1a07e36c introduce tests for slither.core.declarations.Function 4 years ago
Maximilian Krueger 97eb7ec815 fix that Function.can_send_eth wrongly returns self._can_reenter 4 years ago
Natalie Chin 128b0cf5c1 Added tests for benign reentrancy 4 years ago
Josselin 7751cba82f 0.7.0 4 years ago
Feist Josselin ba07231c59
Merge pull request #737 from crytic/dev-fix-assert-state-change 4 years ago
Josselin e0fae81573 Fix incorrect confidence on assert state change detector 4 years ago
Josselin e44387a9be Merge branch 'dev' 4 years ago
Feist Josselin c6239c0f90
Merge pull request #736 from crytic/dev-6-detectors 4 years ago
Josselin be0fdf0c7c Merge branch 'dev-6-detectors' of github.com:crytic/slither into dev-6-detectors 4 years ago
Josselin d0af04d3c4 Run black 4 years ago
Feist Josselin fe7a9dfc91
Update ci_test_truffle.sh 4 years ago
Josselin 2a66915f29 Update readme 4 years ago
Josselin 789c356646 Open source new detectors 4 years ago
Feist Josselin 012f5c2e4b
Merge pull request #734 from crytic/dev-test-reentrancy-read-before-write 4 years ago
Feist Josselin cea61cc3e3
Merge pull request #733 from crytic/dev-disable-memberaccess-types 4 years ago
Natalie Chin b8cb7c6dad Added tests for reentrancy read before written 4 years ago
Josselin c02c97bfe9 Disable parsing types on memberAccess 4 years ago
Feist Josselin dcf1797dc7
Merge pull request #730 from snd/snd-dev 4 years ago
Feist Josselin bb1c1fbbad
Merge pull request #732 from crytic/dev-19-new-detectors 4 years ago
Josselin aa3226f74a Merge branch 'dev' into HEAD 4 years ago