tech from europe
Embedded Software Development Tools

Astrée

🇩🇪 DE

Sound static analyzer for safety-critical C/C++ embedded code

EU hostedGDPRTISAX
Visit website →Compare
Astrée is a German static analysis tool that formally proves the absence of runtime errors in C and C++ embedded software. It supports safety standards like ISO 26262 and DO-178C, integrates with TargetLink and VS Code, and runs on-premises. Pricing is quote-based with a 30-day trial.

Features

Static Analysis and Sound Verification

  • Proves absence of runtime errors (RTE) and invalid concurrent behaviors in C, C++, and mixed codebases
  • Detects data races, Spectre vulnerabilities, and dead code
  • Performs advanced taint analysis, signal-flow, data-flow, and control-flow analysis
  • Analyzes control-coupling and component-interference

Rule Checking and Code Metrics

  • Verifies compliance with MISRA (C/C++), SEI CERT, JSF, CWE, AUTOSAR, and ISO/IEC TS 17961
  • Supports customizable rule sets
  • Computes and checks thresholds for code metrics (e.g., comment density, cyclomatic complexity)

Safety, Cybersecurity, and Certification Support

  • Identifies functional and non-functional hazards per ISO 26262, DO-178C/DO-330, IEC 61508, EN 50128
  • Supports user-defined cybersecurity analysis for DO-356A and ISO 21434
  • Offers Qualification Support Kits (QSK) for automated tool qualification

Review, Collaboration, and Reporting

  • GUI with interconnected graphical and textual views for results, source code, and control flow
  • Supports collaborative reviews and user annotations
  • Delta analysis for code revisions
  • Automated report generation (e.g., XML)

Automation and Enterprise Operations

  • Command-line/batch mode for build automation
  • TLS-encrypted communication
  • Authentication via OpenID and OAuth2

Trial and Support

  • 30-day free trial with full commercial features
  • Includes RuleChecker for Windows, Linux, and macOS
  • Free interactive online training via WebEx
  • 180 days of free technical support and updates for commercial licenses

Pricing

Custom quote-based pricing; 30-day free trial available.

EU Trust Profile

What we verified against public sources, last checked 2026-09-16. Every point links to its evidence.

We list only what we could verify against a public source on the check date. A point that is absent was not established either way — it is not a finding against the vendor. The vendor's own information prevails.

Work at Astrée?

This badge is free for every vendor we list and has no bearing on the order of any list. It is issued on the basis of a verified European headquarters (DE) and the compliance points we checked against public sources — the date on it is the date we last checked.

Astrée — verified European company on tech-from-europe.euAstrée — verified European company on tech-from-europe.eu

Embed code

<a href="https://tech-from-europe.eu/product/astree"><img src="https://tech-from-europe.eu/badge/astree.svg" alt="Astrée — verified European company on tech-from-europe.eu" height="164"></a>

Plain HTML: an SVG served from our domain, with no JavaScript, no cookies and no tracking of your visitors. Add ?style=card for the wide variant, or swap .svg for .png where a CMS refuses SVG. Whether you nofollow the link is your call — we do not check.

Claiming the profile with a work email gets you the artwork as PNG, a form for correcting anything we got wrong, and a note whenever we re-check you.

Claim this profile →

Something wrong on this page? Write to hello@tech-from-europe.eu with a public link and we will re-check it.

Reviews

Recurring themes, synthesized from public reviews across portals.

What users value

  • Mathematically sound static analysis with no false negatives for runtime errors
  • Automated compliance checks for MISRA C/C++, CWE, ISO 26262, and DO-178C
  • Fast batch analysis execution and CI/CD pipeline integration
  • Strong technical documentation and qualification support kits
  • Intuitive 100% web-based interface for shop-floor mobility
  • Real-time OEE/TRS tracking and paperless work orders
  • Modular rollout model for gradual factory digitization
  • High customer recommendation rate for vendor support

Where users see room to improve

  • · Steep learning curve for formal verification configuration
  • · High initial setup time for annotations and false alarm investigations
  • · Custom integration required for legacy machinery and deep ERP synchronization

Integrations

Visual Studio CodeEclipse (LSP4E)KEIL μVision / KEIL StudiodSPACE TargetLinkNew Eagle RaptorJenkinsGitLab CI/CDCMake

Feature, pricing and integration details are based on web research (as of 2026-09-16), without guarantee, errors are possible. The vendor's website prevails.