2862 Commits (463df49c67d438cd6853b80f41bdf8953c237b9a)

 

All Branches   

Search

Author	SHA1	Message	Date
Josselin	a7d8a427ea	Merge branch 'dev' into dev-source-mapping-refactor	3 years ago
Feist Josselin	65383b9a13	Merge pull request #1048 from crytic/issue-887 ... fix issue-887, FP reentrancy in constructor	3 years ago
Feist Josselin	1cdb700747	Merge pull request #1041 from crytic/issue-923 ... Fixes issue-923, notifies the user when a config file is not found.	3 years ago
Feist Josselin	2b48b7b806	Merge pull request #1040 from crytic/issue-929 ... fix issue-929, FP in dead-code detector	3 years ago
Jaime	0651ee61ba	Merge branch 'dev' of github.com:crytic/slither into issue-929	3 years ago
Jaime	b1e236eb58	Merge branch 'dev' of github.com:crytic/slither into issue-923	3 years ago
Jaime	64f841028a	fix black	3 years ago
Jaime	5ae6a06ed1	fix issue-887, FP reentrancy in constructor	3 years ago
Jaime	32d265eb69	apply black	3 years ago
Jaime	f4df89bf80	Merge branch 'dev' of github.com:crytic/slither into issue-1029	3 years ago
Feist Josselin	feac84d7f7	Merge pull request #1045 from crytic/dev-pylint-2.12.2 ... Fix pylint 2.12.2	3 years ago
Jaime	731aa4d46d	fix indentation	3 years ago
Jaime	aa5421fc04	fix issue-1029, FP on unprotected-upgrade detector	3 years ago
Josselin	fe480c092c	Fix pylint 2.12.2	3 years ago
Feist Josselin	630a74f96b	Merge pull request #1044 from crytic/issue-feature-templates ... add bug and feature request templates	3 years ago
alpharush	1533b7c2c2	add bug and feature request templates	3 years ago
Jaime	bf540bf562	expand error message	3 years ago
Jaime	84427cfb86	fix issue-923, error when no config file found	3 years ago
Jaime	696fcc265f	fix issue-929, FP in dead-code detector	3 years ago
Feist Josselin	3172b02531	Merge pull request #1032 from crytic/dev-add-top-level-variables ... Add support to top level variables	3 years ago
Feist Josselin	fbf08843db	Merge pull request #878 from crytic/snd-echidna-solc-versions ... In Echidna printer output list of solc versions used	3 years ago
Feist Josselin	35e4b263ad	Merge branch 'dev' into dev-baseline-tests	3 years ago
Feist Josselin	a382eb8d84	Merge pull request #712 from crytic/dev-buidler-erc20-props ... Enable the generation of ERC20 properties with BUIDLER	3 years ago
Feist Josselin	2b5de636bf	Merge pull request #1012 from justforfunya/patch-1 ... fix modifiers no json output file bug	3 years ago
Josselin	917f389539	Add tests	3 years ago
Feist Josselin	9e141a04f5	Merge pull request #1037 from GitHubPang/patch-1 ... Fix typo	3 years ago
GitHubPang	4e264cd353	Fix typo ... Add missing space in WIKI_EXPLOIT_SCENARIO in missing_zero_address_validation.py	3 years ago
Josselin	4e66acb46c	Add support to top level variables ... Fix #995	3 years ago
Feist Josselin	de0d526cfd	Merge pull request #1016 from crytic/fix-check-erc-output ... Fix slither-check-erc output	3 years ago
Josselin	663107dbd4	Merge branch 'dev' into fix-check-erc-output	3 years ago
Feist Josselin	03b9de4b7c	Merge pull request #1023 from crytic/dev-fix-ci- ... Fix CI	3 years ago
Josselin	c489c7a139	minor	3 years ago
Josselin	abf6ff61a2	Update to pylint 2.12.2	3 years ago
Josselin	94d0cde9e2	minor	3 years ago
Josselin	eb671ec341	Fix CI ... Update to gh super linter v4 Add missing 0.8.11 tests (fix #1015)	3 years ago
Tadashi	38dcee3744	WIP: Filter external visibility recommendation for public functions to solc < 0.6.9	3 years ago
Illia Bobyr	d7c5809ea8	Handle ignore markers when `exclude-dependencies` is set ... `valid_results` behaviour is described in terms of "results are valid, unless ...". A matching implementation would be to only return `True` a the end of the function, and have all the cases only return `False` if they detect an invalid result. `show-ignored-findings` is the only exception to the rule above.	3 years ago
disconnect3d	7aa7cd4576	Fix slither-check-erc output ... This commit makes the `slither-check-erc` more relevant: - when we confirm function interface's return type, we will now show it properly - we had a mistake that we logged that the "value" is incorrect while we meant "type"	3 years ago
whoami	0e752aeb8f	fix modifiers no json output file bug ... --print modifiers --json modifiers.json no json output file bug	3 years ago
Feist Josselin	1771e48bc7	Merge pull request #1005 from JulissaDantes/FixReadmeTypo ... Update readme	3 years ago
Feist Josselin	168492ad89	Merge pull request #1006 from elopez/add-pip-audit ... Add pip-audit action workflow	3 years ago
Emilio López	68333ff7bd	Add pip-audit action workflow ... This adds a new GitHub Actions workflow. This workflow runs pip-audit on the repository on each new commit and pull request to the `dev` and `master` branches, as well as every Tuesday morning. If any known vulnerable dependency is found, this workflow will fail.	3 years ago
JulissaDantes	4f3d990cc3	Update readme	3 years ago
Josselin	65d5922408	0.8.2	3 years ago
Feist Josselin	a4d7f989ae	Merge pull request #1000 from crytic/dev-disable-prop-ci ... Disable slither-prop from CI	3 years ago
Josselin	b09a43d794	Disable slither-prop from CI ... until https://github.com/crytic/slither/issues/993 is solved	3 years ago
Josselin	6ee4bb4bbe	update wiki	3 years ago
Josselin	e3776d54c8	minor	3 years ago
Josselin	b587d897c7	Update solc version recommendations	3 years ago
Feist Josselin	1df9486bd3	Merge pull request #998 from crytic/dev-readme-update ... Update readme with new detectors	3 years ago