provadyne-engine 0.3.1

Provadyne — local MISRA C:2023, CERT C & CWE static analysis with ISO 26262-6 mapping

provadyne-engine

The Python analysis engine behind Provadyne — MISRA C:2012 violation detection (via cppcheck), ISO 26262-6 rule mapping, PDF report generation, and optional LLM fix suggestions.

This package is the shared core used by the Provadyne daemon, the GitHub Action, and the IDE extensions. It is normally driven through the daemon, but the modules are runnable directly.

Requirements

• Python 3.11+
• cppcheck 2.x on the PATH (provides the MISRA addon). Install via brew install cppcheck / apt-get install cppcheck.

Install

pip install provadyne-engine
# optional: external LLM providers for fix suggestions
pip install "provadyne-engine[llm-api]"

Usage

# Single file — exits 1 when violations are found, 0 when clean, 2 on error.
python -m engine.misra.checker path/to/source.c

# Multiple files, aggregated batch envelope
python -m engine.misra.checker --batch src/*.c

# Console-script equivalents (installed with the package)
provadyne-misra path/to/source.c
provadyne-stubgen --help

Output is JSON on stdout:

{
  "file_path": "/abs/path/source.c",
  "violations": [
    { "rule": "11.3", "severity": "required", "line": 9, "column": 6,
      "message": "Cast shall not be performed between pointer to object and pointer to different object type",
      "suggestion": null }
  ],
  "summary": { "total": 1, "required": 1, "advisory": 0, "mandatory": 0 },
  "analyzed_at": "2026-05-29T05:37:40Z",
  "engine_version": "0.1.0",
  "cppcheck_version": "2.20.0"
}

License

MIT.