Commit Graph

2 Commits (770ca81368728b91b7b54be65b057a2d4e277bf6)

Author SHA1 Message Date
Feist Josselin 33c1fd2c8f Add files 2 years ago
Feist Josselin 4ed2a6adf9 Improve lookup for state variables 2 years ago
Josselin c1c182aac5 Minor improvements. Add example 5 years ago
Josselin dda057728d Add taint as slither module 6 years ago
Josselin a15af96993 Add SlithIR representation (WIP) 6 years ago
Josselin d6b51cef66 Initial public commit 6 years ago