75 Commits (633e4adf5abceb682b8bffa62dcd1ba07c192d29)

Author	SHA1	Message	Date
Josselin Feist	633e4adf5a	regenerate tests	2 years ago
Feist Josselin	0056406b5a	Fix broken tests introduced with #1239 (#1302) ... * Fix broken tests introduced with #1239 * Disable etherlime from the CI	2 years ago
Kyle Baker	6971f3005d	replace-initialize (#1239)	2 years ago
alpharush	d5d95feee3	do not warn of digit count if checksummed address (#1193)	3 years ago
alpharush	2c463abdb0	feat: add arbitrary-send-erc20 and arbitrary-send-erc20-permit detectors (#1025) ... Add arbitrary-send-erc20 and arbitrary-send-erc20-permit detectors	3 years ago
Bo	380f41937c	fix typo in output (#1141) ... * fix typo in constant_pragma's output	3 years ago
Feist Josselin	d41861e6cf	Add support for enhanced analyses through code comments (#1089) ... * Add support for enhanced analyses through code comments - Parse /// ... on variable declaration - Disable reentrancy for variables marked as 'sec:non-reentrant' - Create a new detector looking for wrong access control ('@custom:security write-protection="some_func")	3 years ago
alpharush	4b74b62f85	Remove results if functions have onlyProxy modifier (#1122) ... * unprotected-upgrade: filter results that have onlyProxy modifier	3 years ago
alpharush	bab44b77d2	reentrancy-no-eth: do not count staticcalls as reentrant (#1119) ... * reentrancy-no-eth: do not count staticcalls as reentrant * change can_reenter of low-level-calls to false for staticcall	3 years ago
Boyan MILANOV	c57e272d6c	Ignore private `__gap` variables in shadowing detectors (#1117) ... * Don't consider shadowing of private __gap variables in state and abstract shadowing detectors	3 years ago
Boyan-MILANOV	a5470586ac	Update RTLO detector test	3 years ago
Boyan-MILANOV	963ecc9bd9	Add test for RTLO infinite loop	3 years ago
Josselin	6e58e7e30b	Sort the detectors' results by Id ... This should reduce the friction when updating detectors json results	3 years ago
Jaime	5ae6a06ed1	fix issue-887, FP reentrancy in constructor	3 years ago
Jaime	aa5421fc04	fix issue-1029, FP on unprotected-upgrade detector	3 years ago
Jaime	696fcc265f	fix issue-929, FP in dead-code detector	3 years ago
Josselin	b587d897c7	Update solc version recommendations	3 years ago
Josselin	54c78edd65	Add support for immutable variable ... Fix https://github.com/crytic/slither/issues/927	3 years ago
s1m0	9e6bcfab07	Add tests	3 years ago
s1m0	063da82cdf	Add tests	3 years ago
s1m0	04c43332d8	Fix undetected cases	3 years ago
s1m0	f026361ad5	Multiple improvements	3 years ago
s1m0	67a7d1726f	Multiple improvements	3 years ago
s1m0	63b553fcba	Add detector delegatecall in loop	3 years ago
s1m0	c86a0ed4d5	Add detector msg.value in loop	3 years ago
Josselin	58ae66abc3	Update tests	3 years ago
Josselin	288deec0b9	Refactor source mapping + add new API ... - core.source_mapping.SourceMapping is now a class (fix #695) - Add slither.offset_to_objects to retrieve the object on a given offset (WIP) - Add slither.utils.source_mapping APIs to allow retrieving definition/implementations/references informations from an offset (WIP) Additionally this PR create a strict order for the detectors tests output to ease the comparison in case in small changes in the json output	3 years ago
Michael Colburn	0faf335d29	Add tests for the similar-names detector	4 years ago
Michael Colburn	ee8baf581a	Add tests for the tautology detector	4 years ago
Michael Colburn	7b94b576f1	Add tests for the divide-before-multiply detector	4 years ago
Michael Colburn	327a95246c	Add test for the deprecated-standards detector	4 years ago
Michael Colburn	c620f2871f	Add test for the multiple-constructors detector	4 years ago
Michael Colburn	eb8f774ea5	Add test for the enum-conversion detector	4 years ago
Michael Colburn	f894f7979e	Add tests for the missing-inheritance detector	4 years ago
Michael Colburn	80808c2299	Add tests for the incorrect-shift detector	4 years ago
Josselin	5c94dfd8af	Update abiencoderv2 detector	4 years ago
Josselin	07d06f1f49	Open source write-after-write detector	4 years ago
Josselin	54251b096e	Open source dead-code detector	4 years ago
Josselin	a988d9c89e	Update tests	4 years ago
Josselin	9e8e175496	Update tests	4 years ago
Josselin	c2f7773aa7	Minor modif to the unchecked-return-transfer ... - Inherits from Unused return (avoid duplicate code) - Rename unchecked-return - Update description/recommendations Additionally removed txt_description from all the UnusedReturn derived class (its not used anymore)	4 years ago
Alexander Remie	afeb77c444	added DAO contract for reentrancy-eth test	4 years ago
Alexander Remie	c4948d2cea	deduce test file path from solc version and detector name	4 years ago
Alexander Remie	fa22b62634	restructure tests/	4 years ago
Josselin	232dfb1aaf	Add the support for multiple compilation units. This commit includes a ... lot of breaking changes: - SlitherCore is split into SlitherCore and SlitherCompilationUnit, as a result several functions from Slither are not direclty accessible anymore - There is a list of compilation unit in SlitherCore - The detectors are run per compilation unit - however slither filters out results if their ID are the same to avoid dupplicate - The printers are run per SlitherCore. - The non-crytic-compile inputs are removed (json/list of json). This will help us to clean the API in the long run. These were only used in internal tests - slither.get_contract_from_name returns now a list (which can be empty)	4 years ago
Alexander Remie	c1aca4c956	add unused-return-transfers detector + exclude transfer/transferFrom from unused-return detector	4 years ago
Natalie Chin	128b0cf5c1	Added tests for benign reentrancy	4 years ago
Josselin	e0fae81573	Fix incorrect confidence on assert state change detector	4 years ago
Josselin	789c356646	Open source new detectors	4 years ago
Natalie Chin	b8cb7c6dad	Added tests for reentrancy read before written	4 years ago