994 Commits (6c613dde8cd8132aff83630209737533d97b9371)

 

All Branches   

Search

Author	SHA1	Message	Date
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
Josselin	df1f475a22	Improve reentrancy	6 years ago
Josselin	c8952db2ed	Fix incorrect ternary conversion on Return node (close #115)	6 years ago
Josselin	b31fdc44d2	Merge branch 'master' into dev	6 years ago
Josselin	214229d9d6	LockedEther: Add NewContract to the list of msg.value checks (close #114)	6 years ago
Josselin	b7eeb6037e	Merge branch 'master' into dev	6 years ago
Josselin	6124a46044	LockedEther: Add NewContract to the list of msg.value checks (close #114)	6 years ago
Matt Rice	8fbcf2bd66	Minor error message grammar correction (#113)	6 years ago
Josselin	84824812ea	Small bugfixes	6 years ago
Josselin	b543b3ba75	Minor	6 years ago