System Software Bugs, Dameng Adoption, and Clang Integration
13 bugs found in vLLM-Ascend, RPent, and Redis; a Dameng case study; and more accurate C/C++ call graphs.
Read more ->FM-Agent at Dameng: 31 Confirmed Bugs in Two Hours
How Dameng used FM-Agent to verify a Sybase compatibility driver, with 31 manually confirmed defects at a reported cost of $10.39.
Read more ->System Software Bugs and More Accurate Rust Analysis
FM-Agent finds 10 bugs across GCC, NTFS3, vLLM, and Redis, and integrates rust-analyzer for more accurate call graphs.
Read more ->Plugin-Based Chip Specifications and a Cost Dashboard
FM-Agent brings chip specification generation into the plugin workflow and adds live cost predictions to its TUI dashboard.
Read more ->Self-Validation and Graphical Reports
Compare bug detection, validate FM-Agent against itself, and browse reports with the new graphical interface.
Read more ->FM-Agent: A Validator That Improves Itself
What self-validation revealed about recursive tests, false positives, and the influence of different language models.
Read more ->FM-Agent vs. Claude Ultrareview: Bug Detection
On a 6,455-line Rust parser, FM-Agent found substantially more buggy functions than Claude Ultrareview across every tested model configuration.
Read more ->Plugins, Deep Bug Detection, and Cost Estimation
Customize the pipeline with plugins, find multiple bugs in a function, and estimate analysis cost before running.
Read more ->A More Reliable and Efficient Analysis Workflow
Customize bug reproduction, simplify environment setup, and use a dedicated CodeGraph repository maintained for FM-Agent.
Read more ->DevEco Studio, Verilog, Erlang, and Domain Knowledge
Release the DevEco Studio plugin, extend hardware specifications to Verilog, add Erlang support, and accept project-specific domain knowledge.
Read more ->FM-Agent for Chip Verification
FM-Agent now generates correctness specifications for Chisel hardware modules and connects with UCAgent for end-to-end automated chip verification.
Read more ->FM-Agent Introduces Incremental Reasoning
FM-Agent can now identify and verify code affected by newly added features or modified requirements, avoiding full-system re-reasoning after every change.
Read more ->What is FM-Agent
FM-Agent combines formal-methods reasoning with LLMs to automatically reason about the correctness of large-scale system code.
Read more ->