AbsInt2019-01-31T16:35:12+00:00

Project Description

AbsInt logo

AbsInt provides advanced development tools for embedded systems, and tools for validation, verification and certification of safety-critical software.

Products

Training

Related News & Updates

Subscribe to our newsletter for free tips, thoughts and updates.

AbsInt Astrée and RuleChecker Version 19.04

Astrée and RuleChecker Release 19.04 ----------------------------------- Spectre vulnerability detection ------------------------------ Astrée now detects and reports Spectre v1, Spectre v1.1, and SplitSpectre vulnerabilities. The detection is disabled by default and can [...]

April 18th, 2019|AbsInt, News|

AbsInt a³ Version 19.04

a³ Release 19.04 ---------------- New targets and compilers ------------------------ ● StackAnalyzer, ValueAnalyzer and TimingProfiler now available for dsPIC33E. ● StackAnalyzer, ValueAnalyzer and TimingProfiler now available for MCS251. ● All tools [...]

April 18th, 2019|AbsInt, News|

AbsInt Failure Notices: Astrée for C

[Failure Notice #26097] Problem Description: -------------------- Enabling the gauge domain may cause the analyzer to assume incomplete value ranges for expressions that involve type-punning. As a consequence, reachable program paths [...]

March 14th, 2019|AbsInt, AbsInt|
Load More Posts

PRODUCTS

PRICE INFORMATION
SOFTWARE EVALUATION
TECHNICAL SUPPORT
LICENSE INFORMATION

EVENTS