1317 Commits (08c7d352447ff2ac02d47b3f577e8c08fe2e493f)

 

All Branches   

Search

Author	SHA1	Message	Date
David Pokora	945cbc64d7	Updated solc-version detector test contract and fixed an issue where a [x,x) or (x,x] bound would allow x.	6 years ago
David Pokora	c57f2cecc1	Removed test data and cleaned up solc-version detector refactor.	6 years ago
David Pokora	14cf0bf67f	Added filtering of pragmas to only focus on version (TODO: Skip files which were not compiled).	6 years ago
David Pokora	a24116134f	Adds support for OR statements in semver (prior iterations treated all seperation as AND).	6 years ago
David Pokora	ef9768216f	Fixed caret operations in semver expressions to pass version tests	6 years ago
David Pokora	817c6174b9	Continued work on semver expression parsing for oldsolc detector	6 years ago
Josselin	eae46813ab	Improve reentrancy heuristic	6 years ago
David Pokora	335c2b3cbf	Initial work on old-solc detector updates	6 years ago
Josselin	4340b86bb4	Improve reentrancy heuristic	6 years ago
Josselin	ff280c2b6f	SSA: dont propage read_write info for nodes on PhiCallback instruction	6 years ago
Josselin	fc4ac0c988	Improve constable-states result (remove FP)	6 years ago
Josselin	b469b05d84	Improve all_functions_called	6 years ago
Josselin	60ab8eb105	Track alias analysis on Binary operation	6 years ago
Josselin	a938c3af14	Update markdown output	6 years ago
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