←Backsec-bit/adelaideFork0Copy as MarkdownView on GitHub↗18 stars·5 forks·C++·GPL-3.0·0 viewssecbit.io↗AdelaideFeaturesSecurity Analysis Tools - Static analysis extension for the Solidity compiler.