Inferring complete initialization of arrays

DOI10.1016/j.tcs.2013.01.007zbMath1292.68104OpenAlexW2084349485MaRDI QIDQ383356

Đurica Nikolić, Fausto Spoto

Publication date: 4 December 2013

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2013.01.007

zbMATH Keywords

static analysisfinite-state automataabstract interpretationarray initialization

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55)

Related Items

Relational abstract interpretation of arrays in assembly code

Uses Software

• julia
• ASTREE
• FunArray
• Julia Static Analyzer

Cites Work

• Unnamed Item
• Logic for programming, artificial intelligence, and reasoning. 16th international conference, LPAR-16, Dakar, Senegal, April 25 -- May 1, 2010. Revised selected papers
• Automaton-Based Array Initialization Analysis
• Reachability Analysis of Program Variables
• Definite Expression Aliasing Analysis for Java Bytecode
• Systematic design of program transformation frameworks by abstract interpretation
• Predicate abstraction for software verification
• A framework for numeric analysis of array operations
• A parametric segmentation functor for fully automatic and scalable array content analysis
• What Else Is Decidable about Integer Arrays?
• Static Analysis
• Verification, Model Checking, and Abstract Interpretation