Frama-C

Frama-C is an open-source, extensible platform dedicated to the source-code analysis of C software. It combines formal methods and static analysis plug-ins to guarantee the absence of runtime errors and verify conformance to functional specifications. Widely used in industrial certification for safety-critical sectors such as aerospace and nuclear energy.

LLM mention score

Normalized 0–100 · last 8 weeks

DataForSEO API

Get LLM mention data of any company via DataForSEO API

Get access to the structured data on keyword, brand, and website mentions in LLMs, including metrics like AI search volume, impressions, and mentions count.

Get Free API Credits API Documentation

How to get LLM mention data →

// Fetch Frama-C mentions
POST v3/ai_optimization/llm_mentions/search/live
[
    {
        "target": [
            {
                "keyword": "Frama-C",
                "search_scope": ["any"]
            }
        ],
        "platform": "chat_gpt",
        "order_by" : ["ai_search_volume,desc"]
    }
]