864 Commits (f7238c4fdf969d7ca402ae0d9019293fd2663270)

Author	SHA1	Message	Date
alpharush	801a13e600	add regression test for https://github.com/crytic/slither/issues/2325	9 months ago
alpharush	75c1159d73	add test showing two internal call example is caught	9 months ago
alpharush	04ff85fd65	make it interprocedural (only 1 call deep)	9 months ago
alpharush	69d3c257b4	feat: add out-of-order-retryable ticket detector	9 months ago
alpharush	665b630f48	fix: support inheritance resolution when contract name is reused	9 months ago
alpharush	e580b2ff28	pylint	9 months ago
alpharush	3ff3103cfa	fix: support renaming in base inheritance and base constructor calls	9 months ago
Simone	18ec60eb2b	Update tests	9 months ago
Simone	f57c2ca0b3	Detect only assembly blocks	9 months ago
Simone	591c4c0953	Add test	9 months ago
Matt Solomon	e876d61fd5	fix: broken doc links (#2299) ... * fix: broken doc links * style: black	10 months ago
Simone	6620bc926e	Fix using for when used with "this" (#2224)	10 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
Simone	4a33541738	Add support top level events	1 year ago
alpharush	b7ba2c48da	fix is_reentrant for internal vyper functions	1 year ago
dependabot[bot]	a433e3ba66	Bump semver in /tests/e2e/compilation/test_data/test_node_modules ... Bumps [semver](https://github.com/npm/node-semver) from 5.7.1 to 5.7.2. - [Release notes](https://github.com/npm/node-semver/releases) - [Changelog](https://github.com/npm/node-semver/blob/v5.7.2/CHANGELOG.md) - [Commits](https://github.com/npm/node-semver/compare/v5.7.1...v5.7.2) --- updated-dependencies: - dependency-name: semver dependency-type: indirect ... Signed-off-by: dependabot[bot] <support@github.com>	1 year ago
dependabot[bot]	e94c582542	Bump @openzeppelin/contracts ... Bumps [@openzeppelin/contracts](https://github.com/OpenZeppelin/openzeppelin-contracts) from 4.4.0 to 4.9.3. - [Release notes](https://github.com/OpenZeppelin/openzeppelin-contracts/releases) - [Changelog](https://github.com/OpenZeppelin/openzeppelin-contracts/blob/v4.9.3/CHANGELOG.md) - [Commits](https://github.com/OpenZeppelin/openzeppelin-contracts/compare/v4.4.0...v4.9.3) --- updated-dependencies: - dependency-name: "@openzeppelin/contracts" dependency-type: direct:production ... Signed-off-by: dependabot[bot] <support@github.com>	1 year ago
Feist Josselin	7f5535fc24	Run black on the test file	1 year ago
Feist Josselin	2a7e514a5d	Fix snapshot	1 year ago
Feist Josselin	4a8385813f	fix CI	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
Judy Wu	e11580f188	fix: resolve state variable access in inherited internal functions from derived contracts, closes #1654	1 year ago
Judy Wu	8feb4943d9	Update test to assert expected parameter names	1 year ago
Judy Wu	1cdb2022cb	address issue #2127 and allow function parameter name to be empty when casting to string	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
alpharush	cd000a4eea	add tests	1 year ago
Kevin Clancy	cc9e65fe13	fix: reorder named arguments to match declaration order (#1949) ... Store names list in call operations and expressions. Reorder named arguments to match declaration order. A function call with explicitly named parameters, of the form f({argName1: arg1, ...}), may list the parameters in an order different from that of the function's declaration. In this case, the IR should reorder the arguments to match the function declaration order before generating IR. This PR implements named argument reordering for the following forms of function calls: - struct constructors (most important) - static internal calls For the following forms of function calls, the order of the declaration arguments is not directly available during IR generation, so the PR did not implement reordering for them: - external calls (HighLevelCall) - library calls - event calls The get_declared_param_names function returns None for these unimplemented call forms.	1 year ago
Simone	f50a126f2c	Improve custom error parsing with constants (#2115) ... * Improve custom error parsing with constants	1 year ago
alpharush	3147396cbf	fix(convert): do not convert array type to elementary for `InitArray` (#2018) ... fix(convert): do not convert array type to elementary for `InitArray`	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
Simone	ddd9d6561f	Add IR test	1 year ago
Simone	8b07fe59d5	improve name resolution of type aliases (#2061) ... * BREAKING CHANGE: Renamed user_defined_types to type_aliases so it's less confusing with what we call UserDefinedType. * Added type aliased at the Contract level so now at the file scope there are only top level aliasing and fully qualified contract aliasing like C.myAlias. * Fix #1809	1 year ago
alpharush	53c97f9f48	fix: preserve None tuple components in the left and right liftings of ternary expressions (#2120) ... * preserve None tuple components in the left and right liftings of ternary expressions * added a test for ternary lifting over tuples --------- Co-authored-by: Kevin Clancy <kevin.clancy@certik.com>	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
Simone	1c4730dd11	Improve import aliasing	1 year ago
alpharush	404914cdfa	link issues for TODO comments, lint	1 year ago
alpharush	e8fa8b85fa	more cleanup	1 year ago
alpharush	239369c853	propagate return type on call to state variable with interface type	1 year ago
alpharush	e80238d8e9	add struct defs to file scope	1 year ago
alpharush	c21798021c	fix some lint warnings	1 year ago
alpharush	9df54e9c3a	update tests	1 year ago
alpharush	9c4bc505d3	handle break/continue	1 year ago
alpharush	16140f29c8	cleanup and formatting	1 year ago
alpharush	4845a3bd26	fix and refactor comparison operator, add support for raise	1 year ago