4168 Commits (a99f90b9765c9eb66a23f0eece72174e2301d648)

 

All Branches   

Search

Author	SHA1	Message	Date
Simone	3f1db7af77	Look for library functions in the current scope	1 year ago
Simone	a6fb92f179	Bound function search to first parameter type	1 year ago
Tigran Avagyan	d75d8d8d8e	changed by black	1 year ago
Tigran Avagyan	49a31173ee	now we intersect only reachable fathers' dominators	1 year ago
Tigran Avagyan	7b9024f96b	the reachability is updated as the last step of cfg parsing	1 year ago
Tigran Avagyan	c919cdae03	added reachability field for node which indicates whether the node is reachable from the ENTRY_POINT	1 year ago
Simone	a603935a08	Merge branch 'dev' into dev-ud-operators	1 year ago
Tigran Avagyan	3498d8cf94	Merge branch 'dev' into master	1 year ago
Feist Josselin	5681540708	Merge pull request #1976 from crytic/fix/canonical_event_name ... Fix/canonical event name	1 year ago
Feist Josselin	7d76726d99	Merge branch 'dev' into fix-author-pr-1962	1 year ago
Feist Josselin	3af38ff18d	Merge pull request #1980 from 0xGusMcCrae/fast-sim-var-2 ... Additional optimizations for similar_variables.py	1 year ago
Feist Josselin	493c8ff5ae	Merge pull request #1816 from webthethird/dev-upgradeability-util-cross-contract-taint ... Perform cross-contract taint analysis from diff of two upgrade versions	1 year ago
Feist Josselin	23d3175621	Merge pull request #1938 from webthethird/upgradeability-util-bug-fix ... Improved `is_function_modified` in upgradeability util	1 year ago
Feist Josselin	f9d2573360	Merge pull request #1951 from crytic/fix/checked-scope ... use current scope instead of parent scope to determine if arith. is checked	1 year ago
Feist Josselin	baf5948cd2	Merge pull request #1882 from crytic/loc-printer ... feat: loc printer	1 year ago
Feist Josselin	a96cb8f528	Merge branch 'dev' into dev-reworked-fail-on	1 year ago
0xGusMcCrae	b89ca1a1e0	linting	1 year ago
bossjoker1	e1febdd74e	Check the respective parameter's storage location for each argument	1 year ago
alpharush	1b5e2e9327	update detector tests to reflect event fmt	1 year ago
xfu	8e0e7b79e7	fix event canonical_name	1 year ago
Tigran Avagyan	dd052cdc2c	Merge branch 'dev' into master	1 year ago
alpharush	96b103225f	fix merge/fmt	1 year ago
alpharush	45517d73b4	Merge branch 'dev' into fix/checked-scope	1 year ago
alpharush	068eee8341	add test	1 year ago
Paul Razvan Berg	7f7ff770d7	docs: update recommendation for msg.value-inside-a-loop (#1971)	1 year ago
alpharush	d56f663380	create release action with sigstore (#1957)	1 year ago
alpharush	eacbf5c224	Create dependabot.yml (#1972)	1 year ago
alpharush	cec07db510	feat: add `--unstructured` to slither-read-storage; retrieve custom storage layouts (#1963) ... Retrieve storage values of constant arguments passed to SLOAD. If a call to keccack is made, the expression is evaluated and treated as a constant. --------- Co-authored-by: webthethird <ratzbodell@gmail.com>	1 year ago
alpharush	8a5aab62c9	reduce false positives on modifying storage array by value detector (#1962) ... Check the respective parameter's storage location for each argument --------- Co-authored-by: bossjoker1 <1397157763@qq.com>	1 year ago
devtooligan	1a1fc0e1a1	Merge branch 'dev' into loc-printer	1 year ago
Tigran Avagyan	4735769940	Fixed issue which disallowed using operator[] with TopLevelVariables	1 year ago
devtooligan	a826bc3fbf	Merge branch 'dev' into halstead	1 year ago
devtooligan	c3a674acdc	chore: black	1 year ago
devtooligan	3791467fb9	docs: fix docstring	1 year ago
devtooligan	0fb65976d6	Merge branch 'martin-printer' into ck-printer	1 year ago
devtooligan	fa22c3460e	chore: update label	1 year ago
devtooligan	45f353bfb6	Merge branch 'dev' into martin-printer	1 year ago
devtooligan	14c9761da2	feat: add CBO	1 year ago
Simone	ccad54263d	Handle if crytic-compile returns an empty ast (#1961)	1 year ago
alpharush	7cb7cb94ad	inform user if inheritance cannot be resolved (#1956) ... * inform user if inheritance cannot be resolved * lint * update explanation	1 year ago
devtooligan	6f280c18b9	chore: pylint	1 year ago
devtooligan	975da91d33	chore: add type	1 year ago
devtooligan	134dd904f3	Merge branch 'dev' into martin-printer	1 year ago
devtooligan	314364eeb2	chore: remove comments	1 year ago
devtooligan	1fa616b244	Merge branch 'dev' into ck-printer	1 year ago
devtooligan	6a0add01b1	Merge branch 'dev' into halstead	1 year ago
devtooligan	a00e562444	Merge branch 'dev' into loc-printer	1 year ago
0xGusMcCrae	1e709fd5bb	additional optimizations for similar_variables.py	1 year ago
Feist Josselin	414d976f30	Merge pull request #1946 from crytic/feat/support-prevrando ... add support for prevrando (solc 0.8.18)	1 year ago
Feist Josselin	3f8d719a11	Merge pull request #1945 from 0xGusMcCrae/fast-sim-var ... Optimizations for similar_variables.py	1 year ago