68 Commits (192888c806ce5d5dc64fc10f94d75a2813a3b367)

Author	SHA1	Message	Date
Josselin	192888c806	Use crytic-compile 0.1.11	4 years ago
Josselin	1b21401a36	Use crytic-compile@master	4 years ago
Josselin	740a11dd0c	0.6.14	4 years ago
Josselin	281233db22	Use crytic-compile 0.1.10	4 years ago
Feist Josselin	0f3f4b80ed	Use crytic-compile@master (#645)	4 years ago
Josselin	71b8b29d9c	Use crytic-compile@master	4 years ago
Josselin	0a117b04d5	0.6.13	4 years ago
Feist Josselin	b6ca87c6cf	Use crytic-compile#master (#628)	4 years ago
Feist Josselin	71d1cd36a1	[WIP] Add slither-mutate (#544) ... Add slither-mutate PoC. Based on https://arxiv.org/abs/2006.11597	4 years ago
Josselin	3f706061e4	Run Black	4 years ago
Josselin	2fe3109ed6	0.6.12	5 years ago
Josselin	e24624f758	Use crytic-compile 0.1.8	5 years ago
Josselin	b4249cdc68	Use crytic-compile@master	5 years ago
Josselin	67d173da27	0.6.11	5 years ago
Josselin	c1cdeb9ffb	Add slither-prop tool	5 years ago
Josselin	7ac3ff8fe9	0.6.10	5 years ago
Josselin	18e971ef64	Fix CI (close #402)	5 years ago
Josselin	1b15a401c9	0.6.9	5 years ago
Josselin	eaeaae965b	Update to crytic-compile 0.1.6	5 years ago
Josselin	7fa8272b6e	Add upper and lower bound detection for solc allowed versions.	5 years ago
Josselin	7832ac7a6c	Update to crytic-compile b0a1b268e230320dea78c79ee7dd34cced37c0b0	5 years ago
Josselin	3e1f0d0a2f	0.6.8	5 years ago
Josselin	85ea17807d	Update README ... Update to crytic-compile 0.1.5	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	ee3738cd51	Add slither-erc util. Check for most common ERC conformance	5 years ago
Josselin	60eb2f1c93	0.6.7	5 years ago
Josselin	3151cd0b99	Update crytic-compile dep to 0.1.4	5 years ago
Feist Josselin	2d82c6f0ea	Update setup.py	5 years ago
Josselin	805b341d53	Use crytic-compile#master	5 years ago
Josselin	1450d602bf	Minor	5 years ago
Josselin	b0a83b7ad4	Add slither-flat (WIP) ... Features: - contract flattening - export all most derived contracts, or a specific one - --convert-external: change external to public (fix: https://github.com/crytic/crytic-compile/issues/32) Missing: - etherscan API - tests Fix #253. Replace #315	5 years ago
Josselin	b43d4c9222	v0.6.6	5 years ago
Josselin	c417c04bf0	v0.6.5	5 years ago
Josselin	48879668e1	Move .utils to slither.tools to allow use in external tools	5 years ago
Josselin	e5175e79a4	Use dependency_links in setup.py	5 years ago
Josselin	8bac6f5d87	Use the master branch from crytic-compile	5 years ago
Josselin	eaf1c99ffe	Slither-format: ... - Fix setup.py - Use relative path to allow cli usage	6 years ago
rajeevgopalakrishna	f4b679a0f7	Adds slither-format to setup.py.	6 years ago
Josselin	7cadf980b8	v0.6.4	6 years ago
Josselin	29fb9371cd	Update to crytic-compile 0.1.1	6 years ago
Josselin	dd8dabeb02	v0.6.3	6 years ago
Josselin	0f7b75cea9	Use crytic-compile from pypi	6 years ago
Josselin	e013338f81	Use crytic-compile from pip	6 years ago
ggrieco-tob	43fa9c73df	first version of slither-simil	6 years ago
Josselin	8b20ba5ab1	0.6.2	6 years ago
Josselin	f3d5f0d0e8	Rename slither-check-upgradability -> slither-check-upgradeability ... Improve slither-check-upgradeability output	6 years ago
Josselin	bffa59f6c5	Rename slither-check-upgradability -> slither-check-upgradeability ... Improve slither-check-upgradeability output	6 years ago
Josselin	0891f9a8a5	v0.6.1	6 years ago
Josselin	fe8114056d	possible_paths.py: create a tool (instead of a adhoc script)	6 years ago