[SystemSafety] C++ and Pointers

[Peter Bernard Ladkin]

On 2019-07-05 14:22 , Derek M Jones wrote:
>
>> Tools like CodeSonar and Astree can handle pointers and calculate the
>> set of pointer values for individual code paths, but because the
>> analysis is path-dependent it can take many hours, or even days to do a
>> complete analysis.
> 
> 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.

PBL

Prof. Peter Bernard Ladkin, Bielefeld, Germany
MoreInCommon
Je suis Charlie
Tel+msg +49 (0)521 880 7319  www.rvs-bi.de





-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: OpenPGP digital signature
URL: <https://lists.techfak.uni-bielefeld.de/mailman/private/systemsafety/attachments/20190705/209db7d2/attachment-0001.sig>