235 Commits (6d685711dd1d6b14605df2e801e579e2647f5c9a)

Author	SHA1	Message	Date
Josselin	ff0d820da6	solc-version: ... - Add check on exact compiler version sued - Improve truffle test	4 years ago
Emilio López	3f2527f227	linting: Solve shell linting errors	4 years ago
Josselin	2b5f3099dd	Update tests	5 years ago
Josselin	b625e9211b	Create MyPrettyTable: wrapper around PrettyTable to allow json seralization	5 years ago
Josselin	2c429e6d23	Add slither-prop 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	9a489030f0	Update Dapp test	5 years ago
Josselin	7bab71aff2	Fix dapp regression tests	5 years ago
Josselin	18e971ef64	Fix CI (close #402)	5 years ago
Feist Josselin	7f654dd66f	Update travis_test_truffle.sh	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
Paul Kehrer	e0c30655da	no more travisci	5 years ago
Josselin	146cc446b3	Update etherscan test	5 years ago
Paul Kehrer	65bcacab1c	fix dapp	5 years ago
Vlad Silviu Farcas	2440b95fe8	Fix tests	5 years ago
Josselin	1d067def92	Fix FPs in reentrancy-events	5 years ago
Josselin	51e7a149f6	ReentrancyEvent: improve output	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	b574ad753e	EVM printer: fix bug + improve travis test	5 years ago
Josselin	4074bd36d2	Improve travis test	5 years ago
Josselin	7ae58b6964	RTLO detector: show relative path to allow same ID on different machines	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	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	5c793c75ba	Use node 10.17.0 for embark and etherlime	5 years ago
Josselin	28b7bb35ef	Update dapp test	5 years ago
Josselin	30e8e88a3c	Use cache to speed up dapp travis test ... Similar to https://github.com/crytic/crytic-compile/pull/42	5 years ago
Josselin	256fb1ec0b	Update etherscan test	5 years ago
Josselin	a9dea21ca8	Update travis tests	5 years ago
Josselin	17e8f1b7b0	Remove custom crytic-compile install in travis_install.sh	5 years ago
Josselin	ab96c09d08	Minor	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	3fff0bf5b2	Upadte etherscan travis test	5 years ago
Josselin	ce44853177	Minor fixes ... Fix travis	5 years ago
Josselin	dd1330609b	Update travis tests	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	0a28154bf3	Update etherscan test	6 years ago
Josselin	b2c7237cce	external function detector: ... - Improve function_parameters_written - update travis tests	6 years ago
Josselin	a97903836c	Fix incorrect source mapping on if/while/for condition (close #245)	6 years ago
Josselin	9d27edc5d2	Update etherscan test	6 years ago
Josselin	6ec7814afb	Improve solc-version detector (fix 189)	6 years ago
ggrieco-tob	089cb4a9e7	fixed test	6 years ago
Josselin	8d75f32977	Update etherscan and dapp 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	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