TheDude
/
slither
mirror of https://github.com/crytic/slither
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
4183 Commits
76 Branches
41 Tags
110 MiB
Tag: Branch: Tree: bb68df0818
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'bb68df0818'
${ noResults }
Commit Graph

4183 Commits (bb68df081883dd2bc8a5e34dcb1782f6ceaf6749)
 

Author SHA1 Message Date
alpharush 16140f29c8 cleanup and formatting
1 year ago
alpharush 9fdc7dc228 conditionally apply refinements to Solidity
1 year ago
alpharush 4845a3bd26 fix and refactor comparison operator, add support for raise
1 year ago
alpharush 81cb124e2d support default args in calls
1 year ago
alpharush e287b2f905 fix phi placement by calling SlitherCompilationUnit.add_function
1 year ago
alpharush 66def310e7 do not considered local variable that are reference types as `in_storage`
1 year ago
alpharush 47e274c907 consider function unimplemented if body is only pass
1 year ago
alpharush 3ca9d0f228 convert tuple on lhs and index access to struct and field access
1 year ago
alpharush e561d33eb1 try removing trailing comment
1 year ago
alpharush 4b10a0fa18 delete commented out code
1 year ago
alpharush f7ef48401e very simplistic support for reentrancy lock
1 year ago
alpharush 2dbb912bb7 correctly set indexed attribute for event variables
1 year ago
alpharush f9633ca67a fix name resolution for shadowed state variable
1 year ago
alpharush 08af1ee9e5 cleanup FunctionVyper
1 year ago
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