[SystemSafety] C++ and Pointers

Peter Bernard Ladkin ladkin at causalis.com
Fri Jul 5 15:00:40 CEST 2019

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.


Prof. Peter Bernard Ladkin, Bielefeld, Germany
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>

More information about the systemsafety mailing list