slither

Author	SHA1	Message	Date
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	cf281d4a8a	register moved folders	2 years ago
Josselin Feist	104a4790e5	Minor	2 years ago
Emilio López	ce0a4006b9	Disable coloring if output is not a terminal, fix Windows tests (#1244 ) * Disable coloring if output is not a terminal Color escape codes are most likely not expected if piping the output of slither into a file or other tool. Check if stdout is a tty before enabling colored output.	2 years ago
Josselin	1d87059712	Large refactor of slither-check-upgradeability: - Use an abstract class, similar pattern than slither's detectors - Every issue is documented (description/exploit scenario/recommendation)	5 years ago
Josselin	cb2c6073ec	Upgradeability checks: - add missing file - Test constant conformance - Test variable initilization - Minor change in output	5 years ago