search

eth-sri / securify2

Securify v2.0
Apache License 2.0
579 stars 133 forks source link

Adding the flattener #22

Closed AlexandreH closed 3 years ago

AlexandreH commented 3 years ago

Added a flattener for securify. It allows to flatten files that contain import. Solidity versions 5 to 8 are supported. The flattener works like a parser doing a top-down analysis. It uses the solc compiler, which provides a json that contains all the elements needed to generate the new solidity file.

The file must therefore be compilable by solc for the flattener to work.

Some language elements may still be missing and lead to errors, but the flattener has been tested on several thousand open-source contracts taken from etherscan to make sure it handles as many elements as possible.

deepcodeappdev[bot] commented 3 years ago

Congratulations :tada:. DeepCode analyzed your code in 2.766 seconds and we found no issues. Enjoy a moment of no bugs :sunny:.

👉 View analysis in DeepCode’s Dashboard | Configure the bot

ghost commented 3 years ago

Congratulations :tada:. DeepCode analyzed your code in 2.298 seconds and we found no issues. Enjoy a moment of no bugs :sunny:.

👉 View analysis in DeepCode’s Dashboard | Configure the bot