1885 Commits (8d3f1889ec5d25227ed73f829b6464601a3f90cc)

 

All Branches   

Search

Author	SHA1	Message	Date
samczsun	8d3f1889ec	add option to skip yul parsing	4 years ago
Feist Josselin	0f3f4b80ed	Use crytic-compile@master (#645)	4 years ago
Josselin	4812e33db1	Merge branch 'master' into dev	4 years ago
Sam Sun	a7d414fb74	Fix some ValueErrors (#642) ... * fix some valueerrors	4 years ago
Sam Sun	4c50254ad4	fix magic yul var lookup (#643) ... * fix slot and offset lookup	4 years ago
Sam Sun	edb212d144	fix state var cfg generation (#632)	4 years ago
Sam Sun	df89ea32c1	fix cfg printer filename generation (#633) ... * fix cfg printer filename generation	4 years ago
Feist Josselin	fa5e4d4552	Enable github super linter as a cron job (#636) ... * Enable github super linter as a cron job	4 years ago
Chan-Ho Suh	d51336cead	Fix mixup of ordering and remove extra description (#639)	4 years ago
Sam Sun	11a895efcc	fix if statement handling for solc 0.7.0+ (#630)	4 years ago
Josselin	0a117b04d5	0.6.13	4 years ago
Feist Josselin	b6ca87c6cf	Use crytic-compile#master (#628)	4 years ago
Josselin	60c6f7256f	Merge branch 'master' into dev	4 years ago
Feist Josselin	71d1cd36a1	[WIP] Add slither-mutate (#544) ... Add slither-mutate PoC. Based on https://arxiv.org/abs/2006.11597	4 years ago
Feist Josselin	1e32faa8bb	Update README.md ... Add "Smart Contract Repair" paper	4 years ago
Sam Sun	290a99fff5	Handle yul types better (#617) ... * handle yul types better * Minor Co-authored-by: Josselin <josselin@trailofbits.com>	4 years ago
Feist Josselin	13bbd0199a	Split super linter into three runs (#626) ... * Split super linter into three runs (pylint, black, everything else)	4 years ago
Feist Josselin	e0467619b8	Merge pull request #624 from crytic/dev-fix-function-member ... Improve the support of using_for for libraries functions	4 years ago
Josselin	693b2987a3	Improve the support of using_for for libraries functions (fix #589)	4 years ago
Feist Josselin	3daf109e55	Merge pull request #623 from crytic/dev-fix-this-call ... Fix incorrect conversion for this.call()	4 years ago
Josselin	3e58cfed55	Fix incorrect conversion for this.call()	4 years ago
Feist Josselin	c0b2c12465	Merge pull request #604 from crytic/incorrect-solc-fixes ... Fixes and improvements to the incorrect solc version detector	4 years ago
Josselin	690d487166	Update test	4 years ago
Josselin	c746e59685	Merge branch 'dev' into incorrect-solc-fixes	4 years ago
Feist Josselin	9f64778a85	Merge pull request #621 from crytic/dev-update-contributor ... Add pylint and black commands to CONTRIBUTING.md	4 years ago
Josselin	4e086f84d5	Add pylint and black commands to CONTRIBUTING.md	4 years ago
Feist Josselin	604aee86be	Merge pull request #620 from crytic/dev-add-black-to-ci ... Add black to the CI	4 years ago
Josselin	cfc98baf7a	Run black 20.08b1	4 years ago
Josselin	fed26b69b6	Add black to the CI	4 years ago
Feist Josselin	990f5870a2	Merge pull request #616 from crytic/dev-fix-all-pylint ... Fix all pylint issues	4 years ago
Josselin	03b7c34000	Minor fix ... Add workaround until https://github.com/PyCQA/pylint/pull/3810 is merged	4 years ago
Josselin	1bdafde904	Remove import issue from pylint (see https://github.com/github/super-linter/issues/157)	4 years ago
Josselin	962b7ae10d	Run black ... Fix additional issues Improve linter.yml	4 years ago
Josselin	557d869b17	Fix additional pylint issues ... Disable dockerfile linter, disable flake8	4 years ago
Josselin	70e609ec28	Fix all pylint issues	4 years ago
Feist Josselin	683ebb924d	Try github super linter (#614) ... Add github super-linter to the CI	4 years ago
Feist Josselin	fb5b4e9d51	Merge pull request #612 from crytic/dev-black ... Run black	4 years ago
Josselin	023b332690	Add pyproject.toml	4 years ago
Josselin	3f706061e4	Run Black	4 years ago
Josselin	88954ac6d9	Run black	4 years ago
Feist Josselin	d2655802d9	Merge pull request #610 from crytic/dev-refactor-tests ... Refactor regression tests	4 years ago
Josselin	e77ec257c4	load bashrc in workflow	4 years ago
Josselin	93eb08e1ba	Update solc-select installation	4 years ago
Josselin	351de6bd31	Refactor regression tests: ... - Rename travis_ to ci_ - Move shared code to scripts/ci_tests.sh - Rename _4 /_5 to detectors_4 / detectors_5 - Rename generation scripts - Create solidity 6 / 7 scripts (but there is no test for now) - Use solc-select - Update CONTRIBUTING.md guidelines	4 years ago
Josselin	2452037f8e	Merge branch 'laudiacay-fix-exponent-dos' into dev	4 years ago
Josselin	fbccffc745	Improve exponent handling on large value ... - Use 77 as the expo limit - Use SlithIRError instead of value error	4 years ago
Claudia Richoux	66b98dafea	fixing 587 while im at it	4 years ago
Claudia Richoux	d06c397a5c	fixing it and supporting base of zero	4 years ago
Claudia Richoux	246a4baa0e	fixing exponent dos by adding limits on size of exponent	4 years ago
Feist Josselin	eb9c01cc27	Merge pull request #605 from crytic/typos ... "slither-erc" -> "slither-check-erc"	4 years ago