Commit Graph

4199 Commits (5123d38027bbe5398081cc1a30cbf8fc60a5278a)
 

Author SHA1 Message Date
Feist Josselin 84ffb3b07f
Merge pull request #1820 from crytic/snapshot-testing-insta 2 years ago
Feist Josselin 801414b180 Merge branch 'dev' into snapshot-testing-insta 2 years ago
Feist Josselin 0aca60a61b
Merge pull request #1808 from crytic/dev-makefile 2 years ago
webthethird ca82da0603 Update compare docstring 2 years ago
alpharush 60fc422bc5
Merge pull request #1842 from crytic/0xalpharush-patch-1 2 years ago
alpharush 27bcb2c269
fix wiki link 2 years ago
webthethird 89fda0667e Pylint 2 years ago
webthethird ea10acad82 Fix missing import 2 years ago
webthethird ae7f0b2f05 Only check internal calls to Functions 2 years ago
alpharush 0a61975601 address reviewer suggestions 2 years ago
Simone 99cdd1f72a Type hint 2 years ago
Simone 85095f9365 Remove unneeded argument 2 years ago
Simone 1e8abe01d1 Fix try catch infinite recursion 2 years ago
Feist Josselin ea85d8b1c1
Merge pull request #1817 from crytic/support-new-bytes-ternary 2 years ago
alpharush a4e28e462a
Merge pull request #1812 from crytic/remove-top-level 2 years ago
Simone de311b5ab5 Improve echidna printer perf 2 years ago
aga7hokakological 82960f387c fixed: pausable printer includes checks on constructor() 2 years ago
aga7hokakological fa4ca2c454 fixed: changed name of the printer pausable -> not-pausable 2 years ago
webthethird 3bcefac1c8 Black 2 years ago
webthethird 178960f655 Simplify by removing `TaintedFunction` and `TaintedVariable` classes 2 years ago
webthethird 111559bf75 Black 2 years ago
webthethird 17b41da096 Merge remote-tracking branch 'crytic/slither/dev' into dev-generate-interface-code 2 years ago
webthethird 1e7397965a Fix expected tainted funcs, since we changed what's considered tainted 2 years ago
webthethird 98a5cf012d Use canonical_name in comparisons 2 years ago
webthethird 38acd93bd2 Add inline comments 2 years ago
webthethird 85c22f491e Avoid re-defining `contracts` in `tainted_inheriting_contracts` 2 years ago
webthethird d1b34b64e7 Avoid string comparison 2 years ago
webthethird da045d6db1 Make TaintedExternalContract a regular class 2 years ago
alpharush 0f5fcce65d remove deepdiff and no longer used artifacts 2 years ago
alpharush 05f50867dc use pytest-insta to do snapshot testing for detectors 2 years ago
alpharush d1b9e82889 lint: unused imports 2 years ago
alpharush 92d3e4ff21 replace new uses of switch_global_version with solc_binary_path 2 years ago
alpharush 90d3b740b3 use as_posix for solc binary path 2 years ago
alpharush 6451285f8f create tmpdir in master xdist worker and store lockfiles there 2 years ago
webthethird 2b330a198f Tweak how tainted variables are handled 2 years ago
webthethird f585d2bb86 Add TODO 2 years ago
webthethird c7866580ae Merge remote-tracking branch 'crytic/slither/dev' into dev-upgradeability-util-cross-contract-taint 2 years ago
webthethird 20f5825fb6 Pylint and black 2 years ago
webthethird 386c3e14a3 Pylint and black 2 years ago
webthethird cba0dc9511 Add python types 2 years ago
alpharush d9f5dbb6cd support new bytes expr in ternary 2 years ago
webthethird d88bba4985 Fix too many values to unpack in test_upgradeability_util.py 2 years ago
webthethird 675dbea433 Get tainted variables in `tainted_inheriting_contracts` 2 years ago
webthethird 5967958c71 Black 2 years ago
webthethird 0deff18d01 Add docstring to `tainted_inheriting_contracts` 2 years ago
webthethird 4b6dd02ac8 Find contracts tainted by inheriting a tainted contract 2 years ago
alpharush 289337c236 remove duplicate header 2 years ago
alpharush 16547c43ec markdownlint 2 years ago
alpharush 0dd62b76cb update contributing 2 years ago
alpharush 08f865766c fix versions reqs. 2 years ago