Commit Graph

2114 Commits (6f471487ab5139b122a89cc70f8e016f392aa03f)
 

Author SHA1 Message Date
Nat 6f471487ab
Rename __init__.y.py to __init__.py 4 years ago
Feist Josselin d7957ea0e7
Merge pull request #786 from crytic/dev-fix-user-defined-type 4 years ago
Josselin 7aa8020fb9 Merge branch 'dev' into dev-fix-user-defined-type 4 years ago
Feist Josselin 7f02c2b650
Merge pull request #785 from crytic/dev-CI-solc-select 4 years ago
Josselin 196dd342fb Revert to docker version of solc select for the parsing tests (see 4 years ago
Josselin ba7babc15c Fix test_ast_parsing 4 years ago
Josselin 13e6939a93 Improvements 4 years ago
Josselin d401aa19f8 Use python version of solc-select in CI 4 years ago
Josselin 0460f9bc15 Merge branch 'master' into dev 4 years ago
Josselin 8d9e162eb3 User __str__ for top level user defined type (fix #773) 4 years ago
Feist Josselin cc01a1f5fe
Update trophies.md 4 years ago
Feist Josselin 90cd5f0b26
Add hermez reentrancy to trophies.md 4 years ago
Feist Josselin c6b5c741c4
Merge pull request #781 from fvictorio/patch-1 4 years ago
Franco Victorio d10fe9a0fe
Update README.md 4 years ago
Feist Josselin 8afd422712
disable jscp from gh super linter 4 years ago
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
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
Josselin 119a024b58 Merge branch 'dev' of github.com:crytic/slither into dev 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