Provadyne

Local AI-powered static analysis for embedded C — MISRA C:2023, CERT C, and CWE.

Stop context-switching between cppcheck, DOORS, and Codebeamer. Provadyne runs entirely on your machine and overlays directly on GitHub PRs, Jira, and Codebeamer.

Features

Module	What it does
Multi-Standard Checker	Detects MISRA C:2023, CERT C, and CWE violations and suggests AI-powered fixes
Traceability Linker	Auto-links Git commits to requirements in Jira / Codebeamer
Stub Generator	Generates VectorCAST stubs and gtest skeletons from C headers

Architecture

Chrome Extension (overlay)
        │
        │ HTTP (localhost only)
        ▼
Go Daemon (port 9400)
        │
        ├── Python Engine (misra, tracer, stubgen)
        └── Local LLM (Ollama) or BYOK API

All analysis happens locally. No code leaves your machine unless you explicitly enable a BYOK API key.

Quick Install

curl -sSL https://provadyne.com/install.sh | sh

Then install the Chrome Extension from the Chrome Web Store.

Getting Started

See the 5-minute Quick Start.