Concepedia

Symbolic Pointer Analysis

Symbolic Pointer Analysis is a symbolic execution technique that extends traditional pointer analysis by representing memory addresses as symbolic expressions, enabling precise reasoning about pointer values and memory access patterns under symbolic inputs.

20

Publications

1K

Citations

38

Authors

18

Institutions

Publications per year

2017–2026

2

Parents

Publications

20

1–5 of 20

Authors

38

  1. JZ
    Jianwen Zhu

    University of Toronto, Canada

    4 publications · 188 citations

    4

    h-index

  2. AD
    Alain Deutsch

    Institut national de recherche en sciences et technologies du numérique, France

    2 publications · 389 citations

    2

    h-index

  3. AA
    Alex Aiken

    Stanford University, United States

    2 publications · 125 citations

    2

    h-index

  4. RR
    Radu Rugina

    Cornell University, United States

    2 publications · 121 citations

    2

    h-index

  5. TD
    Thomas Dillig

    Stanford University, United States

    2 publications · 125 citations

    2

    h-index

1–5 of 38

Institutions

18

  1. University of Toronto

    Toronto, Canada

    4 h-index

    6 publications

    300 citations

  2. Massachusetts Institute of Technology

    Cambridge, United States

    2 h-index

    4 publications

    242 citations

  3. Tel Aviv University

    Tel Aviv, Israel

    2 h-index

    2 publications

    125 citations

  4. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    2 h-index

    2 publications

    389 citations

  5. University of Vienna

    Vienna, Austria

    2 h-index

    2 publications

    36 citations

  6. Universidade Federal de Minas Gerais

    Belo Horizonte, Brazil

    2 h-index

    7 publications

    94 citations

  7. Stanford University

    Stanford, United States

    2 h-index

    4 publications

    250 citations

  8. TU Wien

    Vienna, Austria

    2 h-index

    6 publications

    108 citations

1–8 of 18

Venues

  1. ACM SIGPLAN Notices

    4 publications · 158 citations

    4

    h-index

  2. 1

    h-index

  3. 1

    h-index

  4. 1

    h-index

  5. IEEE Transactions on Reliability

    1 publications · 33 citations

    1

    h-index

1–5