456 Commits (7261715b0c78ddd426125cda290c28cb3de8cffe)

Author	SHA1	Message	Date
samczsun	be8e916ca7	add some more generated files	4 years ago
samczsun	fabe573cb0	clean up pytest	4 years ago
Josselin	b8405082e9	Use pytest for ast parsing tests (WIP)	4 years ago
samczsun	2af66130f6	parser testing	4 years ago
Josselin	690d487166	Update test	4 years ago
Evan Sultanik	fd085c3e6c	More typo fixes	4 years ago
Josselin	0caada35dc	solc-version: minor	4 years ago
Josselin	ff0d820da6	solc-version: ... - Add check on exact compiler version sued - Improve truffle test	4 years ago
Josselin	799fe16c21	Update solc-version recommended versions (fix #570)	4 years ago
Josselin	cd592e2923	Copy editing on all public detectors	4 years ago
Emilio López	e9f4283323	linting: Solve Markdown linting errors	4 years ago
Josselin	2b5f3099dd	Update tests	5 years ago
Josselin	2b4a67da9a	Fix bug introduced in #445: The change in the function signature makes the parsing failed, as solc generated in the json type using the contract's name ... - Revert function.signature to return the name of the contract - Add function.solidity_signature that return the name with the contract converted. solidity_signature is used in the echidna and the function-ids printer	5 years ago
Josselin	8e9ff550ed	Update regression tests	5 years ago
Josselin	fcee2ad577	Fix find path test	5 years ago
Josselin	6c7ce89db2	Refactor reentrancy to show where are the calls/write to variables in internal calls (fix #412)	5 years ago
Josselin	7e54ed42f3	Fix finding id	5 years ago
Josselin	752ad77985	Fix spelling mistake (Fix 398)	5 years ago
Josselin	1d87059712	Large refactor of slither-check-upgradeability: ... - Use an abstract class, similar pattern than slither's detectors - Every issue is documented (description/exploit scenario/recommendation)	5 years ago
Josselin	48e22a89f3	Add missing test	5 years ago
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