3 Commits (5f7e38869a3c2beb5aebe315d5ecd07a8db43258)

Author	SHA1	Message	Date
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	2ac0abf518	Improve slither-find-paths + add travis unit tests	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