Commit Graph

2549 Commits (21d5dba4020836dc874534b789ef72cb9abcd1d7)
 

Author SHA1 Message Date
Josselin f029eddb99 Add missing solidity keywords 5 years ago
Josselin 08c7d35244 Naming convetion: filter solidity keywords 5 years ago
Josselin e6a1d6324a Improve flattening 5 years ago
Josselin c9537aee92 Merge branch 'dev-fix-loop-break' into dev-flattening 5 years ago
Josselin cf7d0c73ed Fix incorrect for(;;) parsing if break is present 5 years ago
Josselin 3a5c284c90 Update to new ModifierStatement format 5 years ago
Josselin 1450d602bf Minor 5 years ago
Josselin ab40693de7 Merge branch 'dev' into dev-slither-format-tool-only-new 5 years ago
Feist Josselin 5ed0eec45e
Merge pull request #325 from burrrata/master 5 years ago
Feist Josselin 18b2bbd8a7
Update README.md 5 years ago
Feist Josselin 021e6836b0
Merge pull request #322 from disconnect3d/slither-cli-print-detectors-count 5 years ago
Feist Josselin bed3cc3d05
Merge pull request #323 from crytic/disconnect3d-patch-1 5 years ago
Josselin b0a83b7ad4 Add slither-flat (WIP) 5 years ago
burrrata 8c80fec033
Update README.md 5 years ago
Disconnect3d c3bc9fe833
Fix MultipleCallsInLoop wiki url 5 years ago
disconnect3d abc0563f63 Print detectors count on Slither CLI 5 years ago
Josselin 295f6e6672 Improve constant function detection (add state variables) 5 years ago
Josselin 38478ac9da WIP of echidna guidance printer 5 years ago
Feist Josselin 9922eb499a
Merge pull request #317 from crytic/special_case_echidna_properties 5 years ago
Alex Groce 5468bc1bb1
Change to startswith 5 years ago
agroce d3ba27baea ignore naming convention restriction on echidna_ and crytic_ functions 5 years ago
Josselin b43d4c9222 v0.6.6 5 years ago
Feist Josselin f608e985d8
Merge pull request #314 from crytic/dev-fix-reentrancy 5 years ago
Josselin e2ed64c97b Fix reentrancy detector 5 years ago
Josselin c417c04bf0 v0.6.5 5 years ago
Feist Josselin 774fd917d8
Merge pull request #299 from Abhimanyu121/master 5 years ago
Feist Josselin b993bc2626
Merge pull request #313 from crytic/dev-move-utils 5 years ago
Abhimanyu121 accb687544 New Printer: Prints Contructor call sequence 5 years ago
Feist Josselin d71b1a6972
Merge pull request #311 from crytic/dev-refactor-reentrancy 5 years ago
Josselin 48879668e1 Move .utils to slither.tools to allow use in external tools 5 years ago
Josselin c25aa4fc2e Merge branch 'dev' into dev-refactor-reentrancy 5 years ago
Josselin df0dacc2a9 Improve constant folding 5 years ago
Josselin 923d82acfc Remove print 5 years ago
Josselin de4d863e19 Improve solc_version information 5 years ago
Josselin 58abfbb477 Refactor reentrancy + API changes: 5 years ago
Feist Josselin 54241c0d13
Merge pull request #305 from crytic/dev-late-subdenomination-conversion 5 years ago
Josselin 13528d26d9 Minor 5 years ago
Josselin f8b7d49f66 Merge branch 'dev' into dev-late-subdenomination-conversion 5 years ago
Josselin 2ff1b296a1 Minor 5 years ago
Josselin a8b4959ea8 Merge branch 'dev' into dev-late-subdenomination-conversion 5 years ago
Josselin aec680c5fe Naming convetion: do not report incorrect naming convention for constructor 5 years ago
Josselin a9dea21ca8 Update travis tests 5 years ago
Josselin 4b2ddad163 Merge branch 'dev' into dev-late-subdenomination-conversion 5 years ago
Josselin 1ac8571872 Markdown typo in void constructor 5 years ago
Josselin 36d56d0b93 Update README.md 5 years ago
Josselin adf515f764 Merge branch 'master' into dev 5 years ago
Josselin 6dfa82fe33 Merge branch 'dev' into dev-late-subdenomination-conversion 5 years ago
Josselin 24eb049ffb Improve raw json support 5 years ago
Josselin 8ab8e5a7a3 Merge branch 'master' of github.com:crytic/slither 5 years ago
Josselin cc3377bd33 Minor 5 years ago