3822 Commits (2626a978764b5792db93589ea5868a19012b341f)

 

All Branches   

Search

Author	SHA1	Message	Date
alpharush	36142aa3fb	do not detect incorrect-shift when rhs is constant	2 years ago
alpharush	2d65116392	reduce false positives for incorrect-equality on struct fields	2 years ago
alpharush	9e36a79beb	Merge branch 'dev' into HEAD	2 years ago
alpharush	6a77485da8	Merge pull request #1887 from crytic/ci-pip-audit ... update pip audit action to pypa and bump version	2 years ago
alpharush	1ebf7d27c7	update pip audit action to pypa and bump version	2 years ago
bart1e	9cc616e4cc	Old tests removed	2 years ago
bart1e	d1804f3d01	Tests updated	2 years ago
bart1e	71fef2c437	'unsupported operand type' error fix	2 years ago
bart1e	f48189951b	Detector for array length caching added	2 years ago
bart1e	32d4bba9ef	Tests updated	2 years ago
bart1e	5a450a07e0	Black run	2 years ago
bart1e	4f67630990	Detector for incorrect using-for at the top level added	2 years ago
devtooligan	bcf570ebb6	feat: loc printer	2 years ago
Will Fey	a4589b0769	ran black to fix check	2 years ago
Will Fey	eaf5cb723d	Catch AssertionError and log context and raise again while parsing ... partial fix of #1853 Opened PR per request in #1854 AssertionError with stack trace can occur while parsing contracts that provides no context to what was parsed that threw the error as described in #1853. This change catches this error, logs additional context, and then throws the error again. An example of the logging from code I am working on: ``` $ slither . ... Compiler run successful ERROR:SlitherSolcParsing: Failed to parse MyERC20Controller.constructor (contracts/MyERC20Controller.sol#19-25): (tokenX,tokenY) = IMyFactoryCallback(msg.sender).tokens() (success,data) = msg.sender.delegatecall(abi.encodeWithSelector(IMyFactoryCallback.newTokens.selector,tokenX,tokenY)) require(bool,string)(success,Factory new tokens failed) _tokens = abi.decode(data,(IMyERC20[6])) Traceback (most recent call last): File "~/slither/slither/__main__.py", line 810, in main_impl ) = process_all(filename, args, detector_classes, printer_classes) File "~/slither/slither/__main__.py", line 101, in process_all ... ``` Logging should make it easier for further issues from users to be easily understood and if necessary included in a bug report.	2 years ago
Simone	e51cee61b3	Add test	2 years ago
Simone	6eb296cdf7	Test catch variables not detected as uninitialized	2 years ago
Simone	50876cf368	Handle when there aren't return variables	2 years ago
Simone	d7b0d612c6	Improve handling of multiple return variables	2 years ago
alpharush	176c85c092	Merge pull request #1868 from crytic/ci/update-super-linter-org ... update super-linter org	2 years ago
alpharush	34f0e671f5	update super-linter org	2 years ago
William Aaron Cheung	c412ca72f6	Merge branch 'dev' into array-type ... # Conflicts: # tests/unit/slithir/test_ssa_generation.py	2 years ago
Feist Josselin	4149f60341	Merge pull request #1848 from DarrenChangJR/dev ... Bug Fix: Contract obj is_fully_implemented	2 years ago
Feist Josselin	6600f75eef	Merge pull request #1850 from Troublor/issue_1846 ... Preserve the order of sons when splitting ternary node	2 years ago
Feist Josselin	3092c4e18d	Merge pull request #1855 from crytic/dev-fix-abidecode ... Fix abi.decode with a UserDefinedType fixed array	2 years ago
Feist Josselin	c7bc14e19f	Merge pull request #1858 from crytic/docs/include-readme ... include readme in home page of docs generated by pdoc	2 years ago
Simone	b26f8da124	Improve try-catch parsing	2 years ago
Simone	5afb9355be	Improve tuple analysis	2 years ago
alpharush	d8f2b9d868	remove newline	2 years ago
alpharush	9d7ebb556d	include readme in home page of docs generated by pdoc	2 years ago
Simone	c08191b1c1	Remove assertion	2 years ago
Simone	0dde4cc1f8	Fix abi.decode with a UserDefinedType fixed array	2 years ago
William Aaron Cheung	1fdb17529b	update ast parsing test artifacts	2 years ago
William Aaron Cheung	0c803a1265	fix broken test	2 years ago
William Aaron Cheung	c8e6c4a6a8	Reorder assertions	2 years ago
William Aaron Cheung	063418da60	Assert array dynamic or static	2 years ago
William Aaron Cheung	73f5ad3c93	Fix pylint issues	2 years ago
William Aaron Cheung	aadee32b95	Fix incorrect array_type in NewArray	2 years ago
William Aaron Cheung	8f9fe80c14	update test to check nested array length	2 years ago
alpharush	7a2fc5cd91	remove new array depth and parse length upfront	2 years ago
William Aaron Cheung	3a4cdbde0a	fix broken test	2 years ago
William Aaron Cheung	c873427d2a	remove redundant code	2 years ago
William Aaron Cheung	3056a9e2d0	fix #1846	2 years ago
William Aaron Cheung	b76eb8cfab	add bug-revealing tests for issue #1846	2 years ago
Simone	718e51160b	Improve handling of top level usages	2 years ago
Simone	637b8e2a9d	Expose the custom error	2 years ago
Simone	d15cc6ad14	Fix custom errors type hint	2 years ago
webthethird	ef2eadc1c4	Update test_upgrades_compare to test cross-contract taint	2 years ago
DarrenChangJR	b60eb9ed57	Run pragma 0.5.0 for the correct (old) contract	2 years ago
DarrenChangJR	e42c746896	Create concrete_old.sol ... For 0.5.0 pragma testing	2 years ago