...Now you can integrate it into your code-review process. We are open sourcing the core analysis engine of Slither. This core provides advanced static-analysis features, including an intermediate representation (SlithIR) with taint tracking capabilities on top of which complex analyses (“detectors”) can be built.
Easily build, backtest and deploy your algo in just a few lines
...We make it super easy for you so you can focus on building better trading algos. Your models can run on any platform, and on any supported exchange. We make that as easy as just changing one line of code.
...A scriptable semantic grep utility for solidity (crunch numbers, find specific contracts, extract data) Semgrep is a fast, open-source, static analysis tool for finding bugs and enforcing code standards at editor, commit, and CI time, and now supports Solidity! A powerful online codesearch service that can be used to search the sanctuary without cloning.