Static Analysis of String Manipulations in Critical Embedded C Programs
From MaRDI portal
Publication:3613377
DOI10.1007/11823230_4zbMath1225.68064OpenAlexW198958201MaRDI QIDQ3613377
Xavier Allamigeon, Charles Hymans, Wenceslas Godard
Publication date: 12 March 2009
Published in: Static Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11823230_4
Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Inferring Min and Max Invariants Using Max-Plus Polyhedra, Pentagons: a weakly relational abstract domain for the efficient validation of array accesses, Inferring functional properties of matrix manipulating programs by abstract interpretation, Non-disjunctive Numerical Domain for Array Predicate Abstraction, Access Analysis-Based Tight Localization of Abstract Memories
Uses Software