2255 Commits (ab708718c3468d29b748c54467c83c14b64331d7)

 

All Branches   

Search

Author	SHA1	Message	Date
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
Feist Josselin	35e3044aed	Merge pull request #432 from crytic/dev-slithir-cfg-to-dot ... Improve slithir to dot functions	5 years ago
Josselin	8a05a3416e	Improve slithir to dot: ... - Create slithir_cfg_to_dot_str, which returns the dot content as a string - Write the file in slithir_cfg_to_dot This replaces #429	5 years ago
Feist Josselin	6420a19c22	Merge pull request #431 from crytic/dev-echidna-printer ... Improvement in echidna printer	5 years ago
Josselin	611db9e8c5	Improvement in echidna printer ... - Do not report structre name as constant - Return () for fallback/receive function	5 years ago
Josselin	fa3ba105be	Add psender ... Improve properties	5 years ago
Josselin	5f12a00e1b	Minor	5 years ago
Josselin	c5b7f1f9d6	slither-prop: ... - Add support of return false/revert call in truffle test - Improve errors reporting	5 years ago
Josselin	c1cdeb9ffb	Add slither-prop tool	5 years ago
Josselin	8ba09c92f7	Improve error handling in case of contract's name dupplicate	5 years ago
Feist Josselin	9da3fdafb4	Merge pull request #426 from crytic/dev-improve-reentrancy ... Refactor reentrancy detectors	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	082df7b161	Refactor reentrancy detectors to use a AbstractState class instead of a dictionary	5 years ago
Feist Josselin	11957ef0ab	Merge pull request #425 from crytic/dev-upgradeable-support ... Improve report on upgradeable proxy codebase	5 years ago
Josselin	6848bca14d	- Add function.all_nodes function ... - Improve is_upgradeable_proxy by using all_nodes - Improve controlled-delegatecall detector by using is_upgradeable_proxy (fix #420)	5 years ago
Feist Josselin	75c3dd572b	Merge pull request #424 from crytic/dev-new-value-syntax ... Add suport for new call syntax: {gas: X, value: Y}	5 years ago
Josselin	93d4611bec	Improve expression text output if {gas:X, value:Y} is used	5 years ago
Josselin	f9b3af814d	Add suport for new call syntax: {gas: X, value: Y} (fix #419)	5 years ago
Feist Josselin	d77ad1c8d2	Merge pull request #423 from crytic/dev-fix-name-reused ... Improve support of codebase with contract's name reused	5 years ago
Feist Josselin	cff92623ef	Merge pull request #418 from crytic/dev-typos-fixed ... Typos fixed in "Divide before multiply" detector description	5 years ago
Feist Josselin	0ac8346281	Merge pull request #422 from crytic/dev-fix-expression-parsing ... Fix incorrect parsing of abi.decode	5 years ago
Josselin	1eb688019b	Improve support of codebase with contract's name reused	5 years ago
Josselin	94d437baae	Fix parsing of abi.decode(.., (type))	5 years ago
Gustavo Grieco	7c4a2d2436	Typos fixed in "Divide before multiply" detector description: "integeer" -> "integer", removed "will"	5 years ago
Josselin	7ac3ff8fe9	0.6.10	5 years ago