Concepedia

Memory Safety Bug Detection

Memory Safety Bug Detection is a systematic method within software security research that identifies deviations from safe memory access patterns by distinguishing unauthorized or undefined memory operations—such as buffer overflows, use-after-free, and null pointer dereferences—from correct program behavior during execution or analysis.

27

Publications

2K

Citations

84

Authors

33

Institutions

Publications per year

2017–2026

12

Parents

Publications

27

Cyclone: A Safe Dialect of C

Trevor Jim, J. Greg Morrisett, Dan Grossman et al. · 2002 · 618 citations

, , +17

CETS

Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic · 2010 · 320 citations

, , +13

An efficient and backwards-compatible transformation to ensure memory safety of C programs

Wei Xu, Daniel C. DuVarney, R. Sekar · 2004 · 152 citations

, , +16

FIE on firmware: finding vulnerabilities in embedded systems using symbolic execution

Drew Davidson, Benjamin Moench, Somesh Jha et al. · 2013 · 128 citations

, , +17

Efficient memory safety for TinyOS

Nathan Cooprider, Will Archer, Eric Eide et al. · 2007 · 105 citations

, , +17

1–5 of 27

Authors

84

  1. HX
    Hui Xu

    Fudan University, China

    3 publications · 111 citations

    3

    h-index

  2. MS
    Mingshen Sun

    Chinese University of Hong Kong, Hong Kong SAR China

    3 publications · 133 citations

    3

    h-index

  3. YZ
    Yangfan Zhou

    Fudan University, China

    3 publications · 111 citations

    3

    h-index

  4. SN
    Santosh Nagarakatte

    Rutgers, The State University of New Jersey, United States

    2 publications · 367 citations

    2

    h-index

  5. MM
    Milo M. K. Martin

    University of Pennsylvania, United States

    2 publications · 367 citations

    2

    h-index

1–5 of 84

Institutions

33

  1. Microsoft (United States)

    Redmond, United States

    3 h-index

    4 publications

    186 citations

  2. National University of Singapore

    Singapore, Singapore

    2 h-index

    4 publications

    120 citations

  3. University of Pennsylvania

    Philadelphia, United States

    2 h-index

    6 publications

    1.1K citations

  4. Stony Brook University

    Stony Brook, United States

    2 h-index

    6 publications

    519 citations

  5. Chinese University of Hong Kong

    Hong Kong, Hong Kong

    2 h-index

    5 publications

    309 citations

  6. Fudan University

    Shanghai, China

    2 h-index

    6 publications

    286 citations

  7. Technische Universität Darmstadt

    Darmstadt, Germany

    2 h-index

    9 publications

    280 citations

  8. KU Leuven

    Leuven, Belgium

    1 h-index

    1 publications

    18 citations

1–8 of 33

Venues

  1. ACM SIGPLAN Notices

    2 publications · 60 citations

    2

    h-index

  2. ACM Transactions on Software Engineering and Methodology

    TOSEM · 2 publications · 100 citations

    2

    h-index

  3. ACM SIGSOFT Software Engineering Notes

    SEN · 1 publications · 21 citations

    1

    h-index

  4. login Usenix Mag.

    1 publications · 15 citations

    1

    h-index

  5. International Conference on Software Engineering

    Conference · 1 publications · 12 citations

    1

    h-index

1–5