50 Commits (03b318b55e5ff5b0db5c86b0082c69e5dce0ed40)

Author	SHA1	Message	Date
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
Josselin	e6ed6a43c1	Update documentation	6 years ago
Josselin	4d797bb4b7	API changes: ... - Remove slither.utils.utils - Follow pep8 for module name - Shorter module name Move examples/bugs to tests/ (close #7) Udpdate examples/scripts and integrate them in travis	6 years ago
Josselin	26ab17459c	Improve uninitialized storage detector	6 years ago
Josselin	a0c366a955	Add uninitialized storage var detector	6 years ago
Josselin	e18be0b483	Add re-entrancy detector ... Add Prioritization information to README	6 years ago
Josselin	ef32f484e0	Add code quality detector to check if an old version of solc is used	6 years ago
Josselin	cfe987ef52	Fix import in examples/bug/pragma.0.4.24.sol	6 years ago
Josselin	a97ea53fbd	Parse ImportDirective and PragmaDirective ... Add CODE_QUALITY detector type Add detector to check that the same version of solidity is always used	6 years ago
disconnect3d	c53ae2bd32	Make Python 3 great again	6 years ago
Josselin	95d99884c2	Fix typo in functions_writing.py	6 years ago
Josselin	d6b51cef66	Initial public commit	6 years ago