736 Commits (05cab3548cfbeb17d2ca5f3539b679f3fbfb8a1d)

 

All Branches   

Search

Author	SHA1	Message	Date
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. ... * Added highlighting for state variables which overshadow others through inheritance. * Fixed a bug where special formatting for contract-type state variables wouldn't ever be used.	6 years ago
David Pokora	8335faae8b	* Numbered edges in inheritance-graph to denote order of inheritance. ... * Temporarily tweaked again to highlight shadowing functions instead of shadowed.	6 years ago
David Pokora	387d5efea5	* Added state variable shadowing detection to inheritance_analysis. ... * Added relevant test for inheritance_graph.	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
David Pokora	48bb498b14	* Added c3-linearization-internal detector to help inheritance-graph highlight collisions via C3 linearization. ... * Updated shadowing-function-internal detector to ignore unimplemented functions. * Updated inheritance-graph printer to highlight collisions (shadowed + shadowing) instead of just shadowing.	6 years ago
David Pokora	fa3971b6a5	Fix shadowing-function detector (and add modifiers to the results).	6 years ago
Josselin	331868dd66	Printers modifications: ... - inheritance-graph: don't show redundant edges (close #157) - inheritance: separate immediate/non immediate fathers/children	6 years ago
Josselin	59af3887a4	Added: ... - node.ssa_variables_* properties - variable.non_ssa_version for StateVariableIR/LocalVariableIR Fixed: - Incorrect SSA conversion on Return IR - is_storage property on StateVariableIR/LocalVariableIR	6 years ago
Josselin	0ff9305aef	Add undefined wiki info to shadowing function detector (close #158)	6 years ago
Josselin	76c07772b4	Add staticcall to LowLevelCall (close #152)	6 years ago
Josselin	4b55be79b2	Look for Truffle local version in package.json (close #154)	6 years ago
Josselin	7ef4e05fa1	Usage changes ... - Add truffle process to Slither (enable script to truffle project) - Switch to compact ast by default	6 years ago
Josselin	c2ff6585db	v0.5.2	6 years ago
Feist Josselin	00b3c891ee	Add eth-security-toolbox information	6 years ago
Josselin	dc7359c947	Add command line to generate the wiki page ... Add wiki info to vulnerabilities.json	6 years ago
Josselin	ec27576a77	Add wiki information to all detectors	6 years ago
Josselin	bbf3d5a98e	Add size to elementary_type ... Improve reentrancy detectors (used set() to seedup computation)	6 years ago
Josselin	ed7afe0049	Re-activate Length Operator conversion	6 years ago
Josselin	547f7aadaa	Improve reentrancy heuristic (remove FP)	6 years ago
Josselin	2ac861f5e0	Improve reentrancy heuristic	6 years ago
Josselin	e9c9476ea4	Improve reentrancy benign	6 years ago
Josselin	5dc98b20b5	Improve read var info for Index/Member operatioln ... Fix minor bug in reentrancy read_before_write	6 years ago
Josselin	7d04cc049d	Refactor reentrancy detector: ... - Graph traversal is performed one time for all the variants (speedup) - Add better support for internal calls	6 years ago
Josselin	bec190e877	Update uninit storage pointer testcase	6 years ago
Josselin	00c38a0945	Use cache system for function.all_* properties	6 years ago
Josselin	1cdc34ec77	Fix incorrect state variable read in case of ReferenceVariable	6 years ago
Josselin	bcb3e5b5f0	Add partial support of abi.decode()	6 years ago
Josselin	22e3e2fd40	v0.5.1	6 years ago
Josselin	c12ab06e76	Merge branch 'dev' of github.com:trailofbits/slither into dev	6 years ago
Josselin	11958943db	Re-add contract.contract_not_inherited	6 years ago
Josselin	bfd3dbb945	API changes: ... - contract.constructor return the first constructor (following c3 lin.) - remove contract.contract_not_inherited - add contract.constructors, which returns all the constructors (including inherited) Add documentation on constructor call on contract's definition	6 years ago
Josselin	96106d56af	Merge branch 'dev' into dev-immediate-inheritance	6 years ago
David Pokora	f60c705c3b	Added a function to obtain non-inherited contracts, switched explicit base constructor to use it.	6 years ago
David Pokora	1017903e46	Refactored property/field names for improved accuracy.	6 years ago
David Pokora	4c1f5dde51	* Exposed base constructor calls on contract definitions. ... * Refactored base contract exposure, added support for legacy-ast.	6 years ago
David Pokora	197db33dba	Expose base constructors called on constructor functions	6 years ago
Feist Josselin	6ac23a269d	Merge pull request #149 from trailofbits/dev-indexed-params ... Expose "indexed" attribute on event parameters	6 years ago
David Pokora	c0323282d6	Expose "indexed" attribute on event parameters (used to indicate inclusion in bloom filter).	6 years ago
Josselin	314c8cb0e3	Add support for index on anonymous arrays (close #139)	6 years ago
Josselin	98fdc339ab	Convert ternary operator in modifier (close #140)	6 years ago
Josselin	983677205f	Improve support of user-defined function type (close #136)	6 years ago
Josselin	3db412a7d5	Add gas/value support for internal dynamic call (close #135)	6 years ago
Josselin	889edd2952	Fix empty do-while loop parsing (close #133)	6 years ago
Feist Josselin	05556c932b	Merge pull request #146 from trailofbits/dev-utf8 ... Open files with UTF-8 encoding	6 years ago
Feist Josselin	28f7a3f9e3	Merge pull request #147 from trailofbits/dev-hex-subdenominations ... Add hexadecimal support for subdenominations	6 years ago