140 Commits (42d6e974bff5e6329a92f7b68c8a67c36cf0fd4e)

Author	SHA1	Message	Date
Josselin	62f5c6756c	Update travis 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	0bec4a800f	Update travis	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
Josselin	2c63abe9a8	Update expected json	6 years ago
David Pokora	148d3e51ed	-Updated erc20-indexed to use event json function instead of function. ... -Split incorrect-equality + unused-state findings into separate results	6 years ago
Josselin	1d4d681e2c	Add missing files	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
David Pokora	7238e9b033	-Relaxed erc20-interface detector to report incorrect function signatures even if the function was not declared in that contract immediately ... -Created erc721-interface detector, similar to erc20-interface.	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	8d0297f604	Fix travis path	6 years ago
Josselin	a58da24e86	Update travis test	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	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
agroce	4d0f55733b	change arbirary to arbitrary	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	816cef52da	Minor typo	6 years ago
Josselin	2ac0abf518	Improve slither-find-paths + add travis unit tests	6 years ago
rajeevgopalakrishna	8344c4edf3	Fixed a typo in detector where *callcode* was specified as *codecall*. Added a test to verify the fix.	6 years ago
Josselin	f53151e695	Open source 3 detectors: ... - erc20-interface - erc20-indexed - deprecated-standards	6 years ago
Josselin	3665108cf8	Update travis test to fixed solc version/pragma json ... Update README	6 years ago
David Pokora	2d57be0fff	* Added tooltips for function/variable shadowing ... * Changed detect_function_shadowing to return all c3 shadowing results, not just top-level (as super calls might make these results relevant). * Changed detect_function_shadowing to return the contract_scope as well (the contract where the issue is first detected, needed for indirect shadowing information). * Updates relevant test to test inheritance-graph with complex direct/indirect shadowing schemes.	6 years ago
David Pokora	3112c3b8c5	Updated test for less bloat + better readability in graph.	6 years ago
David Pokora	d1b0c1d5b0	* Changed inheritance-graph to only show variables explicitly defined in the parent contract, instead of inherited. ... * Added highlighting for state variables which overshadow others through inheritance. * Fixed a bug where special formatting for contract-type state variables wouldn't ever be used.	6 years ago
David Pokora	387d5efea5	* Added state variable shadowing detection to inheritance_analysis. ... * Added relevant test for inheritance_graph.	6 years ago
Josselin	9baf839da5	slither-check-upgradability: ... - Add unit test - Improve output - Add --solc cli option	6 years ago
Josselin	bec190e877	Update uninit storage pointer testcase	6 years ago
Josselin	768c84b334	Upgrade travis test + update readme + allow solc 0.4.24	6 years ago
Josselin	a56359d1de	Minor	6 years ago
Josselin	ce1f456daa	SImplify version checking	6 years ago
Josselin	52322ebb37	Open source shadowing local and shadowing builtin detectors	6 years ago
Josselin	1d278f520c	Add missing testcase	6 years ago
Josselin	1532babf38	Open source incorrect-equality detector	6 years ago
David Pokora	945cbc64d7	Updated solc-version detector test contract and fixed an issue where a [x,x) or (x,x] bound would allow x.	6 years ago
Josselin	fc4ac0c988	Improve constable-states result (remove FP)	6 years ago
Josselin	b9d5e17245	Simplify constable detector (+ group all the result in one json)	6 years ago
Josselin	af646da29e	Update travis tests	6 years ago
David Pokora	510aa29b99	Rewrote external-function detector to handle false-positives as a result of inheritance.	6 years ago
Josselin	51f3798626	Split reentrancy detector into three variants: ... - reentrancy-eth: theft of ether, read before write - reentrancy-no-eth: no theft of ether, read before write - reentrancy-benign: no theft of ether, no read before write	6 years ago
Josselin	8828093f1a	Update travis testcase	6 years ago