Commit Graph

4569 Commits (584d64c73fff7e3d7f08d952725ed4645bcc8897)
 

Author SHA1 Message Date
alpharush 0efef8babf add test for parsing and cfgir 1 year ago
alpharush 36c60a93b0 add failing phi test 1 year ago
alpharush d3686764b8 fix missing call to set_offset 1 year ago
alpharush eadcd462c3 remove solc imports from vyper parsing 1 year ago
alpharush 929c2af088 add deprecated calls to solidity only detectors 1 year ago
alpharush ce6d3c91c8 point at vyper crytic-compile branch 1 year ago
alpharush 0fd1ed7308 follow redirects 1 year ago
alpharush b5778ce5df use curl to support windows 1 year ago
alpharush ae45f461e3 initial tests 1 year ago
alpharush baa3c980c2 install vyper in CI 1 year ago
alpharush 5197b157a8 fix filtering to use string value of enum 1 year ago
alpharush 917c5d6cd6 add IncorrectSolc detector to solidity-only detectors 1 year ago
alpharush 372579221d delete more unused code 1 year ago
alpharush 77637d90f0 delete unused code, misc. notes 1 year ago
alpharush 2bfe8290b9 add ability to perform filtering by language to AbstractDetector 1 year ago
alpharush 4c1ad519d0 handle edge case for vyper Expr nodes 1 year ago
alpharush 55ab580a75 convert raw_call to LowLevelCall 1 year ago
alpharush 85e63c6ba5 rename fixture 1 year ago
alpharush db88cd5855 fmt 1 year ago
alpharush 4b07cbbc56 add support for self.balance 1 year ago
alpharush a61ca34226 parse bool op symbol 1 year ago
alpharush 5443132c2b fix source mapping, set source code and source unit 1 year ago
alpharush 6bd52fac0e more builtins 1 year ago
alpharush 011c03a3de control flow graph (loops and ifs) 1 year ago
alpharush 472efb9cda improve comparison operator support, set_offset of expressions 1 year ago
alpharush 8a3fb6ad99 fix div symbol 1 year ago
alpharush b537b70ef7 fix type 1 year ago
Simone 5d79bc8c40 Improve constants extraction of ReferenceVariable 1 year ago
alpharush b1cb181dea remove unused code 1 year ago
alpharush 71894bad7a perform ssa conversion and analysis 1 year ago
alpharush 3e461ca59c initialized vars with expr 1 year ago
alpharush cff917f99a handle stldib interfaces 1 year ago
alpharush 4c78fe00c4 support conversion of interface to address, lookup interface funcs 1 year ago
alpharush a8641d244f add anon. local for return signature 1 year ago
alpharush fd7c130d39 allow type conversion to array type for vyper 1 year ago
alpharush 7549341c66 add some builtin variables for vyper 1 year ago
alpharush 872d9b59b0 support enum bitwise comparison operations 1 year ago
alpharush 2f94d1c251 more builtins; support params, state vars in loop iterators 1 year ago
alpharush 75c3389ace wip rewrite of for loops 1 year ago
alpharush 6fd82fee58 aug assign op 1 year ago
alpharush b142d236d7 check in progress on comparison operators and builtins 1 year ago
Tigran Avagyan 709d5e925f
Merge branch 'dev' into fix-continue-bug 1 year ago
Tigran Avagyan 2687867112
Merge branch 'dev' into dominator-deadcode-problem-fix 1 year ago
alpharush 90dc42fafe fix interface referring to constants, plus comments 1 year ago
alpharush b264512509 improve parse_types 1 year ago
alpharush 7b3e0645e3 WIP 1 year ago
alpharush 0de7a251eb
Merge pull request #2086 from crytic/dependabot/github_actions/dev/pypa/gh-action-pypi-publish-1.8.10 1 year ago
alpharush 8f5259527e
Merge pull request #2087 from crytic/dependabot/github_actions/dev/sigstore/gh-action-sigstore-python-2.0.1 1 year ago
dependabot[bot] 81c0c8cd88
Bump sigstore/gh-action-sigstore-python from 2.0.0 to 2.0.1 1 year ago
dependabot[bot] 2bc6a0f1a4
Bump pypa/gh-action-pypi-publish from 1.8.8 to 1.8.10 1 year ago