31 Commits (1eaec647e5fdcd9f77668742c45e1a669038cde3)

Author	SHA1	Message	Date
Simone	8d5c033fbe	Improve mapping-deletion detector for nested mappings (#2084) ... * Fix for nested mappings * Add test	1 year ago
joodiewoodo	ff52901e6d	Allow underscore in variable naming convention for internal state variables (#2110) ... * fix: allow underscore in variable naming convention for internal state variables and update test_detector tests snapshot * change set visibility of _myPublic to public, update test snapshots	1 year ago
alpharush	9ecc66ddf8	fix regression that caused retdata to be flagged	1 year ago
alpharush	5c40c52ba1	fix(cache-array-length): handle when `HighLevelCall` is a `StateVariable`	1 year ago
bossjoker1	e1febdd74e	Check the respective parameter's storage location for each argument	1 year ago
alpharush	8a5aab62c9	reduce false positives on modifying storage array by value detector (#1962) ... Check the respective parameter's storage location for each argument --------- Co-authored-by: bossjoker1 <1397157763@qq.com>	1 year ago
Simone	adabce6180	Detect when ether is sent in Yul (#1909) ... * Detect when ether is sent in Yul * address pylint warning instead of supressing * fix guard clause * remove branch to appease pylint * check that call can send eth prior to reading args --------- Co-authored-by: alpharush <0xalpharush@protonmail.com>	2 years ago
bart1e	0b7257209d	External calls handled + output printing changed	2 years ago
Simone	408c863bbf	Fix crash when variable is initialized	2 years ago
Simone	58e01ea218	Don't report variable in loop header	2 years ago
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
bart1e	d1804f3d01	Tests updated	2 years ago
bart1e	32d4bba9ef	Tests updated	2 years ago
Simone	6eb296cdf7	Test catch variables not detected as uninitialized	2 years ago
Simone	5afb9355be	Improve tuple analysis	2 years ago
alpharush	3cba507cd8	add detector for uses of encode packed that may allow for duplicates encodings	2 years ago
alpharush	0f5fcce65d	remove deepdiff and no longer used artifacts	2 years ago
alpharush	39a7fc2294	try recompiling	2 years ago
alpharush	9a062453b7	use artifacts to speed up detector tests	2 years ago
alpharush	4d1f10e745	correct detector artifacts	2 years ago
alpharush	2ad442b270	move solc parsing and detectors into e2e folder	2 years ago