970 Commits (c7509c7e5e9857d031522edd265ba4c4e1de93f7)

 

All Branches   

Search

Author	SHA1	Message	Date
Josselin	4e37117fc8	Add basic interactive mode support	6 years ago
Josselin	63453a6b66	Clean slither/slither.py initialization	6 years ago
Josselin	3731a8c5a6	Merge branch 'dev' into dev-usability	6 years ago
Josselin	d6594f2f87	Add support of Type for SSA (abi.decode() takes a type as argument)	6 years ago
Josselin	c92f8a3e7a	Add new command lines: ... - --ignore-truffle-compile: do not run truffle compile - --filter-paths: ignore the results for which all the paths contains one of the string provided	6 years ago
Josselin	31eba6c97c	Merge branch 'dev' into dev-database	6 years ago
Josselin	a7cfcf7ae8	Add missing files ... Temporary and Reference variable have a specific classes for the SSA slithIR version	6 years ago
Josselin	821d385f33	Improve SSA code readability + add support for tuple ssa conversion	6 years ago
Josselin	ece8e324ce	Improve truffle auto version parsing	6 years ago
Josselin	c0f9f09b59	Fix missing support for this.variable() in reentrancy detector	6 years ago
Feist Josselin	6bad498509	Merge pull request #161 from trailofbits/dev-legacy-usertypename-parsing ... Fix UserDefinedTypeName type parsing from names	6 years ago
Josselin	f468cda4c1	Change: ... - node.is_conditional: consider return bool as a conditional node	6 years ago
Josselin	ca1fe79ac3	Merge branch 'master' into dev	6 years ago
Josselin	fe6789bdc5	Fixed: ... - node.high_level_call: support call to this Changed: - use 'contracts.dot' as default name for printers exporting a dot file	6 years ago
Josselin	ecebd0414d	WIP database	6 years ago
Josselin	1757618fb4	Data depencies: use fix point for function depenencies (fix #171) ... Add data_depencies.get_dependencies function Add depencies printer	6 years ago
Josselin	02661eb0ff	Improve reentrancy heuristic: ignore call to this. if the destination is reentrancy-safe (close #127)	6 years ago
Josselin	0ad077755e	Unused variable: Check for array length expressions (fix #167)	6 years ago
Josselin	3dbe807aad	Improve inheritance graph printed message	6 years ago
Josselin	4154f79f75	Merge branch 'dev' of github.com:trailofbits/slither into dev	6 years ago
Josselin	5f0cae387f	Improve code readability of major modules: ... - Group methods together - Use region/endregion format Remove unused import	6 years ago
David Pokora	03ab0cdeb2	Updated inheritances_graph printer examples.	6 years ago
David Pokora	ae90ff1343	Darker gray on indirect shadowing information in inheritance-graph	6 years ago
Josselin	d22e53fdfe	Improve reentrancy heuristic: Only skip view/pure/variable calls if Solidity 0.5 is used	6 years ago
Josselin	ea599c4efd	Truffle: fix minor bug in truffle cmd declaration	6 years ago
David Pokora	e8e112c89b	Fixed an issue where 'type' node would not exist on old solc in legacy-ast.	6 years ago
Josselin	367ba02562	Add WIKI link to printers (close 164)	6 years ago
Josselin	15a9215a0b	Add WIKI to Detector mandatory fields	6 years ago
Josselin	78a0290c4a	Merge branch 'master' into dev	6 years ago
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 ... Fix missing loop components on legacy-ast	6 years ago
Feist Josselin	e1d8d5045e	Merge pull request #166 from trailofbits/dev-inheritance ... Fix shadowing-function detector and enhance inheritance-graph	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. ... * Moved indirect conflicts into the affected contract node, instead of splitting information among all affected. * Fixed a bug where c3 shadowing detection could return the same function twice in a collision chain (not actually possible).	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: ... - LocalIRVariable: remove dupplicate non_ssa_version assignment SSA improvements (fix #156) - Add PHI operation on functions' arguments - Use reachable_from information to find the PHI rvalues	6 years ago
Josselin	2d37a03a91	New APIs: ... - function.reachable_from_nodes/ reachable_from_functions: track internalCall to find where the function can be called - slither.functions/modifiers: list all functions/modifiers of all the contracts	6 years ago
Josselin	a3d951fbc2	API change: ... data_dependency.is_tainted: remove slither argument data_dependency: - Taint only public/external functions - Use is_protected() instead of is_protected - Use v.non_ssa_version for SSA -> non ssa conversion	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 ... * Changed detect_function_shadowing to return all c3 shadowing results, not just top-level (as super calls might make these results relevant). * Changed detect_function_shadowing to return the contract_scope as well (the contract where the issue is first detected, needed for indirect shadowing information). * Updates relevant test to test inheritance-graph with complex direct/indirect shadowing schemes.	6 years ago