[SystemSafety] C++ and Pointers
Daniel Kästner
kaestner at absint.com
Fri Jul 5 16:45:59 CEST 2019
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
More information about the systemsafety
mailing list