1731 Commits (7dbb1d496416a72de9d12965f652871afbe102ad)

 

All Branches   

Search

Author	SHA1	Message	Date
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
Josselin	8ac7039304	Fix incorrect import in upgradeability check	5 years ago
Feist Josselin	0c52bd585f	Merge pull request #417 from crytic/dev-constructor-printer ... Improve constructor printer output	5 years ago
Josselin	ed8d16db6d	Improve constructor printer output	5 years ago
Josselin	ad63e24928	Update README	5 years ago
Josselin	72d17c6808	Merge branch 'dev' of github.com:crytic/slither into dev	5 years ago
Josselin	9dc9f4c77f	Run data dependency in all existing functions (including not reacheable)	5 years ago
Feist Josselin	11e85ccd4e	Merge pull request #416 from crytic/dev-fix-constructor ... Fix constructor call if no constructor exist	5 years ago
Josselin	ce878aff8b	Merge branch 'dev' into dev-fix-constructor	5 years ago
Feist Josselin	9a9b26b4b4	Merge pull request #415 from crytic/dev-0.6 ... Improve support for 0.6	5 years ago
Josselin	43335d52f5	Fix incorrect constructor called	5 years ago
Josselin	73ece898ea	Add support for try/catch statements	5 years ago
Josselin	97bd577c3f	Add support for receive() method	5 years ago
Feist Josselin	ac368bba9c	Merge pull request #413 from crytic/dev-name-reused ... Improve support for codebase with names' reuse	5 years ago
Josselin	79c7acf9f6	Merge branch 'dev' into dev-name-reused	5 years ago
Feist Josselin	5bb88f90f9	Merge pull request #414 from crytic/dev-spelling-mistake-unini ... Fix spelling mistake	5 years ago
Josselin	9a489030f0	Update Dapp test	5 years ago
Josselin	2024878004	Name reuse: improve output and add documentation	5 years ago
Josselin	7e54ed42f3	Fix finding id	5 years ago
Josselin	752ad77985	Fix spelling mistake (Fix 398)	5 years ago
Josselin	1b6f50ce29	Breaking change in the way Slither handled codebase with name reused ... - Add NameReused detector to report the name's reuse - Slither will analyze the codebase that contains the issue, with partial context. As a result, the analyze might not be correct	5 years ago
Feist Josselin	d76bec9850	Merge pull request #412 from crytic/dev-delete-lvalue ... Improve Delete operator in case of ReferenceVariable	5 years ago
Josselin	526170d5b4	Delete IR: use points_to for lvalue if the deleted element is a mapping/array	5 years ago
Feist Josselin	ca05d8821d	Merge pull request #410 from crytic/dev-upgradeability-abstract ... Large refactor of slither-check-upgradeability	5 years ago
Josselin	440e03eb1d	Merge branch 'dev' into dev-upgradeability-abstract	5 years ago