Commit Graph

2991 Commits (10085c1c1228e4eefc22b2a8c3f1df4194131ca4)
 

Author SHA1 Message Date
Josselin 7efc087c74 Improve printer documentation 6 years ago
Josselin a1e51e66a3 Merge branch 'dev' of github.com:trailofbits/slither into dev 6 years ago
Josselin 1189014530 Merge branch 'dev-legacy-forloop' into dev 6 years ago
Josselin b539a5f199 Add slithir.operation.unroll as a general util (slither.utils.utils). Use unroll on fix_phi operations 6 years ago
Feist Josselin e4bb2af510
Merge pull request #169 from trailofbits/dev-legacy-forloop 6 years ago
Feist Josselin e1d8d5045e
Merge pull request #166 from trailofbits/dev-inheritance 6 years ago
David Pokora 43fa54dde3
Fix an issue where legacy-ast would fail to detect missing loop components, causing the iterator to be parsed as the initializer, and the loop block to be parsed as the iterator (causing failure). 6 years ago
Josselin bf249d9724 Fix incorrect indent 6 years ago
Feist Josselin 60f3d14889
Update inheritance_graph.py 6 years ago
David Pokora d1fe98c3f0
Changed inheritance_analysis to provide global functions instead of wrapping them in an abstract class with static functions. 6 years ago
Josselin f8897c3f8f Clean import detectors/printer in slither/__main__.py 6 years ago
David Pokora 77412d22c7
Fixed issue with contract detection in inheritance-graph 6 years ago
David Pokora f0f210cd2c
* Changed inheritance-graph to only highlight direct shadowing, and only provide additional information for indirect conflicts. 6 years ago
Josselin b7f50f852a Improve data_dependency unit tests (add PropagateThroughArguments) 6 years ago
Josselin 6086e44885 Add data depenency tests to travis 6 years ago
Josselin 18ad15a577 Fix: 6 years ago
Josselin 2d37a03a91 New APIs: 6 years ago
Josselin a3d951fbc2 API change: 6 years ago
Josselin 8ee0099165 Improve read info (1cdc34ec77) 6 years ago
David Pokora 65a82b0caa
Cleaned up inheritance-graph: kept shadowing lookups, removed shadowed. Adjusted tooltip. 6 years ago
David Pokora 2d57be0fff
* Added tooltips for function/variable shadowing 6 years ago
David Pokora 05cab3548c
inheritance-graph: Give digraph a blank name, otherwise it will be interpretted as "%0" and will be used as the title/tooltip for all blank space. 6 years ago
David Pokora fed1e95a3a
Changed inheritance-graph shadowing state variable color to red (as it's most likely an error). 6 years ago
David Pokora 3112c3b8c5
Updated test for less bloat + better readability in graph. 6 years ago
David Pokora d1b0c1d5b0
* Changed inheritance-graph to only show variables explicitly defined in the parent contract, instead of inherited. 6 years ago
David Pokora 8335faae8b
* Numbered edges in inheritance-graph to denote order of inheritance. 6 years ago
David Pokora 387d5efea5
* Added state variable shadowing detection to inheritance_analysis. 6 years ago
David Pokora 019d3da211
Updates to inheritance_analysis.py's detect_function_shadowing to not include c3 collisions which end up neutralized by later inheriting contracts in a multi-inheritance scheme. 6 years ago
David Pokora 1f81f820a8
inheritance-graph: Only highlight shadowed functions (not shadowing). 6 years ago
David Pokora f45e138ae8
Remove internal detectors, moved internal inheritance detector logic into slither.utils.inheritance_analysis. 6 years ago
Josselin 29862ea541 Improve support for break with presence of nested loops (fix 141) 6 years ago
Josselin 1073a04e90 Array length: store the result of the constant folding in a separate variable to keep origin expression 6 years ago
Josselin 6c2923f254 Add constant folding visitor (fix #144) 6 years ago
Josselin 21579edef4 Merge branch 'dev' of github.com:trailofbits/slither into dev 6 years ago
Josselin b7e3b9e8af Merge branch 'master' into dev 6 years ago
David Pokora 48bb498b14
* Added c3-linearization-internal detector to help inheritance-graph highlight collisions via C3 linearization. 6 years ago
David Pokora fa3971b6a5
Fix shadowing-function detector (and add modifiers to the results). 6 years ago
Feist Josselin 6627ac0c0c
Merge pull request #159 from trailofbits/dev-windows-color 6 years ago
Feist Josselin 87f3be5f14
Merge pull request #162 from trailofbits/dev-inheritance 6 years ago
David Pokora 9e4e37ccc3
Set colorization enabled by default (fixes default colorization enabling through script instead of CLI) 6 years ago
Josselin a1422142ee Remove print 6 years ago
Josselin 90c2b60a4f Remove unused import 6 years ago
Josselin a31349ae92 Fix incorrect location assignment during LocalVariableIR init (fix #143) 6 years ago
Josselin 4a1252ad29 Remove FP on locked_ether detector: follow through libraries calls to detect send of ethers (fix #163) 6 years ago
Josselin 77cd643360 Remove reentrancy FP due to call to view/pure functions or state variable getters (fix #126) 6 years ago
Josselin f3992c354d Rename local variable in case of re-definition (fix #151) 6 years ago
Feist Josselin e545eaab37
Merge pull request #148 from trailofbits/dev-upgradibility 6 years ago
Josselin e6e23173c7 Add missing __init__.py file 6 years ago
Josselin 9baf839da5 slither-check-upgradability: 6 years ago
Josselin a7f37b0926 Merge branch 'master' of github.com:trailofbits/slither 6 years ago