491 Commits (74122a6bd68cdef07b178deb6b7624b51cfcb517)

Author	SHA1	Message	Date
Josselin	29e5aed70e	solc-version detector: ... - Recommand 0.5.11 instead of 0.5.3 - Classify 0.5.14 as a buggy version	5 years ago
Josselin	2dc71bcf75	Finding ID generation: prevent collision on pragma	5 years ago
Josselin	2b73073205	slither-flat: add --remove-assert flag (#366)	5 years ago
Josselin	14ec175f81	Add missing test files	5 years ago
Vlad Silviu Farcas	5cce160c4a	Fix tests	5 years ago
Vlad Silviu Farcas	6fdfeb85b1	Fix tests	5 years ago
Vlad Silviu Farcas	3fbd78e3a7	Fix tests	5 years ago
Vlad Silviu Farcas	2440b95fe8	Fix tests	5 years ago
Josselin	1bb72898f6	Reentrancies detectors: ... - Clean Reentrancy based class - Add ReentrancyEvent to detect reentrancies leading to out of order Events - Add ReentrancyNoGas to detect reentrancies based on send/transfer Fix #236	5 years ago
Josselin	7ae58b6964	RTLO detector: show relative path to allow same ID on different machines	5 years ago
Josselin	be3bd84630	Add id to Output	5 years ago
Josselin	b7b85f5d0a	Update travis	5 years ago
Josselin	b872f70738	Create slither-check-kspec tool	5 years ago
Josselin	ff59854e8a	slither erc check: ... - Rename tool to slither-check-erc - Use json_utils for output - Simple test case	5 years ago
Josselin	e364ba208e	API break: generate_json_result takes a list as input, instead of a str ... The list can contains str, or any elements that can be converted to a str with source mapping Ex: Variable, Contract, Event, Function, .. generate_json_result will automatically add the elements to the json. As a result, detectors only need to add the elements to the info list, and do not need to add the element to the json. AbstractDetectors has a STANDARD_JSON parameter, if set to False, generate_json_result will not add the elements to the json	5 years ago
Josselin	3273e0003f	upgradeability: Use json_utils	5 years ago
Josselin	cb2c6073ec	Upgradeability checks: ... - add missing file - Test constant conformance - Test variable initilization - Minor change in output	5 years ago
Josselin	ae31524d07	Refactor slither-upgradeability-check: ... - Only the logic contract is needed, proxy becomes optional - Change flag name - Clean main to ease the add of new checks - Clean variable ordering logic; merge the two function into one generic (fix #274) - Refactor json output and add source mapping (fix #347). The json output needs to be tested - Add check for constant conformance (fix #188) - Overall output improvements	5 years ago
Josselin	7756c0e5e0	Minor	5 years ago
Josselin	f81ff8f196	Check upgradeability: fix typo in unit test	5 years ago
Josselin	2832d62ba4	Improve external function detector: merge together shadowed function	5 years ago
Josselin	a9dea21ca8	Update travis tests	5 years ago
Josselin	ab309ec81e	Parsing/IR: late conversion of the subdenomination value to improve too many digit detector (fix #297)	5 years ago
Josselin	9d93e7bd9f	Add support for ternary operator in modifier/constructor calls ... Add NOP IR to represent void constructor Add void-constructor detector	5 years ago
Josselin	595e8b9828	Fix travis	5 years ago
Josselin	ce44853177	Minor fixes ... Fix travis	5 years ago
Josselin	dd1330609b	Update travis tests	6 years ago
Josselin	b96a857f8d	External function: Update to Optimization type	6 years ago
Josselin	c7afbcb487	Rtlo: print the line containing the rtlo + fix travis	6 years ago
Josselin	db2b22d757	Fix travis	6 years ago
Josselin	b2c7237cce	external function detector: ... - Improve function_parameters_written - update travis tests	6 years ago
Eric Rafaloff	37d1fa0729	Add 'optimization' as a new detector category ... Apply to the following detectors: - constable-states - external-function	6 years ago
rajeevgopalakrishna	0e078d0d5d	Fixes false alert in naming-convention detector on empty string parameter name.	6 years ago
rajeevgopalakrishna	9f49a95325	Adds check for function parameter write to prevent reporting public -> external visibility change.	6 years ago
David Pokora	c1fc109e77	Added test for source mapping. Fixed total source length calculation	6 years ago
Josselin	a97903836c	Fix incorrect source mapping on if/while/for condition (close #245)	6 years ago
Josselin	6ec7814afb	Improve solc-version detector (fix 189)	6 years ago
Josselin	6e2194bea4	Json modifications: ... - results: -> results/detectors: - Add type_specific_fields dictionary to hold all the type specific items (parent/signature/...)	6 years ago
ggrieco-tob	089cb4a9e7	fixed test	6 years ago
Josselin	62f5c6756c	Update travis tests	6 years ago
Josselin	9149bfc5bf	Rename add_other_to_json to add_pragma_to_json ... Add contract/function field element to variable/enum/structure/... Update travis test	6 years ago
Josselin	0bec4a800f	Update travis	6 years ago
Josselin	88f08349ec	Minor	6 years ago
Josselin	5303b644ba	Minor	6 years ago
Josselin	9ba8bb8434	Add two new detectors: ... - unchecked send - unchecked low level Add Internal/InternalDyanmicCall to unused return value detector Close 224	6 years ago
Josselin	2c63abe9a8	Update expected json	6 years ago
David Pokora	148d3e51ed	-Updated erc20-indexed to use event json function instead of function. ... -Split incorrect-equality + unused-state findings into separate results	6 years ago
ggrieco-tob	ee37919ca7	fixed test	6 years ago
ggrieco-tob	c41bddd393	added basic tests for slither-simil	6 years ago
Josselin	1d4d681e2c	Add missing files	6 years ago