56 Commits (f4f686e8d3f0625193b30741f15a4d88a78257d3)

Author	SHA1	Message	Date
Josselin Feist	f4f686e8d3	Minor	2 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
Emilio López	114983c17d	Windows CI for Slither (#1137) ... * workflows: parser: use solc-select from pip The hardcoded, manually-installed version is out of date. This updates the workflow to install directly from pip now that it is available there. * workflows: parser: Run tests also on Windows * workflows: parser: bump solc-select to >=v1.0.0b1 This version introduces Windows support. * workflows: parser: FIXME: install patched crytic-compile * workflows: features: enable Windows runs This enables runs on windows-2022 and updates solc-select to support running on Windows. * workflows: features: FIXME: install patched crytic-compile * workflows: detectors: enable Windows runs This enables runs on windows-2022 and updates solc-select to support running on Windows. * workflows: detectors, features, parser: disable fail-fast Disable fail-fast so failures in one platform do not hide failures in the other OS. * tests: detectors: adjust GENERIC_PATH replacement for Windows Backslashes are escaped in the string representation, so we need to double them before replacing. Also change generic path to a constant string to avoid it being converted to "\GENERIC_PATH" in Windows and getting an invalid escape error from the JSON decoder later on. * tests: use lf endings for test code If autocrlf is enabled on Windows, it will rewrite solc code with CRLF file endings and break tests that depend on byte offsets in the code files. * workflows: detectors: FIXME: install patched crytic-compile * workflows: ci: enable Windows runs This enables runs on windows-2022 and updates solc-select to support running on Windows. Some tests with Linux requirements are excluded. * workflows: ci: FIXME: install patched crytic-compile * workflows: *: update actions/setup-python to v3 v1 does not install Python correctly on Windows. While at it, update all instances to v3. * workflows: ci: add msys2 tools to path * workflows: ci: disable broken Windows workflows * workflows: apply linter fixes * workflows: ci: enable dapp test * tests: dapp: fix test * core: normalize paths on POSIX style * workflows: ci: enable printers tests on Windows	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	963ecc9bd9	Add test for RTLO infinite loop	3 years ago
Brad Swain	783e527ce0	use solc_select python api	3 years ago
Brad Swain	ebab210806	remove redundant line	3 years ago
Brad Swain	7ff981e602	auto install solc versions in detector tests	3 years ago
Josselin	abf6ff61a2	Update to pylint 2.12.2	3 years ago
Josselin	7d0fcdb167	Minor	3 years ago
Josselin	38af237460	Run black	3 years ago
Josselin	54c78edd65	Add support for immutable variable ... Fix https://github.com/crytic/slither/issues/927	3 years ago
s1m0	63b553fcba	Add detector delegatecall in loop	3 years ago
s1m0	c86a0ed4d5	Add detector msg.value in loop	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	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
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	789c356646	Open source new detectors	4 years ago
Natalie Chin	b8cb7c6dad	Added tests for reentrancy read before written	4 years ago
Josselin	4e3de94f91	Minor	4 years ago
Josselin	08ac1df8ff	Open source 19 detectors	4 years ago
Joshua Richardson	33621c5992	Fix linter complaint	4 years ago
Josselin	6faa08c56a	Improve ignore finding feature ... Add --show-ignored-findings flag (both ignore findings from comment and triaged db)	4 years ago
Josselin	ac109d42f7	Open source unprotected upgrade	4 years ago
Natalie Chin	fb1b439491	Fixed black	4 years ago
Natalie Chin	82fd8606ea	Added test and json artifact for boolean-constant-misuse	4 years ago
Natalie Chin	91cb3db445	Fixed linter formatting for test_detectors	4 years ago
Natalie Chin	6c2427a9f1	Renamed test file and added json artifact	4 years ago
Natalie Chin	ab5f242505	Added boolean equality tests	4 years ago
Josselin	0152f00888	Improve testing instructions	4 years ago
Josselin	b5ba8c25f2	black	4 years ago
Josselin	9ccfe83388	Fix minor and improve support for multiple source mapping	4 years ago
Josselin	243e162c93	Fix ci	4 years ago