Static analysis of binary code with memory indirections using polyhedra (Q2287075)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Static analysis of binary code with memory indirections using polyhedra
scientific article

    Statements

    Static analysis of binary code with memory indirections using polyhedra (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    23 January 2020
    0 references

    Identifiers