25 Commits (4d687c504dc977b3b4f7c22cde197d6470d0e15e)

Author	SHA1	Message	Date
rajeevgopalakrishna	4d687c504d	Updates format_naming_convention to use filename_absolute and other JSON output field updates. Removed the use of event.full_name to simply use name instead (so PR #236 not required). naming-convention tests pass (except the index variable test which is expected to fail); run_all_tests passes except that one. Testing requires checking out slither core/parsing changes from dev-slither-changes-for-slither-format-new.	6 years ago
rajeevgopalakrishna	ced9498f56	Updates format_external_function to use filename_absolute. test_external_function passes.	6 years ago
rajeevgopalakrishna	82495e608a	Updates format_pragma to use filename_absolute and, directive name instead of the earlier expression name. test_pragma passes. Removes patch_file check for now. Need to change verbose output to JSON format and include patch_file then.	6 years ago
rajeevgopalakrishna	8a4f8235bb	Updates format_solc_version to use filename_absolute and, directive name instead of the earlier expression name. test_solc_version passes. Removes patch_file check for now. Need to change verbose output to JSON format and include patch_file then.	6 years ago
rajeevgopalakrishna	f0e8077ad1	Updates format_constable_states to use filename_absolute. test_constable_states passes.	6 years ago
rajeevgopalakrishna	d271973965	Updates format_unused_state to use filename_absolute and apply only to variable types. test_unused_state_vars passes.	6 years ago
rajeevgopalakrishna	c25649eda0	Updates format_constant_function to use filename_absolute. test_constant_function passes.	6 years ago
rajeevgopalakrishna	106928f911	All changes specific to slither-format tool, excluding the dependencies on slither parsing/core and detectors. Single commit because of checking out utils/slither_format from dev-slither-format into this branch.	6 years ago
Josselin	843802ff66	Use crytic-compile options in tools	6 years ago
Josselin	f3d5f0d0e8	Rename slither-check-upgradability -> slither-check-upgradeability ... Improve slither-check-upgradeability output	6 years ago
Josselin	bffa59f6c5	Rename slither-check-upgradability -> slither-check-upgradeability ... Improve slither-check-upgradeability output	6 years ago
Josselin	ee1b4c251d	Refactor Slither entry point: a Slither object will now detect by itself ... if the directory is a truffle or embark one. The advantage is to simplify: - external scripts and utils (ex: possible-paths/check-upgradability support embark natively) - __main__.pyn Changes: - Remove is_truffle/is_embark flag - Move truffle compile to Sliter._init_from_truffle - Refactor help, there are two new option groups: truffle and embark - Rename --ignore-truffle-compile to truffle-ignore-compile	6 years ago
Josselin	ea24e614be	Improve slither-check-upgradability + add travis unit tests	6 years ago
Josselin	cdda518e12	slither-check-upgradability: add check initialization module (close #182)	6 years ago
Josselin	f17d1dd9a7	Improve slither-check-upgradability	6 years ago
Josselin	fba467e480	Add missing files	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
Josselin	a269413022	Improve slither-check-upgradability to support Truffle directory	6 years ago
Josselin	e6e23173c7	Add missing __init__.py file	6 years ago
Josselin	9baf839da5	slither-check-upgradability: ... - Add unit test - Improve output - Add --solc cli option	6 years ago
Josselin	d7f5d4218f	Improve upgradable cli	6 years ago
Josselin	3c792a51f0	Create a cli command for upgradability: slither-check-upgradability ... Improve code	6 years ago
Josselin	318f2fe036	Add print to show the state variables ordering ... Add utility to compare the state variables order given two version of a contract	6 years ago
Josselin	917967399a	Add function id printer ... Add function collission detection utility New dependency: pysha3	6 years ago