Description-Code Inconsistency Detection on Dreal
192RW OverallDCIChecker
Evaluation results
| Method | Links | |
|---|---|---|
| DCICheckerCategory=DCI Detection2026.06 | 192 | |
| MCPDiFFCategory=DCI Detection2026.06 | 90 | |
| Agent ScanCategory=MCP Scanner2026.06 | 50 | |
| BanditCategory=Static Analyzer2026.06 | 34 | |
| MCP-ShieldCategory=MCP Scanner2026.06 | 21 | |
| SemgrepCategory=Static Analyzer2026.06 | 5 |