Corpus ID: 14673826

Accelerating Meta Data Checks for Software Correctness and Security

  title={Accelerating Meta Data Checks for Software Correctness and Security},
  author={Weihaw Chuang and S. Narayanasamy and B. Calder},
  journal={J. Instr. Level Parallelism},
  • Weihaw Chuang, S. Narayanasamy, B. Calder
  • Published 2007
  • Computer Science
  • J. Instr. Level Parallelism
  • As high GHZ processors become prevalent, adding hardware support to ensure the correctness and security of programs will be just as important, for the average user, as further increases in processor performance. The goal of our research is to focus on developing compiler and hardware support for ecien tly performing software checks that can be left on all of the time, even in production code releases, to provide a signican t increase in the correctness and security of software. In this paper we… CONTINUE READING
    16 Citations
    Hardbound: architectural support for spatial safety of the C programming language
    • 174
    • PDF
    Practical low-overhead enforcement of memory safety for c programs
    • 16
    • Highly Influenced
    • PDF
    Memory-safe Execution of C on a Java VM
    • 15
    • PDF
    Hardware-Enforced Comprehensive Memory Safety
    • 17
    Watchdog: Hardware for safe and secure manual memory management and full memory safety
    • 86
    • Highly Influenced
    • PDF
    ALEXIA: A Processor with Lightweight Extensions for Memory Safety
    • 1
    • Highly Influenced


    Efficient detection of all pointer and array access errors
    • 424
    • PDF
    Backwards-Compatible Bounds Checking for Arrays and Pointers in C Programs
    • 406
    • PDF
    Bounds Checking with Taint-Based Analysis
    • 12
    • PDF
    Checking array bound violation using segmentation hardware
    • L. Lam, T. Chiueh
    • Computer Science
    • 2005 International Conference on Dependable Systems and Networks (DSN'05)
    • 2005
    • 37
    • PDF
    AccMon: Automatically Detecting Memory-Related Bugs via Program Counter-Based Invariants
    • 136
    • PDF
    HeapMon: a Low Overhead, Automatic, and Programmable Memory Bug Detector
    • 11
    • PDF
    Low-Cost, Concurrent Checking of Pointer and Array Accesses in C Programs
    • 60
    • PDF
    iWatcher: efficient architectural support for software debugging
    • 151
    • PDF
    CCured: type-safe retrofitting of legacy code
    • 475
    • PDF
    A Practical Dynamic Buffer Overflow Detector
    • 360
    • PDF