67 Commits (f3e80902b4d23c4a80ba48db323ff418443c3bc3)

Author	SHA1	Message	Date
Josselin	232dfb1aaf	Add the support for multiple compilation units. This commit includes a ... lot of breaking changes: - SlitherCore is split into SlitherCore and SlitherCompilationUnit, as a result several functions from Slither are not direclty accessible anymore - There is a list of compilation unit in SlitherCore - The detectors are run per compilation unit - however slither filters out results if their ID are the same to avoid dupplicate - The printers are run per SlitherCore. - The non-crytic-compile inputs are removed (json/list of json). This will help us to clean the API in the long run. These were only used in internal tests - slither.get_contract_from_name returns now a list (which can be empty)	4 years ago
Josselin	346b759c9b	Add slither-flat to the CI	4 years ago
Josselin	a3daeebfc8	Fix python types	4 years ago
Josselin	70e609ec28	Fix all pylint issues	4 years ago
Josselin	3f706061e4	Run Black	4 years ago
Josselin	c1c182aac5	Minor improvements. Add example	5 years ago
Abhimanyu121	accb687544	New Printer: Prints Contructor call sequence ... inital commit it just gets instance of constructor of every contract following c3 linearization made proper constructor printer improved code readablity added check when there are no contructors added link to wiki updated argument to "constructor-calls"	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
rajeevgopalakrishna	adfedbf7ce	Adds pragma and function visibility to satisfy solc 0.5.x	6 years ago
Josselin	558b5b9b9e	EVM printer: fix import	6 years ago
rajeevgopalakrishna	aa8cb34f39	- Refactors code into smaller functions ... - Removes duplicate generate_source_to_evm_ins_mapping() in evm printer (reuse from SourceToEVM module) - Adds more comments for readability - Adds expected output for convert_to_evm_ins - Uses get_function_id from slither.utils.function	6 years ago
rajeevgopalakrishna	cb13cb4a89	Adds support for constructor's evm instructions using bytecode_init and srcmap_init.	6 years ago
rajeevgopalakrishna	b9e40b628d	Removes some unused code and adds checks and comments.	6 years ago
rajeevgopalakrishna	8944eab3be	Adds get_evm_instructions() API to script-ify getting evm instructions of Contract, Function or Node.	6 years ago
Josselin	8af18a884e	API change: ... contracts.*not_inherited -> contracts.*_declared Add *_inherited *_declared for events/enums/state_variables/structures Use *_declared in core and detectors (remove *.contract == contract type of check)	6 years ago
Josselin	d37bcb6104	Rename original_contract -> contract_declarer	6 years ago
Josselin	3991f6e494	Breaking change: functions and modifiers are not shared accross contracts, each contract has an own copy of all the functions/modifiers ... Changed: - function/modifier inherits from ChildInheritance, which contains original_contract, pointing to the base contract - function.contract will point to the contract where the instance is stored - function.is_shadowed indicates if a function is shadowed - function.canonical_name returns original_contract+ '.'+ name - contract._functions/_modifiers are indexes by their canonical_name - contract.functions_as_dict is rename available_functions_as_dict and return non-shadowed functions (same for modifiers_as_dict) - For better clarity, all the detectors use now canoncal_name, for variable/function/structure/... rather than contract.name + name - abstract_detector.add_event_to_json/ abstract_detector.add_events_to_json (the json type is still 'function' to simplify the 3-party parsing)	6 years ago
rajeevgopalakrishna	e36e0f8875	Fixed data dependency to propagate return values of functions to call sites.	6 years ago
Josselin	833e390707	Clean call-graph printer (+ export every contract individually) ... Add call_graph.py script that is similar to the call-graph printer, but without the view/pure functions	6 years ago
Josselin	fe8114056d	possible_paths.py: create a tool (instead of a adhoc script)	6 years ago
David Pokora	007ed2a9cc	Added possible_paths.py to example scripts: Provides information about all functions/paths which reach specified target functions.	6 years ago
David Pokora	9edf5ad06d	Added possible_paths.py to example scripts: Provides information about all functions/paths which reach specified target functions.	6 years ago
Josselin	41fc20ae90	Data depenencies printer: add example and improve output	6 years ago
Josselin	ecebd0414d	WIP database	6 years ago
Josselin	3dbe807aad	Improve inheritance graph printed message	6 years ago
David Pokora	03ab0cdeb2	Updated inheritances_graph printer examples.	6 years ago
Josselin	7efc087c74	Improve printer documentation	6 years ago
Josselin	b7f50f852a	Improve data_dependency unit tests (add PropagateThroughArguments)	6 years ago
Josselin	6086e44885	Add data depenency tests to travis	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	9d17199986	Improve Data dependency (based on SSA) ... Add testcase of data depdency	6 years ago
Josselin	37c2ded097	Add visibility to Solidity script examples	6 years ago
Josselin	1fb497a417	WIP: add support for state variables ... - Working within single function - Add phi_calls in case of calls Todo: - Internal calls support - Phi at function entrance	6 years ago
Josselin	7e91d7ae5f	Add dominators information (node dominators, dominator tree, dominance frontier) ... Add SSA to SlithIR (WIP) - LocalVariable are converted to LocalIRVariable, which contains an index - Insert phi operations for local variable	6 years ago
Josselin	5db1510714	Add human printer example	6 years ago
Josselin	a1758a1421	Fix typos in print statement	6 years ago
Rene	3700283c85	small typos in print statement	6 years ago
Evgeniy Filatov	d50b0f01f3	improved support for external calls	6 years ago
Evgeniy Filatov	4a6d8f3495	implemented external call support, refactored code, added image example	6 years ago
Evgeniy Filatov	5bef2bb1b0	started implementation of call graph printer	6 years ago
Praveen Gupta	cbb64a719a	Adds example contracts for inheritance printer	6 years ago
Josselin	f31bdbcdf0	Add script example to print slithIR operations	6 years ago
Josselin	1c5f48affe	Add slithir printer testcase	6 years ago
Josselin	773e39f150	Use slithIR to determine if a function is unprotected ... Add slithIR to modifiers	6 years ago
Josselin	c442ec056e	Add authorization printer example	6 years ago
Josselin	904e453c86	Remove PushArray operation ... Clean convert.py	6 years ago
Josselin	bacd12ec2c	API changes: ... - get_functions_writing_variable -> get_functions_writing_to_variable - get_functions_reading_variable -> get_functions_reading_from_variable	6 years ago
Josselin	a15af96993	Add SlithIR representation (WIP) ... Add taint example API changes: - Better handling of tuple - Add context to slither - Change node str representation - Add ChildNode - Add block.blockhash in SolidityVariable - Add __eq__ , __hash__ in SolidityVariable - Add full_name in solidityVariableComposed - Update of the expression in a VARIABLE Node to have the assignement - Remove ENDIF not never reached	6 years ago
Josselin	13efd858ed	WIP: split ternary expression to multiples expersssion	6 years ago
Josselin	65cb37907c	Update image documentation	6 years ago