[SystemSafety] C++ and Pointers

[Daniel Kästner]

Derek,

>>, is going to be published in SAFECOMP 2019 in two months time.
> This is known as marketing.
?

> I was at a MISRA conference ...
> ...(about 4% of the rules at the time).
I do not know what you heard. With respect to MISRA C:2012, Astrée's rule 
checker covers 146 out of 159 rules.

Daniel.
---
Dr.-Ing. Daniel 
Kaestner --------------------------------------------------------------------
AbsInt Angewandte Informatik GmbH      Email: kaestner at AbsInt.com
Science Park 1                                                Tel: 
+49-681-3836028
66123 Saarbruecken                                     Fax: 
+49-681-3836020
GERMANY 
http://www.AbsInt.com <http://www.absint.com/>
----------------------------------------------------------------------------------------------------
Geschaeftsfuehrung: Dr.-Ing. Christian Ferdinand
Eingetragen im Handelsregister des Amtsgerichts Saarbruecken, HRB 11234


> -----Ursprüngliche Nachricht-----
> Von: systemsafety <systemsafety-bounces at lists.techfak.uni-bielefeld.de> Im 
> Auftrag von Derek M Jones
> Gesendet: Freitag, 5. Juli 2019 15:12
> An: systemsafety at lists.techfak.uni-bielefeld.de
> Betreff: Re: [SystemSafety] C++ and Pointers
>
> Peter,
>
> >> Tools using late 90's algorithms are going to be slow.
> >
> > Interesting time-warp you're in!
> >
> > Astree's analytical technique for code which uses pointers to implement 
> > state machines, based on
> > abstract interpretation, is going to be published in SAFECOMP 2019 in 
> > two months time.
>
> This is known as marketing.
>
> I was at a MISRA conference where the speaker claimed that Astree
> detected 100% of the MISRA C rules.  I asked the speaker how an abstract
> interpreter detected compile time checks in source code, he replied
> that they detected 100% of the rules that could be detected at runtime
> (about 4% of the rules at the time).
>
> --
> Derek M. Jones           Software analysis
> tel: +44 (0)1252 520667  blog:shape-of-code.coding-guidelines.com
> _______________________________________________
> The System Safety Mailing List
> systemsafety at TechFak.Uni-Bielefeld.DE
> Manage your subscription: 
> https://lists.techfak.uni-bielefeld.de/mailman/listinfo/systemsafety