203 Commits (508745430bf578471b649bc7db76b52ea1886254)

Author	SHA1	Message	Date
Josselin	a9dea21ca8	Update travis tests	5 years ago
Josselin	17e8f1b7b0	Remove custom crytic-compile install in travis_install.sh	5 years ago
Josselin	ab96c09d08	Minor	5 years ago
Josselin	9d93e7bd9f	Add support for ternary operator in modifier/constructor calls ... Add NOP IR to represent void constructor Add void-constructor detector	5 years ago
Josselin	3fff0bf5b2	Upadte etherscan travis test	5 years ago
Josselin	ce44853177	Minor fixes ... Fix travis	5 years ago
Josselin	dd1330609b	Update travis tests	6 years ago
Josselin	c7afbcb487	Rtlo: print the line containing the rtlo + fix travis	6 years ago
Josselin	db2b22d757	Fix travis	6 years ago
Josselin	0a28154bf3	Update etherscan test	6 years ago
Josselin	b2c7237cce	external function detector: ... - Improve function_parameters_written - update travis tests	6 years ago
Josselin	a97903836c	Fix incorrect source mapping on if/while/for condition (close #245)	6 years ago
Josselin	9d27edc5d2	Update etherscan test	6 years ago
Josselin	6ec7814afb	Improve solc-version detector (fix 189)	6 years ago
ggrieco-tob	089cb4a9e7	fixed test	6 years ago
Josselin	8d75f32977	Update etherscan and dapp tests	6 years ago
Josselin	9149bfc5bf	Rename add_other_to_json to add_pragma_to_json ... Add contract/function field element to variable/enum/structure/... Update travis test	6 years ago
Josselin	88f08349ec	Minor	6 years ago
Josselin	5303b644ba	Minor	6 years ago
Josselin	9ba8bb8434	Add two new detectors: ... - unchecked send - unchecked low level Add Internal/InternalDyanmicCall to unused return value detector Close 224	6 years ago
ggrieco-tob	2664045e6f	added installation of requisites	6 years ago
ggrieco-tob	b00b375520	added installation of requisites	6 years ago
ggrieco-tob	c41bddd393	added basic tests for slither-simil	6 years ago
Josselin	0beb48146a	Update travis install	6 years ago
Josselin	5e1eb42311	ERC20/721 detector: move is_possible_* function to contract.has_an_erc*_function ... Add contract.is_erc721	6 years ago
Josselin	d1dbef483d	Improve too many digits detector. Fix travis test	6 years ago
Josselin	b6af826a83	Improve travis tests: ... - export json with indent=2 - export .txt file with direct slither output content	6 years ago
Gilles de Bordeaux	7e56501a39	Added a test for “too-many-digits” detector	6 years ago
Josselin	654c2c98b7	- add contract.get_function_from_canonical_name (same for modifier ... - slithir convert: fix incorrect internal call conversion (use canonical name) - slithir internalcall: use tuple(func_nale, contract_name) to init unknown internal call - Update upgradability-check with new API	6 years ago
Josselin	638edb2a1c	Improve travis_test_cli.sh	6 years ago
Josselin	97b4f5cc7c	Add 3 new type of tests for travis: ... - tests_cli: tests some of the cli flags - test_pritners: call all the printers - test_slither_config: test the --config flag Additionally: - "all" can be selected for printers (all the printers are then run) - 'ignore_return_value' can be set in the config file	6 years ago
Josselin	a58da24e86	Update travis test	6 years ago
Josselin	08762a0275	Improve travis test	6 years ago
Josselin	0f7b75cea9	Use crytic-compile from pypi	6 years ago
Josselin	e013338f81	Use crytic-compile from pip	6 years ago
Josselin	d6ce9b9681	Add regression test for dapp/etherlime/etherscan	6 years ago
Josselin	f7d68c05f6	Fix travis	6 years ago
Josselin	ac82e1fc0c	Update to crytic-compile d90d8372d2826fb310ff83e87e4fa9ea0d553ae3	6 years ago
Josselin	88a6ced3af	rtlo detector: minor modifs	6 years ago
Shahar Zini	349e9f7f20	Add right-to-left-override character (U+202E) detection	6 years ago
Josselin	531adabf18	WIP: use crytic-compile	6 years ago
Josselin	36707efe91	Fix travis (close #197)	6 years ago
Josselin	2eae18d26f	Improve integration tests	6 years ago
Josselin	e9d05c6d60	Add integration tests for embark/truffle	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	ea24e614be	Improve slither-check-upgradability + add travis unit tests	6 years ago
Josselin	2ac0abf518	Improve slither-find-paths + add travis unit tests	6 years ago
Josselin	f53151e695	Open source 3 detectors: ... - erc20-interface - erc20-indexed - deprecated-standards	6 years ago
Josselin	6086e44885	Add data depenency tests to travis	6 years ago