Loading...
News2019-01-31T16:32:48+00:00

AbsInt a³ Release 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 [...]

April 18th, 2019|AbsInt, News|

AbsInt Astrée and RuleChecker Release 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 [...]

April 18th, 2019|AbsInt, News|

AbsInt CompCert Release 19.04

CompCert Release 19.04 ---------------------- New features ------------ ● New command-line option -f(no-)common that controls the placement of global variables defined without an initializer, known as tentative [...]

April 18th, 2019|AbsInt, News|

AbsInt Astrée and RuleChecker Release 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 [...]

April 18th, 2019|AbsInt, News|

AbsInt a³ Release 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 [...]

April 18th, 2019|AbsInt, News|

KEIL MDK-ARM Version 5.27

[MDK installation] With this MDK release the default directory for pack installation has been changed from C:\Keil_v5\ARM\PACK to %LOCALAPPDATA%\Arm\Packs. The End User License Agreement is now [...]

March 21st, 2019|KEIL, News|