Concepedia

Semantic Code Analysis

Semantic Code Analysis is a static application security testing technique that belongs to the class of code analysis methods which examine the syntactic structure and data flow of software, distinguished by its incorporation of contextual program semantics—such as intent, behavior, and runtime state modeling—to identify vulnerabilities that cannot be detected through syntactic patterns alone.

65

Publications

5.1K

Citations

202

Authors

92

Institutions

Publications per year

2017–2026

27

Variants

Semantic Static Analysis

Parents

Publications

65

Systematic design of program analysis frameworks

Patrick Cousot, Radhia Cousot · 1979 · 1.6K citations · Full text

, , +15

Words, pictures, and priming: On semantic activation, conscious identification, and the automaticity of information processing.

Thomas H. Carr, Charley McCauley, Richard D. Sperber et al. · Journal of Experimental Psychology Human Perception & Performance · 1982 · 314 citations

, , +16

Semantics-based code search

Steven P. Reiss · 2009 · 306 citations

, , +14

DeepSim: deep learning code functional similarity

Gang Zhao, Jeff Huang · 2018 · 265 citations

, , +14

Words, pictures, and priming: On semantic activation, conscious identification, and the automaticity of information processing.

Thomas H. Carr, Charley McCauley, Richard D. Sperber et al. · Journal of Experimental Psychology Human Perception & Performance · 1982 · 202 citations

, , +16

1–5 of 65

Authors

202

  1. KT
    Kathryn T. Stolee

    North Carolina State University, United States

    3 publications · 379 citations

    3

    h-index

  2. DL
    David Lo

    Singapore Management University, Singapore

    2 publications · 44 citations

    2

    h-index

  3. SS
    Sharon Shoham

    Tel Aviv University, Israel

    2 publications · 122 citations

    2

    h-index

  4. YL
    Yves Le Traon

    University of Luxembourg, Luxembourg

    2 publications · 110 citations

    2

    h-index

  5. GT
    Gary T. Leavens

    Iowa State University, United States

    2 publications · 34 citations

    2

    h-index

1–5 of 202

Institutions

92

  1. Singapore Management University

    Singapore, Singapore

    3 h-index

    6 publications

    168 citations

  2. Carnegie Mellon University

    Pittsburgh, United States

    3 h-index

    4 publications

    320 citations

  3. Technion – Israel Institute of Technology

    Haifa, Israel

    2 h-index

    4 publications

    244 citations

  4. University of Luxembourg

    Luxembourg, Luxembourg

    2 h-index

    10 publications

    550 citations

  5. University of Central Florida

    Orlando, United States

    2 h-index

    4 publications

    68 citations

  6. Iowa State University

    Ames, United States

    2 h-index

    3 publications

    526 citations

  7. University of Massachusetts Amherst

    Amherst Center, United States

    2 h-index

    3 publications

    309 citations

  8. ETH Zurich

    Zurich, Switzerland

    2 h-index

    6 publications

    129 citations

1–8 of 92

Venues

  1. Computers & Security

    3 publications · 89 citations

    3

    h-index

  2. IEEE Transactions on Software Engineering

    TSE · 2 publications · 113 citations

    2

    h-index

  3. Perception

    2 publications · 38 citations

    2

    h-index

  4. 2

    h-index

  5. ACM SIGPLAN Notices

    2 publications · 30 citations

    2

    h-index

1–5