Commit Graph

3560 Commits (3fb564fbc3c9fd6fb144f6a6e02bef3733d3c8a0)
 

Author SHA1 Message Date
Josselin 78a8887acf Improve constant state filter 5 years ago
Josselin b600cae512 Improve comment patching + state variable constant patching 5 years ago
Josselin 9ad04d9128 Add missing source mapping 5 years ago
Josselin 122b4268cf Fix incorrect variable idx 5 years ago
Josselin 07a7897a22 Add IR conversion for constant state variable conversion 5 years ago
Josselin 1ef8dbe69d Fix incorrect abi.decode translation 5 years ago
Josselin 63cde3bfe5 Patch comment 5 years ago
Josselin 13f4066c05 Minor 5 years ago
Josselin 24dc3797d2 Minor 5 years ago
Josselin 41201fe3d5 Consistent str<->bytes usage 5 years ago
kaisaf b4165de2d4 Add optimization impact level to human summary 5 years ago
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