1502 Commits (9ffb40e7e19411f77c370ece3e922cd5f27f2ec0)

 

All Branches   

Search

Author	SHA1	Message	Date
Josselin	9ffb40e7e1	Minor	5 years ago
Josselin	051e41220e	Merge branch 'dev' of github.com:crytic/slither into dev	5 years ago
Feist Josselin	1d0930a09a	Merge pull request #375 from crytic/dev-reentrancies ... Improvements on reentrancies detectors	5 years ago
Josselin	911da6930a	Merge branch 'dev' of github.com:crytic/slither into dev	5 years ago
Josselin	bbec1d3b99	Add crytic message	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
Feist Josselin	4cf5a09c3e	Merge pull request #374 from crytic/dev-pop ... Add pop conversion	5 years ago
Josselin	00faa0cbad	Merge branch 'dev'	5 years ago
Feist Josselin	89a629eda2	Merge pull request #373 from crytic/dev-slither-flat-cycle ... slither-flat: stop early the exploration if the contract was seen	5 years ago
Josselin	a15d153879	Add pop conversion (fix #359)	5 years ago
Josselin	70cc2a357f	slither-flat: stop early the exploration if the contract was seen (fix #342)	5 years ago
Feist Josselin	a2d793674d	Merge pull request #371 from enderphan94/patch-1 ... Updated pip3 for Macos	5 years ago
Feist Josselin	6ee1428fdb	Update README.md ... Add a reference to the crytic research prize	5 years ago
Josselin	0ef908e4f5	Fix missing return cariage in printers	5 years ago
Ender Loc Phan	7c246f00fe	Updated pip3 for Macos ... Install by pip does not work in Macos	5 years ago
Feist Josselin	c5421efc40	Merge pull request #368 from crytic/dev-readme ... Refactor README:	5 years ago
Josselin	28d9981726	Merge branch 'dev'	5 years ago
Feist Josselin	83790cd059	Merge pull request #370 from crytic/dev-uninitialized-state-delegatecall ... Uninitialized state variable detector: remove FP due to delegatecall proxy	5 years ago
Josselin	6983474290	Uninitialized state variable detector: remove FP due to delegatecall proxy	5 years ago
Feist Josselin	a86ed8ec5d	Merge pull request #369 from crytic/dev-contract-summary-upgradeability ... Improvements on the contract summary	5 years ago
Josselin	459ff2ed3c	Improvements on the contract summary ... Contract summary: Show upgreadble information (fix #358) and if the contract is a most derived one Contract: add is_upgradeable/is_upgradeable_proxy properties Parsing: add inline assembly source code to the node	5 years ago
Feist Josselin	fd5256b6f9	Merge pull request #281 from crytic/dev-evm-printer-and-api ... Slither printer and API for getting evm instructions for contract source	5 years ago
Josselin	b574ad753e	EVM printer: fix bug + improve travis test	5 years ago
Josselin	4074bd36d2	Improve travis test	5 years ago
Josselin	3d5bad9fb1	Minor changes in EVM analysis and printer	5 years ago
Josselin	1029b5233f	Merge branch 'dev' into dev-evm-printer-and-api	5 years ago
Feist Josselin	10376a4027	Update README.md	5 years ago
Josselin	f7fa51f875	Refactor README: ... - Shorten the list of detectors - Add reference to Crytic - Shorten and order printers - Add tools description - Add Slither academic paper	5 years ago
Josselin	7cb6cf4870	Merge branch 'master' of github.com:crytic/slither	5 years ago
Feist Josselin	29cd6dca60	Merge pull request #367 from crytic/dev-id ... Add unique ID per finding	5 years ago
Josselin	7ae58b6964	RTLO detector: show relative path to allow same ID on different machines	5 years ago
Josselin	38077ce077	Filter known results using their ID	5 years ago
Josselin	be3bd84630	Add id to Output	5 years ago
Josselin	9f62d18238	Merge branch 'dev-formatters' into dev	5 years ago
Josselin	f10b4afc95	Minor	5 years ago
Feist Josselin	a347e545b5	Merge pull request #362 from crytic/dev-formatters ... Make generate_json_result generating the JSON elements automatically	5 years ago
Josselin	f70e89bf12	Create utils.output.Output class to handle json output ... Remove add*_json function	5 years ago
Josselin	d77fcfe6b6	Merge branch 'dev' into dev-formatters	5 years ago
Feist Josselin	bcc2b3a1a9	Merge pull request #364 from crytic/dev-kspec ... slither-check-kspec	5 years ago
Josselin	b7b85f5d0a	Update travis	5 years ago
Josselin	6e35805137	kspec: minor improvements	5 years ago
Josselin	ecc4f198bf	Merge branch 'dev' into dev-formatters	5 years ago
Feist Josselin	b6f8231064	Merge pull request #244 from yxliang01/docker-improvement ... feat: docker improvement	5 years ago
Josselin	b872f70738	Create slither-check-kspec tool	5 years ago
Josselin	32022bd728	Add slither.state_variables	5 years ago
Feist Josselin	1faa5c27e6	Merge pull request #354 from crytic/dev-upgradeability ... Refactor of slither-upgradeability-check	5 years ago
Feist Josselin	ab67693d87	Merge pull request #350 from crytic/dev-erc-conformance ... Add slither-slither-check-erc to check for ERCs conformance	5 years ago
Josselin	6aecebcd8e	Add missing __init__.py	5 years ago
Josselin	f18d0724be	Upgradeability: improve constant conformance checks in case of new variables in the new contract	5 years ago