1779 Commits (5cea11612ebc580051924e11c80cb053d34f31b0)

 

All Branches   

Search

Author	SHA1	Message	Date
Josselin	b625e9211b	Create MyPrettyTable: wrapper around PrettyTable to allow json seralization	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	663c450e41	Convert all constant to str to prevent issue on Echidna	5 years ago
Feist Josselin	9453b8be43	Merge pull request #455 from crytic/dev-echidna-printer-fix-var ... Echidna printer: add support for state variable calls	5 years ago
Josselin	78a2305124	Echidna printer: add support for state variable calls ... Fix #452	5 years ago
Josselin	d95a57f157	Use Decimal instead of float (fix #450)	5 years ago
Josselin	b4249cdc68	Use crytic-compile@master	5 years ago
Josselin	5a42ca41f8	Clean zip type	5 years ago
Feist Josselin	57be59ac87	Merge pull request #453 from crytic/dev-zip ... Add Zip export	5 years ago
Josselin	51c8080ebe	Add zip export	5 years ago
Feist Josselin	f946fa1562	Merge pull request #451 from crytic/dev-human-summary ... Human summary printer: run detectors only once	5 years ago
Josselin	e3a9adfeba	Add detectors results in json output of the human summary	5 years ago
Josselin	4990f9ff1b	Human summary printer: run detectors only once	5 years ago
Josselin	67d173da27	0.6.11	5 years ago
Josselin	2c429e6d23	Add slither-prop test	5 years ago
Josselin	c2b8b53dc5	Timestamp detector: make result order deterministic	5 years ago
Feist Josselin	453e7a1459	Merge pull request #449 from crytic/dev-true-false-branch ... Node API: add true/false branchs for if statement	5 years ago
Feist Josselin	6278957e17	Merge pull request #447 from crytic/dev-now ... Improvements in block.timestamp detector	5 years ago
Feist Josselin	dcbf59fa2f	Merge pull request #446 from crytic/dev-flat-private ... slither-flat: add --convert-private flag	5 years ago
Feist Josselin	a3f38859c5	Merge pull request #448 from crytic/dev-upgreadability-field ... Upgradeabily: use 'check' instead of 'detector' in the json	5 years ago
Josselin	3538d47e15	Node API: add true/false branche for if statement (close #433) ... Show true/false arrows in cfg export	5 years ago
Josselin	a34fc1a261	Upgradeabily: use 'check' instead of 'detector' in the json	5 years ago
Josselin	8eb6d5c00f	block.timestamp detector: ... - Add support for "now" (close #430) - Clean detector and use type annotation	5 years ago
Josselin	105fef7414	slither-flat: add --convert-private flag (close #394)	5 years ago
Feist Josselin	ce2199ae26	Merge pull request #437 from crytic/dev-echidna-printer-improvements ... Echidna printer: improve constant function detection	5 years ago
Feist Josselin	8f74407268	Merge pull request #445 from crytic/dev-fix-sig-contract ... Fix incorrect signature generation in case of contract	5 years ago
Josselin	8e9ff550ed	Update regression tests	5 years ago
Josselin	fcee2ad577	Fix find path test	5 years ago
Josselin	3097b9a79f	Fix incorrect signature generation in case of contract (close #440)	5 years ago
Feist Josselin	6622113129	Update README.md	5 years ago
Feist Josselin	9623a2781f	Merge pull request #428 from crytic/dev-slither-prop ... Add slither-prop tool: Automatic generation of unit-tests and Echidna properties	5 years ago
Josselin	c1c182aac5	Minor improvements. Add example	5 years ago
Feist Josselin	aee840fc6f	Merge pull request #438 from crytic/dev-human-summary-asm ... Add assembly information to the human summary printer	5 years ago
Josselin	60add0d775	Human summary printer: minor	5 years ago
Feist Josselin	87a3b5a3c7	Merge pull request #441 from crytic/dev-reentrancy-0.6 ... Improve reentrancy detector for Solidity >=0.6	5 years ago
Feist Josselin	ff8066e607	Merge pull request #442 from crytic/dev-empty-catch ... Fix parsing of empty catch statement	5 years ago
Josselin	6f9c21b15b	Fix incorrect parsing in case of empty catch statement	5 years ago
Josselin	ce9494e70e	Improve reentrancy on solidity 0.6	5 years ago
Josselin	fc6b593373	Echidna printer: add use_balance info + remove dupplicate results	5 years ago
Josselin	faed844f2e	Echidna printer: add have_external_calls, and call_a_parameter info	5 years ago
Feist Josselin	92916c4712	Merge pull request #439 from crytic/dev-ternary ... Add support for ternary on unary operator	5 years ago
Josselin	746e47ad71	Add support for ternary on unary operator	5 years ago
Josselin	aba525f402	Echidna printer: use get_name everywhere	5 years ago
Michael Colburn	c4165c9b86	Add assembly information to the human summary printer	5 years ago
Josselin	a2d503c172	Echidna printer: ... - Add constructors info - Add impacts/is_impacted_by info	5 years ago
Josselin	822c080b8d	Echidna printer: ... - Add types to constant - Convert the type in case of explicit type conversion (ex: address(0x41))	5 years ago
Josselin	f14fa39a4c	Do not report unimplemented function as constant ... Remove dupplicate constant values	5 years ago
Josselin	7d09e8bcb6	Filter payable function ... Fix incorrect compiler version access	5 years ago
Josselin	b91bb4a902	Echidna printer: improve support in case of storage parameter	5 years ago
Josselin	f63483dce7	Echidna printer: improve constant detection	5 years ago