Astrée

Basic Information
Software cost
Paid
Software license
Proprietary
Process Integration
Analysis inputs
Source code
Live analysis & feedback while coding in IDE
Eclipse
CI Integration
Jenkins
Coverage
Supported programming languages
C, C++
Claimed Weakness Coverage
Claimed Weakness Coverage information hasn't been collected yet for this analyzer.
Really want it? Let us know.
Checker Customization
Checker Customization information hasn't been collected yet for this analyzer.
Really want it? Let us know.
Speed & Scalability
Speed & Scalability information hasn't been collected yet for this analyzer.
Really want it? Let us know.
Results Quality
Provides severity of warning
Provides code context around warning
Reporting
Graphical user interface (GUI)
Support
Support information hasn't been collected yet for this analyzer.
Really want it? Let us know.
Loading...