653 Commits (15c166cfbbff88d804370991daa172d0b4569dc0)

 

All Branches   

Search

Author	SHA1	Message	Date
Josselin	15c166cfbb	Allow to include/exclude loops for node.is_condition	6 years ago
Josselin	b9d5e17245	Simplify constable detector (+ group all the result in one json)	6 years ago
Josselin	2314e9e26b	SSA: Initiate local variable ahead of time	6 years ago
Josselin	1963847f92	Minor bug	6 years ago
Josselin	bf2f99fec9	Improve data dependency computation (WIP) ... Remove old taint version	6 years ago
Josselin	c059bbdc11	Add support for user-controlled variables in data-dependency (msg.sender, ...)	6 years ago
Josselin	813de76677	Merge branch 'dev' of github.com:trailofbits/slither into dev-data-dependency	6 years ago
Josselin	4a2b38096c	Minor	6 years ago
Josselin	9d17199986	Improve Data dependency (based on SSA) ... Add testcase of data depdency	6 years ago
Josselin	0097edd990	SSA: fix incorrect last values computation	6 years ago
Feist Josselin	c9d18ab4c8	Merge pull request #117 from trailofbits/dev-reentrancy ... Refactor reentrancy detector into three variants	6 years ago
Josselin	74de7523e6	Merge branch 'dev' of github.com:trailofbits/slither into dev	6 years ago
Josselin	a2dfa3c0ce	Merge branch 'dev' into dev-reentrancy	6 years ago
Feist Josselin	fb1d907850	Merge pull request #87 from trailofbits/dev-ssa ... Add SSA to SlithIR: - Add Phi operators - Use LocalIRVariable and StateIRVariable to add an index - Follow Cooper, Harvey, Kennedy to compute minimal SSA - Add additional Phi operators at functions entrance and after external calls to handle state variable Add Alias Analysis to track storage reference - Integrate alias analysis info into the SSA engine for precise SSA construction - Limitation: alias analysis is not yet interprocedural (no support for function returning a storage reference) Add dominators information - List of node dominators - Dominator tree - Dominance frontier	6 years ago
Josselin	458986f9d5	Typo	6 years ago
Josselin	6fa7a6df45	Serge branch 'dev-external-function' into dev	6 years ago
David Pokora	665b71ce0a	Loosen bounds on external-functions detector	6 years ago
David Pokora	bb057c1435	Fixed an issue in external-functions detector that iterated on a contract instead of its function properties.	6 years ago
Josselin	9c2a8c1da3	Merge branch 'dev' into dev-ssa	6 years ago
Josselin	f967d9ebf4	Merge branch 'master' of github.com:trailofbits/slither	6 years ago
Josselin	7813fdf81d	Add support for return(0,) style	6 years ago
Josselin	d7ebe32361	Loop parsing: expression -> condition, rather than expression -> begin loop	6 years ago
Josselin	bdca73056c	Improve subdenomination support	6 years ago
Josselin	0dc548a8b7	Improve the error message if the codebase contains a dupplicate contract names	6 years ago
Josselin	809b36355b	Add support for implicit Literal conversion from uint256 -> int256 on signature lookup (close #120)	6 years ago
Josselin	33a8cf4224	Add support for subdenomination	6 years ago
Feist Josselin	438dd33518	Merge pull request #122 from trailofbits/dev-external-function ... Fix external-function detector to avoid false-positives	6 years ago
Josselin	af646da29e	Update travis tests	6 years ago
Josselin	2acd6d0289	Merge branch 'master' into dev	6 years ago
David Pokora	510aa29b99	Rewrote external-function detector to handle false-positives as a result of inheritance.	6 years ago
Josselin	a704635de3	API: ... - Add contract.derived_contracts	6 years ago
Josselin	57a0918f24	API changes: ... - Remove contract.get_functions_overridden_by - Add function.functions_shadowed	6 years ago
Josselin	b549a3ed53	Add new APIs to core.contract: ... - functions_inherited - functions_not_inherited - modifiers_inherited - modifiers_not_inherited - functions_and_modifiers_inherited - functions_and_modifiers_not_inherited - functions_entry_points - get_functions_overridden_by	6 years ago
Josselin	ede269cc14	Minor	6 years ago
Josselin	abc85f0607	Merge branch 'dev' into dev-ssa	6 years ago
Josselin	85eb233a2b	Improve parsing of var-like declaration	6 years ago
Josselin	c2a541b92d	Merge branch 'dev' into dev-ssa	6 years ago
Josselin	8d9e77c5a5	Fix collision on length/balance conversion ... Fix lack of return value for push operator	6 years ago
Josselin	32ed2dfefd	Fix incorrect handling of nested return values	6 years ago
Josselin	873b23fd43	Merge branch 'dev' into dev-ssa	6 years ago
Josselin	2f17fea1a5	Factor _unroll for slithIR call operator	6 years ago
Josselin	6f5cc2201a	Merge branch 'dev' into dev-ssa	6 years ago
Josselin	fb8693cfc7	Fix incorrect nested while break recovery	6 years ago
Josselin	9d1400b504	Merge branch 'dev' into dev-ssa	6 years ago
Josselin	8452b32190	Add CFG Printer	6 years ago
Josselin	0b40c354d8	change LocalIRVariable.points_to to refers_to + minor modif	6 years ago
Josselin	73a668945d	Merge branch 'dev' into dev-ssa	6 years ago
Josselin	7956f7f6ae	Improve reentrancy bening	6 years ago
Josselin	51f3798626	Split reentrancy detector into three variants: ... - reentrancy-eth: theft of ether, read before write - reentrancy-no-eth: no theft of ether, read before write - reentrancy-benign: no theft of ether, no read before write	6 years ago
Josselin	8828093f1a	Update travis testcase	6 years ago