proceeding Papers Automaton-based Array Initialization Analysis


Abstract

We define an automaton-based abstract interpretation of a trace semantics which identifies loops that definitely initialize all the elements of an array, a useful piece of information for the static analysis of imperative languages. This results in a fully automatic and fast analysis, that does not use manual code annotations. Its implementation inside the Julia analyzer is efficient and precise.



Paper Details

Authors

D. Nikolic,  F. Spoto

Publication

The 6th International Conference on Language and Automata Theory and Applications (LATA 2012), 7183, , 420-433

Download

http://dx.doi.org/10.1007/978-3-642-28332-1_36

Language

English
.