[SystemSafety] C++ and Pointers

[Derek M Jones]

Daniel,

Thanks to the paper reference.

>> 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.

This was back in the 1990s.

> 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
> _______________________________________________
> The System Safety Mailing List
> systemsafety at TechFak.Uni-Bielefeld.DE
> Manage your subscription: https://lists.techfak.uni-bielefeld.de/mailman/listinfo/systemsafety
> 

-- 
Derek M. Jones           Software analysis
tel: +44 (0)1252 520667  blog:shape-of-code.coding-guidelines.com