Contents Menu Expand Light mode Dark mode Auto light/dark, in light mode Auto light/dark, in dark mode Skip to content
adacovex latest documentation
adacovex latest documentation

adacovex Documentation

  • Documentation index

Read this first

  • Documentation site transparency

Getting started

  • adacovex usage guide
  • Installing adacovex
  • Target project requirements

Using adacovex

  • adacovex CLI Reference
  • CLI flag details: assessment flags and subcommands
  • CLI flag details: serving, CI, and tool options
  • CLI flag details: emitted reports, scan scope, and differential modes
  • adacovex
  • Web dashboard and JSON API
  • The dashboard document and its dependency views
  • The dashboard JSON API, playground, and themes
  • Dashboard metric charts and the robustness tier
  • The bundled offline manual
  • The sbom subcommand
  • SBOM dependency resolution
  • Global configuration and state
  • Platforms and the status subcommand
  • VCS support and differential assessment
  • adacovex CI/CD
  • The composite action
  • CI/CD workflows, summaries, and release bundling
  • Release bundling, tags, and consumer manifests
  • adacovex Changelogs

Standards

  • Compliance standards (DO-178C / ISO 26262 / IEC 62304)
  • DO-178C and the DAL levels
  • ISO 26262 and the ASIL levels
  • IEC 62304 and the safety classes
  • Selecting a standard and reading the reports

Contributing to adacovex

  • Contributor guide: codebase structure and setup
  • Contributor guide: repository layout and generated artifacts
  • Dependencies
  • A gnatprove-friendly IR for lowered code
  • AI / LLM Usage in this Project
  • Commit Messages

Architecture

  • adacovex Architecture Decisions
  • Architecture: dependency management and the toolchain
  • Architecture: verification and proof patches
  • Architecture: outputs and formats
  • Architecture: pipeline, platforms, and delivery

Proving and proofs

  • Proving and writing SPARK proofs
  • Proof patches: SPARK contracts over vendored code

Performance

  • Performance
  • Benchmarking adacovex
  • Pipeline and prove timings
  • Binary size and the bundled manual
  • Server throughput and latency
  • Prove timing and the optimisation review
  • The 1.55.0 timing re-baseline
  • Performance optimisation history

STE100 technical names

  • STE100 Technical Names for adacovex
  • STE100 Technical Names: Ada language constructs
  • STE100 Technical Names: proof and compliance terms
  • STE100 Technical Names: tooling and workflow terms
  • STE100 Technical Names: hardware and system entities
  • STE100 Technical Names: tools and files
  • STE100 Technical Names: reports and concepts
  • STE100 Technical Names: web site terms

Maintainer references

  • High-Level Requirements – adacovex
  • Low-Level Requirements – adacovex
  • Proof Records
  • Compliance Outputs
  • Badges
  • adacovex API Reference
  • Credits
  • Third-Party Notices
Back to top
Copyright © bladeacer
Made with Sphinx and @pradyunsg's Furo