3008 Commits (2109b5fad980b98315348bf4f47c01e2077e5b2b)

 

All Branches   

Search

Author	SHA1	Message	Date
alpharush	0d04e17f8c	remove pragmas and make syntax compatible	2 years ago
alpharush	a17a938a90	use standard test convention, match on sig instead of name	2 years ago
Feist Josselin	78397b94dd	Merge pull request #1356 from crytic/dev-rec-structure-function-id ... Use full_name for solidity signature in case of internal function	2 years ago
Josselin Feist	6dc5856be7	Use a best effort approach for internal function function-id	2 years ago
Josselin Feist	085b60913a	Use full_name for solidity signature in case of internal function ... Hotfix to support recursive type	2 years ago
Josselin Feist	81f0e70423	Make results deterministic	2 years ago
Josselin Feist	be82a1fe16	Multiple improvements	2 years ago
Josselin Feist	b6c95e6db9	Minor	2 years ago
Josselin Feist	a000d337bf	Black & pylint	2 years ago
Josselin Feist	d2a93f0225	Update the cross function reentrancy heuristic to work on variable read, and public state variables	2 years ago
Josselin Feist	303ed83736	Merge branch 'dev' into dev-improve-reentrancy	2 years ago
Feist Josselin	243c6da594	Merge pull request #1347 from crytic/0xalpharush-patch-1 ... implement hash for constants	2 years ago
Feist Josselin	d8e526e53f	Merge pull request #1344 from plotchy/dev_fp_uuc ... add _disableInitializers() detection	2 years ago
Josselin Feist	93a1610a0c	Fix CI	2 years ago
Josselin Feist	520a9ba569	Merge branch 'dev' into 0xalpharush-patch-1	2 years ago
Feist Josselin	10413a3df3	Merge pull request #1349 from crytic/dev-fix-customer-error-contract-arg ... match on solidity sig and full name for custom errors	2 years ago
Josselin Feist	08994a3971	Filter reentrancies detector based on the nonReentrant modifier ... - reentrancy-eth/reentrancy-no-eth: do not warn if the function is non reentrant, and there is no other reentrant function that writes to the affected variable - reentrancy-event: do not warm if the function is non reentrant	2 years ago
Josselin Feist	70dff581ed	Add function.all_reachable_from_functions and function.is_reentrant ... Fix type in function.reacheable_from_functions	2 years ago
Josselin Feist	831f9dead3	Improve reentrancy detector: ... - Fix loop detection (fix #1019) - Add python types	2 years ago
alpharush	3e9859cd89	implement full name for custom error and match on it	2 years ago
Feist Josselin	5b718a197b	Merge pull request #1348 from crytic/0xalpharush-patch-2 ... implement eq for literal	2 years ago
alpharush	6819084177	implement eq for literal ... Fixes https://github.com/crytic/slither/issues/1286 IR generated after this PR ``` Contract Setter Function Setter.set(uint256[1],uint256,uint256) (*) Expression: self[key] = value IRs: REF_0(uint256) -> self[key] REF_0 (->self) := value(uint256) Contract SetterTest Function SetterTest.f(uint256,uint256) (*) Expression: params.set(key,value) IRs: LIBRARY_CALL, dest:Setter, function:Setter.set(uint256[1],uint256,uint256), arguments:['params', 'key', 'value'] ```	2 years ago
alpharush	c599972cbf	implement hash for constants ... Fixes https://github.com/trailofbits/slither-private/issues/316	2 years ago
Feist Josselin	a2779257de	Merge pull request #1227 from crytic/dev-modifier-identifier-path ... Improve identifier path support	2 years ago
plotchy	cc9b4630a6	lints fixed	2 years ago
Josselin Feist	a34c87812b	Add tests for solc 0.8.13+	2 years ago
plotchy	8d8eb9d685	Update slither/detectors/statements/unprotected_upgradeable.py ... Co-authored-by: alpharush <0xalpharush@protonmail.com>	2 years ago
Josselin Feist	c6cbcf7166	Merge branch 'dev' into dev-modifier-identifier-path	2 years ago
Feist Josselin	5cf102bf01	Merge pull request #1342 from crytic/dev-print-dom ... Add printer for dominator tree	2 years ago
Feist Josselin	f34302dc14	Merge pull request #1278 from crytic/exit-code ... Exit code	2 years ago
Josselin Feist	eed53dd4b0	minor	2 years ago
Feist Josselin	aacb993203	Merge pull request #1339 from aranyadan/dev ... Fixed Pypi Markdown render	2 years ago
Feist Josselin	eeeb8bfda0	Merge pull request #1335 from elopez/dev-update-dockerfile ... Update Dockerfile and add Actions workflow to build it	2 years ago
plotchy	1bec56f64e	add 0.8.15/0.7.6 tests for disableInitializers	2 years ago
plotchy	ab778b3fa0	add _disableInitializers() detection	2 years ago
Josselin Feist	8c8e54b007	Add printer for dominator tree	2 years ago
Aranya Dan	d1321a4212	Fixed linting error	2 years ago
Feist Josselin	9d6734c6bc	Merge pull request #1188 from crytic/top-level-yul-identifier ... resolve top level var used as yul identifiers	2 years ago
Josselin Feist	dd99ba4236	Merge branch 'dev' into top-level-yul-identifier	2 years ago
Aranya Dan	f7295533d6	Fixed Pypi Markdown render ... Added long_description_content_type value to have Pypi website correctly render Readme.md with markdown	2 years ago
Emilio López	cc8c3b87f0	Enable Docker workflow for `dev` branch	2 years ago
Emilio López	b90531e75d	Dockerfile: clean apt state after installing packages	2 years ago
Emilio López	ddb8ee2769	Add Docker build and push workflow ... This workflow builds the Slither docker image and publishes it on GHCR	2 years ago
Emilio López	9a3b21bb71	Dockerfile: add solc-select	2 years ago
Emilio López	b82a082ac7	Dockerfile: upgrade to jammy, separate building from installation	2 years ago
alpharush	f7e22a75e1	implement detector for erc20 tokens that have function collision with DOMAIN_SEPARATOR	2 years ago
Josselin Feist	475de74d9b	Minor	2 years ago
Josselin Feist	a5b326f37d	Minor	2 years ago
Josselin Feist	0381589cfd	Fix CI	2 years ago
Josselin Feist	c32b3e16b7	Simplify CI ... Remove --ignore-reurn-value flag (it becomes useless with the new exit code strategy)	2 years ago