Concepedia

Context-sensitive Analysis

Context-Sensitive Analysis is a static program analysis technique that belongs to the family of abstract interpretation methods, distinguished by its ability to model the behavior of program components with respect to the calling context in which they are invoked, thereby enabling more precise inference of program properties by distinguishing between different call sites or execution paths.

453

Publications

33.3K

Citations

1K

Authors

433

Institutions

Publications per year

2017–2026

94

Variants

Context-sensitive Program Analysis

Parents

Publications

453

<i>publCIF</i>: software for editing, validating and formatting crystallographic information files

Simon P. Westrip · Journal of Applied Crystallography · 2010 · 5.4K citations · Full text

, , +13

Word problems requiring exponential time(Preliminary Report)

Larry J. Stockmeyer, Albert R. Meyer · 1973 · 874 citations

, , +13

Pixy: a static analysis tool for detecting Web application vulnerabilities

Nenad Jovanović, Christopher Kruegel, Engin Kirda · 2006 · 718 citations

, , +17

Anonymising interview data: challenges and compromise in practice

Benjamin Saunders, Jenny Kitzinger, Celia Kitzinger · Qualitative Research · 2014 · 607 citations · Full text

, , +16

Cloning-based context-sensitive pointer alias analysis using binary decision diagrams

John Whaley, Monica S. Lam · 2004 · 593 citations

, , +12

1–5 of 453

Authors

1K

  1. YS
    Yannis Smaragdakis

    National and Kapodistrian University of Athens, Greece

    11 publications · 913 citations

    10

    h-index

  2. AR
    Atanas Rountev

    The Ohio State University, United States

    9 publications · 1.1K citations

    9

    h-index

  3. JX
    Jingling Xue

    UNSW Sydney, Australia

    9 publications · 445 citations

    9

    h-index

  4. BG
    Barbara G. Ryder

    Rutgers, The State University of New Jersey, United States

    9 publications · 1.1K citations

    9

    h-index

  5. HO
    Hakjoo Oh

    Korea University, South Korea

    8 publications · 320 citations

    8

    h-index

1–5 of 1K

Institutions

433

  1. Stanford University

    Stanford, United States

    14 h-index

    43 publications

    7.1K citations

  2. The Ohio State University

    Columbus, United States

    12 h-index

    31 publications

    2.5K citations

  3. Microsoft (United States)

    Redmond, United States

    11 h-index

    30 publications

    2.5K citations

  4. UNSW Sydney

    Sydney, Australia

    11 h-index

    22 publications

    946 citations

  5. University of California, Berkeley

    Berkeley, United States

    11 h-index

    14 publications

    1.5K citations

  6. The University of Texas at Austin

    Austin, United States

    10 h-index

    18 publications

    865 citations

  7. University of Illinois Urbana-Champaign

    Urbana, United States

    9 h-index

    20 publications

    1.4K citations

  8. Rutgers, The State University of New Jersey

    New Brunswick, United States

    8 h-index

    19 publications

    2.4K citations

1–8 of 433

Venues

  1. ACM SIGPLAN Notices

    32 publications · 2.3K citations

    20

    h-index

  2. Proceedings of the ACM on Programming Languages

    PACMPL · 9 publications · 404 citations

    9

    h-index

  3. 9

    h-index

  4. arXiv (Cornell University)

    Repository · 4 publications · 375 citations

    4

    h-index

  5. IEEE Transactions on Software Engineering

    TSE · 4 publications · 125 citations

    4

    h-index

1–5