3274 Commits (ae5af4ee00c2922db61ef7151485dead3d2c0f7e)

 

All Branches   

Search

Author	SHA1	Message	Date
Feist Josselin	ae5af4ee00	Print warning	2 years ago
Feist Josselin	76f86a1b34	Merge branch 'dev' into revert-1082-ignored-findings	2 years ago
Feist Josselin	e11ae90fb1	Merge pull request #1691 from crytic/low-level-call-conversion-fix ... move assertion to proper branch	2 years ago
Feist Josselin	2d6c4ee00b	Merge pull request #1740 from crytic/fix-stdout-capture ... fix stdout capture	2 years ago
alpharush	5498e1b609	fix stdout capture ... Since `output_to_sarif` is a function and a "truthy" value, the capturing was enabled despite `outputting_sarif` being false. I've fixed the condition	2 years ago
Feist Josselin	2cc92d7775	Merge branch 'master' into dev	2 years ago
Feist Josselin	65f1312703	Merge pull request #1725 from crytic/unitialized-storage-fix ... Uninitialized storage fix	2 years ago
alpharush	e26a520766	exclude storage params	2 years ago
alpharush	9acddc3259	include return variables in uninit ptr detector	2 years ago
Feist Josselin	61b7feb61a	Merge pull request #1723 from crytic/dev-sync-cc ... Sync cc@master	2 years ago
Feist Josselin	36052fdc4e	Sync cc@master ... Use cc@master Remove rinkeby test (etherscan does not support rinkeby anymore)	2 years ago
Feist Josselin	cf5e3bee6b	Merge pull request #1695 from bart1e/detector_for_cc_fix ... WIKI URL fixed	2 years ago
Feist Josselin	cd9b212c5b	Merge pull request #1711 from crytic/CI-nix-install ... upgrade nix installation to fix CI installation	2 years ago
alpharush	331cc24d07	upgrade nix installation to fix CI installation	2 years ago
bart1e	5f6551d285	Black run	2 years ago
bart1e	4474bc2c72	WIKI URL fixed	2 years ago
Feist Josselin	b74f64a234	Merge pull request #1685 from crytic/dev-fun-summary-printer-complexity ... Add cyclomatic complexity to function-summary	2 years ago
Feist Josselin	635649207d	Merge pull request #1689 from crytic/0xalpharush-patch-1 ... update and reorganize README	2 years ago
alpharush	a65ce56f5f	fix spelling	2 years ago
alpharush	dc7eb7044c	update and reorganize README ... - update references to compilation frameworks - add link to documentation site - move installation instructions front and center - explain usage for projects with dependencies	2 years ago
Simone	05defa8710	Add cyclomatic complexity to modifiers	2 years ago
Simone	143223af95	Add cyclomatic complexity to function-summary	2 years ago
Feist Josselin	9779380b80	Merge pull request #1665 from samalws/echidna-enum ... Add enums to echidna printer's list of constants	2 years ago
Sam Alws	3ad263319a	add enums to echidna list of constants	2 years ago
Feist Josselin	20a79519f3	Merge pull request #1624 from crytic/dev-add-types ... Add more types	2 years ago
Feist Josselin	18e094c168	Minor	2 years ago
Feist Josselin	abf931289a	Minor	2 years ago
Feist Josselin	4e5e1849e4	Fix last 0xalpharush comments	2 years ago
Feist Josselin	486c9ec1a9	Merge branch 'dev' into dev-add-types	2 years ago
Feist Josselin	797735c36c	Merge pull request #1663 from crytic/dev-further-ci-improvements ... Further CI improvements	2 years ago
Feist Josselin	d42a74874d	Use base ref branch for pylint	2 years ago
Feist Josselin	a58fa3df5b	Run pylint only on new files	2 years ago
Feist Josselin	af9bde06a2	Rename doctor	2 years ago
Feist Josselin	8aa6c2b15f	Further CI improvements	2 years ago
Feist Josselin	8b6ac75905	Improve types in detectors	2 years ago
Feist Josselin	83d4d5030f	Merge branch 'dev' into dev-add-types	2 years ago
Feist Josselin	9bd166fe43	Merge pull request #1662 from crytic/dev-ci-minor-improvements ... Improvements to GH actions	2 years ago
Feist Josselin	90efe7adc1	Merge pull request #1660 from crytic/bart1e-detector_for_cc ... High cyclomatic complexity detector	2 years ago
Feist Josselin	209a07cd96	Improvements to GH actions	2 years ago
Feist Josselin	485bae9267	Merge pull request #1661 from crytic/dev-cancel-action-on-commit ... Cancel action on new commits	2 years ago
Feist Josselin	b7ecc01c45	Cancel action on new commits	2 years ago
Feist Josselin	b0f904564b	Merge branch 'dev' into dev-add-types	2 years ago
Feist Josselin	d0c0a17823	Minor improvements	2 years ago
Feist Josselin	24df353955	Merge branch 'detector_for_cc' of github.com:bart1e/slither into bart1e-detector_for_cc	2 years ago
Feist Josselin	1d52aeaf5c	Merge pull request #1535 from webthethird/slither/dev-upgradeability-complex-datatype ... slither-check-upgradeability: support complex datatypes	2 years ago
Feist Josselin	82f761ca32	Remove unused import	2 years ago
alpharush	8bb4ffac62	move assertion to proper branch	2 years ago
Feist Josselin	28af1627ee	Merge branch 'dev' into dev-add-types	2 years ago
Feist Josselin	fa2889d26d	Merge pull request #1641 from crytic/divide-before-multiply-todo ... consider constants in divide-before-multiply	2 years ago
Feist Josselin	023464e37b	Merge pull request #1638 from crytic/add-path-to-lint ... only run python linters when .py changed	2 years ago