1694 Commits (72b609be4761179081e70e5659f8c7760e1fee6d)

 

All Branches   

Search

Author	SHA1	Message	Date
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
Josselin	66dc6d2eb9	Merge branch 'dev' into dev-upgradeability	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	b8adf9ad41	Merge branch 'dev' into dev-erc-conformance	5 years ago
Josselin	340cbaa7ce	Merge branch 'dev' of github.com:crytic/slither into dev	5 years ago
Josselin	633c75a849	Merge branch 'yxliang01-patch-1' into dev	5 years ago
Josselin	e551a0b516	Incorrect solc: add 0.5.12/5.0.13	5 years ago
Josselin	d878ff31fb	Merge branch 'dev' into dev-upgradeability	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