758 Commits (49a31173ee0e08fbdf740fd571d1344ed87e61d8)

Author	SHA1	Message	Date
Josselin	07d06f1f49	Open source write-after-write detector	4 years ago
Josselin	54251b096e	Open source dead-code detector	4 years ago
Josselin	29c586e361	Add ast tests	4 years ago
Josselin	571a849757	Add scope information in slithIR CFG ... The main usage in the short term is to allow unchecked block In the long term it will allow better handling of variables usage	4 years ago
Josselin	367a1dea61	Fix ast tests ... Precompiled all the ast tests to speed up CI	4 years ago
Josselin	768c9d05e5	Add support for .slot and .offset in yul parsing	4 years ago
Josselin	3d4d26d600	Improve AST parsing tests + add 0.8	4 years ago
Josselin	a988d9c89e	Update tests	4 years ago
Josselin	9e8e175496	Update tests	4 years ago
Josselin	8e4d93e9ff	Commit changes	4 years ago
Josselin	047ca4071d	Fix incorrect type conversion in case of libraries lookup name collision	4 years ago
Josselin	c2f7773aa7	Minor modif to the unchecked-return-transfer ... - Inherits from Unused return (avoid duplicate code) - Rename unchecked-return - Update description/recommendations Additionally removed txt_description from all the UnusedReturn derived class (its not used anymore)	4 years ago
Josselin	6233f313dc	Minor fixes	4 years ago
Alexander Remie	afeb77c444	added DAO contract for reentrancy-eth test	4 years ago
Alexander Remie	c4948d2cea	deduce test file path from solc version and detector name	4 years ago
Alexander Remie	fa22b62634	restructure tests/	4 years ago
Josselin	71e33c608e	Minor fixes	4 years ago
Josselin	232dfb1aaf	Add the support for multiple compilation units. This commit includes a ... lot of breaking changes: - SlitherCore is split into SlitherCore and SlitherCompilationUnit, as a result several functions from Slither are not direclty accessible anymore - There is a list of compilation unit in SlitherCore - The detectors are run per compilation unit - however slither filters out results if their ID are the same to avoid dupplicate - The printers are run per SlitherCore. - The non-crytic-compile inputs are removed (json/list of json). This will help us to clean the API in the long run. These were only used in internal tests - slither.get_contract_from_name returns now a list (which can be empty)	4 years ago
Alexander Remie	c1aca4c956	add unused-return-transfers detector + exclude transfer/transferFrom from unused-return detector	4 years ago
Josselin	526a156d0a	Update to pylint `2.8.2` black `20.8b1`.	4 years ago
Josselin	196dd342fb	Revert to docker version of solc select for the parsing tests (see ... https://github.com/crytic/solc-select/issues/41)	4 years ago
Josselin	ba7babc15c	Fix test_ast_parsing	4 years ago
Josselin	e63ca6c3df	Fix Echidna printer bug ... Add Echidna printer to the AST parser unit tests Fix missing __hash__ in SolidityImportPlaceHolder	4 years ago
Maximilian Krueger	eb4363a172	add more tests for Function.can_send_eth	4 years ago
Maximilian Krueger	b5978e83b3	stricter assertions that expose that Function.can_send_eth() sometimes returns None instead of bool	4 years ago
Maximilian Krueger	8269561f56	test_function.py: finish for most of the codomain of properties and getters under test	4 years ago
Maximilian Krueger	7f87546dd9	fix pylint `No such file or directory: 'tests/__init__.py'`	4 years ago
Maximilian Krueger	56cc042031	tests/test_function.py: pass pylint	4 years ago
Maximilian Krueger	9ed760c04a	black	4 years ago
Maximilian Krueger	61f71293b0	more tests for slither.core.declarations.Function	4 years ago
Maximilian Krueger	78fb96c8a5	test_function.py: fix docstring	4 years ago
Maximilian Krueger	9f1a07e36c	introduce tests for slither.core.declarations.Function	4 years ago
Natalie Chin	128b0cf5c1	Added tests for benign reentrancy	4 years ago
Josselin	e0fae81573	Fix incorrect confidence on assert state change detector	4 years ago
Josselin	789c356646	Open source new detectors	4 years ago
Natalie Chin	b8cb7c6dad	Added tests for reentrancy read before written	4 years ago
Josselin	4e3de94f91	Minor	4 years ago
Josselin	08ac1df8ff	Open source 19 detectors	4 years ago
Joshua Richardson	33621c5992	Fix linter complaint	4 years ago
Josselin	6faa08c56a	Improve ignore finding feature ... Add --show-ignored-findings flag (both ignore findings from comment and triaged db)	4 years ago
Josselin	72738bc679	Fix logic on 0.8 tests	4 years ago
Josselin	d778ed6a02	Improve find_variable ... Fix dupplicate parsers Minor code improvements Prevent the CI to run on solc 0.8	4 years ago
Josselin	330325a3b9	Adding partial support for top level function	4 years ago
Josselin	0a7738d225	Change the way slither handles top level enum/struct ... - Split declaration.Enum/Structure to EnumContract/EnumToplevel (same for structure) - Update the parsing accordingly	4 years ago
Josselin	ac109d42f7	Open source unprotected upgrade	4 years ago
Natalie Chin	fb1b439491	Fixed black	4 years ago
Natalie Chin	82fd8606ea	Added test and json artifact for boolean-constant-misuse	4 years ago
Josselin	84c30e8213	Improve support for legacy ast	4 years ago
Natalie Chin	91cb3db445	Fixed linter formatting for test_detectors	4 years ago
Natalie Chin	6c2427a9f1	Renamed test file and added json artifact	4 years ago