41 Commits (542ec891a180c808bd26d54d509500083324cf51)

Author	SHA1	Message	Date
Josselin	9dc9f4c77f	Run data dependency in all existing functions (including not reacheable)	5 years ago
Josselin	75c3a6ad52	Improve data dependencies API: ... - Fix incorrect return type in get_dependencies - Add get_dependencies_ssa, get_all_dependencies, get_all_dependencies_ssa - Use python type of all the mentioned functions	5 years ago
Josselin	c52500e146	Fix get_dependencies: Incorrect usage of is_protected (fix #399)	5 years ago
Josselin	b574ad753e	EVM printer: fix bug + improve travis test	5 years ago
Josselin	3d5bad9fb1	Minor changes in EVM analysis and printer	5 years ago
rajeevgopalakrishna	3ffe4d3615	- Fixes formatting bug ... - Replaces sys.exit with SlitherError - Replaces prints with self.info - Moves slither.evm to slither.analyses.evm - Replaces class SourceToEVM static methods with functions - Makes KEY_EVM_INS into a constant - Adds wiki entry for evm printer	6 years ago
Josselin	5fd3821a0e	Minor	6 years ago
rajeevgopalakrishna	5bf963b35d	Moved the capturing of return values (with memoization) to core/declarations/function.py from analyses/data_dependency/data_dependency.py. Fixed the bug where multiple returns within a function would be missed.	6 years ago
rajeevgopalakrishna	897930f2c1	Fixed data dependency to propagate return values to call sites	6 years ago
rajeevgopalakrishna	e36e0f8875	Fixed data dependency to propagate return values of functions to call sites.	6 years ago
rajeevgopalakrishna	5b4287221a	Made inclusion of GENERIC_TAINT sources (msg.*, tx.origin) optional in taintedness checking by adding ignore_generic_taint parameter to is_tainted() and is_tainted_ssa() functions, with the default value being FALSE.	6 years ago
Josselin	d6594f2f87	Add support of Type for SSA (abi.decode() takes a type as argument)	6 years ago
Josselin	821d385f33	Improve SSA code readability + add support for tuple ssa conversion	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	5f0cae387f	Improve code readability of major modules: ... - Group methods together - Use region/endregion format Remove unused import	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	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	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
Josselin	cacf3cf483	Improve state variable SSA conversion ... WIP of data dependency based on SSA	6 years ago
Josselin	dabffe3630	API taint changes: ... - Change taint.state_variables -> all_variables (track also slithIR variables) - Remove taint.calls (include in all_variables)	6 years ago
Josselin	c40776121a	Improve specific taint	6 years ago
Josselin	d95147851d	Add node ref to Temporary/Reference ... Remove filter to slithir var in specific taint	6 years ago
Josselin	5c87654c97	SlithIR: add Balance and Lenght Operator ... Improve HighLevelCall -> LibraryCall conversion Call.read -> unroll parameters if nested arrays	6 years ago
Josselin	0d4e993155	Improve fix point computation for specific taint	6 years ago
Josselin	fd7ba8167f	SlithIR: fix bugs	6 years ago
Josselin	5faacb0205	Constructor declared as protected function ... Taint msg.sender for arbitrary send detector	6 years ago
Josselin	b2efb3582b	Use of taint in msg.value to reduce arbitrary send FP	6 years ago
Josselin	5c792cc954	Factor taint code ... SlithIR: Fix incorrect remove of instruction	6 years ago
Josselin	c4b55e128c	Clean import architecture	6 years ago
Josselin	37e32e1c6d	Clean code	6 years ago
Josselin	381d97b868	Open source ArbitrarySend detector (WIP)	6 years ago
Josselin	9eb9114fa1	Improve taint ... Add this.balance to solidity variable	6 years ago
Josselin	f7a0337c24	Fix bugs (incorrect if then else parsing, incorrect - operator)	6 years ago
Josselin	accb786037	Fix incorrect CFG recovery of 'else if' ... Add are variable written analysis (WIP) Fix small bugs	6 years ago
Josselin	e426f1bc93	Add specific_taint module ... Add Return/Condition operation Fix small bugs Change Substraction -> Subtraction	6 years ago
Josselin	dda057728d	Add taint as slither module ... Add is_unprotected to core.function	6 years ago