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

4513 Commits (7b983e3fc537762cda3233b91ce2cc6321d1c6ff)
 

Author SHA1 Message Date
Tigran Avagyan 7e6a8aadde Merge branch 'fix-continue-bug' of https://github.com/cast-tech/slither into fix-continue-bug
1 year ago
Tigran Avagyan 64ad837f34 fixed continue bug for `for` case
1 year ago
Tigran Avagyan 86f45c9e15
Merge branch 'dev' into dominator-deadcode-problem-fix
1 year ago
Tigran Avagyan 6f27239d48
added type annotation
1 year ago
Judy Wu 733012d15c issue #2083: add exceptions for i_ and s_ in the naming-conventions detector
1 year ago
alpharush 25d1c6e61e also support reference id for legacy AST
1 year ago
Simone 8d5c033fbe
Improve mapping-deletion detector for nested mappings (#2084)
1 year ago
Simone d128b6d705 Merge branch 'dev' into dev-fix-enum-max-min
1 year ago
Simone 8b33694a81 Merge branch 'dev' into dev-fix-enum-max-min
1 year ago
Simone ddd9d6561f Add IR test
1 year ago
alpharush 6efc9daea2 merge dev
1 year ago
alpharush 0a5b9fdec1 prioritize reference id in name resolution to avoid shadowing related issues
1 year ago
Simone 8b07fe59d5
improve name resolution of type aliases (#2061)
1 year ago
alpharush 53c97f9f48
fix: preserve None tuple components in the left and right liftings of ternary expressions (#2120)
1 year ago
alpharush 21eca9d493 fix merge conflict
1 year ago
Emilio López 9da51fff3b
detectors: cache_array_length: include source mapping in finding (#2076)
1 year ago
alpharush 75ef277cbf
Merge pull request #2119 from crytic/master
1 year ago
Simone 65cc68ddf0
Make the results deterministic (#2114)
1 year ago
joodiewoodo ff52901e6d
Allow underscore in variable naming convention for internal state variables (#2110)
1 year ago
Simone c95b953b2c Prioritize checking canonical_name for type inference
1 year ago
Simone 1c4730dd11 Improve import aliasing
1 year ago
alpharush 404914cdfa link issues for TODO comments, lint
1 year ago
alpharush 961db4563f address lints and improve typing
1 year ago
alpharush e8fa8b85fa more cleanup
1 year ago
alpharush 239369c853 propagate return type on call to state variable with interface type
1 year ago
alpharush e80238d8e9 add struct defs to file scope
1 year ago
alpharush c21798021c fix some lint warnings
1 year ago
alpharush a6209dfe53 cleanup
1 year ago
alpharush 9df54e9c3a update tests
1 year ago
alpharush 9c4bc505d3 handle break/continue
1 year ago
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