CSaifer
Advanced Solidity Static Analyser, Enriched With AI
We've developed CSaifer, a new static analyzer for Solidity. It combines Static Analysis with an AI engine to find complex bugs and significantly reduce false positives.
The tool is currently in Alpha. We are inviting engineering teams to submit their code for a free, preliminary analysis.
The tool is currently in Alpha. We are inviting engineering teams to submit their code for a free, preliminary analysis.
Our Approach
Current analyzers often struggle with high false-positive rates, limited AST-only analysis, and difficulty reasoning about runtime state (like storage pointers) or cross-contract interactions.
Our tool runs a 3-step process:
Our tool runs a 3-step process:
1
Static Analysis:
We first run our Abstract Interpretation framework, which currently includes over 60 detectors.
We first run our Abstract Interpretation framework, which currently includes over 60 detectors.
2
AI-Powered Analysis:
An AI model analyzes the initial findings to identify and remove false positives. Based on the artifacts produced by the static analysis, it then explores the code to find novel or complex issues outside of the predefined detectors.
An AI model analyzes the initial findings to identify and remove false positives. Based on the artifacts produced by the static analysis, it then explores the code to find novel or complex issues outside of the predefined detectors.
3
Aggregated Report:
We compile the validated findings from both steps into a preliminary report for your team.
We compile the validated findings from both steps into a preliminary report for your team.
How to Get Your Analysis
Our internal team will run the tool for you and send you the report.
Grant Access
Give the GitHub user @chainsecurityaudits read-access to your private repository.
Give the GitHub user @chainsecurityaudits read-access to your private repository.
Submit The Form
Fill out the form below with your project details.
Fill out the form below with your project details.
Get The Report
We will run the analysis and email your report.
We will run the analysis and email your report.
Turnaround Time:
We aim for a 1-week turnaround, but we can't guarantee this timeframe if we receive a large inflow of requests.
Security & NDAs
If you have an NDA or other requirements before sharing code, please email us directly at contact@chainsecurity.com.
We aim for a 1-week turnaround, but we can't guarantee this timeframe if we receive a large inflow of requests.
Security & NDAs
If you have an NDA or other requirements before sharing code, please email us directly at contact@chainsecurity.com.