Overview
AbsInt Astrée provides advanced static analysis capabilities for safety-critical and embedded software development. With the Visual Studio Code LSP integration, developers can analyze code directly inside the editor and review detected alarms in real time.
Setup
1.Launch Visual Studio Code
2.Open the Extensions view (Ctrl + Shift + X)
3.Install the A3C / Astrée VS Code extension
4.Configure the Astrée installation path if prompted
5.Restart Visual Studio Code if required
Usage
1.Open your project folder in Visual Studio Code
2.Open the source file you want to analyze
3.Review detected alarms directly in the editor using red squiggly indicators
4.View detailed findings in the Problems and Output panels
Single Translation Unit Mode
1.Open Manage → Settings → Workspace
2.Go to Extensions → A3C for C/C++ LSP Client
3.Change the view from Full Project to Single Translation Unit
4.Open a source file to start analysis automatically
Single-click analyzes a file temporarily, while double-click keeps the analysis results so alarms from multiple files can be viewed together. The Problems panel supports both table and tree views for reviewing diagnostics and alarm details.
