61 Commits (925102b4ff0feea13b301e669fc08e0781e5b51c)

Author	SHA1	Message	Date
Simone	f57c2ca0b3	Detect only assembly blocks	9 months ago
alpharush	4454b3e34a	fix: detect selfdestruct in internal calls (#2232) ... * fix: detect selfdestruct in internal calls * update snapshot	10 months ago
Simone	a793c3f1b9	Don't report if msg.value is in a conditional expression	1 year ago
Feist Josselin	538539ba9e	Add return-bomb detector	1 year ago
Feist Josselin	4d1d32b63f	Add tautological-compare	1 year ago
Feist Josselin	f7ab4a734f	Add incorrect-exp detector	1 year ago
Feist Josselin	700794971b	Release 2 new detectors	1 year ago
Judy Wu	f07d506b4a	Check s_ and i_ naming convention for private and internal only	1 year ago
Judy Wu	733012d15c	issue #2083: add exceptions for i_ and s_ in the naming-conventions detector	1 year ago
Simone	8d5c033fbe	Improve mapping-deletion detector for nested mappings (#2084) ... * Fix for nested mappings * Add test	1 year ago
Emilio López	9da51fff3b	detectors: cache_array_length: include source mapping in finding (#2076) ... * detectors: cache_array_length: include source mapping in finding The detector was manually string-interpolating the code and line information, which left the finding without source mapping metadata and broke filtering. Include the node directly on the finding info so that the metadata is preserved. --------- Co-authored-by: alpharush <0xalpharush@protonmail.com>	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
Simone	ace672e27d	Rename tests to run to ALL_TESTS	1 year ago
bossjoker1	e1febdd74e	Check the respective parameter's storage location for each argument	1 year ago
alpharush	1b5e2e9327	update detector tests to reflect event fmt	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>	1 year ago
Feist Josselin	649e8d5e94	Minor python improvements	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	f48189951b	Detector for array length caching added	2 years ago
bart1e	32d4bba9ef	Tests updated	2 years ago
bart1e	4f67630990	Detector for incorrect using-for at the top level added	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	6d28c51022	lint	2 years ago
alpharush	f8794a3958	update CONTRIBUTING.md to explain compiling and adding snapshot tests	2 years ago
alpharush	0f5fcce65d	remove deepdiff and no longer used artifacts	2 years ago
alpharush	05f50867dc	use pytest-insta to do snapshot testing for detectors	2 years ago
alpharush	cf9df6efe4	more linting	2 years ago
alpharush	16f8f33cab	fmt	2 years ago
alpharush	718f3d2a7d	add __init__ files to collect coverage	2 years ago
alpharush	6a0fb7ca80	remove duplicate pytest command, set skip_existing=True	2 years ago
alpharush	38c13da151	replace absolute path in zip artifact with generic path	2 years ago
alpharush	39a7fc2294	try recompiling	2 years ago
alpharush	453c0850c5	remove posix	2 years ago
alpharush	61f0890650	switch back to str from as_posix()	2 years ago
alpharush	23ec8b2390	do not install solc, fix file replace	2 years ago
alpharush	b54574ed08	fix import path	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