Pentagons: a weakly relational abstract domain for the efficient validation of array accesses (Q988565)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Pentagons: a weakly relational abstract domain for the efficient validation of array accesses
scientific article

    Statements

    Pentagons: a weakly relational abstract domain for the efficient validation of array accesses (English)
    0 references
    0 references
    0 references
    18 August 2010
    0 references
    abstract domains
    0 references
    abstract interpretation
    0 references
    bounds checking
    0 references
    numerical domains
    0 references
    static analysis
    0 references
    .NET framework
    0 references
    0 references
    0 references
    0 references

    Identifiers