SmartDec
Analyze applications in high and low level languages.
SmartDec can analyze applications in high and low level languages. They develop software and provide smart contract security audits. We've provided more than 100 audits of mobile and web application and also smart contracts for Ethereum platform. We are developers of SmartCheck tool – free static code analyzer for Solidity language. Now we are working on information security tools for different programming languages and also investigate new approaches for smart contract analysis.