Static Analyzer for Solidity

ethereumsoliditystatic-analysis

You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Praveen Gupta 93c6151ce6 Formatting fixes for inheritance printer		6 years ago
..
analyses	Improve fix point computation for specific taint	6 years ago
core	Merge branch 'master' into slithir	6 years ago
detectors	Fix incorrect fixpoint computation in reentrancy detector	6 years ago
printers	Formatting fixes for inheritance printer	6 years ago
slithir	SlitIR: reduce Assignment operator to pure assignment, convert others to Binary()	6 years ago
solc_parsing	Merge branch 'master' into slithir	6 years ago
utils	WIP: split ternary expression to multiples expersssion	6 years ago
visitors	SlitIR: reduce Assignment operator to pure assignment, convert others to Binary()	6 years ago
__init__.py	Make a slither package	6 years ago
__main__.py	Adds PrinterInheritanceGraph in main.py	6 years ago
slither.py	API changes:	6 years ago