DeFi Security
Full-stack web3 security services delivered by top-tier ethical hackers with a focus on the real financial impact
Tools
We contribute to the Web3 security by creating the tools that help to automate the security audit.
Semgrep Solidity RulesSemgrep rules that will help you to find the typical vulnerable patterns in the smart contract code. View |
✨ contract-diff.xyz |
Contract DiffSmart diff tool that helps you to understand which code the protocol has been forked from and what exactly has been changed. View |
ABI DecompilerReverse Engineering tool that helps you to efficiently match the function selectors in the EVM bytecode to the function signatures. View |
Products
Apart from the open source tools, we're developing a comprehensive solution for the Web3 security monitoring and vulnerability assessment
DeFiMon
Web3 protocol monitoring solution powered by our transaction analysis engine txfilter and our Semgrep SAST rulepack.
Get a Quote
Details
More information about our key product DeFiMon
Vulnerability Scanning
We create custom-tailored SAST rulepacks to detect vulnerabilities in CI/CD pipelines as well as in the newly deployed contracts with a very low false-positive rate.
Get a QuoteExploit Detection
DeFiMon includes the component called txfilter — a high perfomance transaction analysis engine written in Rust with its own DSL for describing the rules.
Get a QuoteCustom rules
The txfilter's DSL allows to precisely describe custom rules to alert about the project-specific events.
Get a QuoteDashboard
The dashboard contains statistics about the vulnerabilities detected in code as well as the suspicious transactions and other dangerous events. We constantly monitor all the chains to detect new exploitable issues in all the new contracts.
Get a Quote