An automated approach for finding variable-constant pairing bugs

Named constants are used heavily in operating systems code, both as internal flags and in interactions with devices. Decision making within an operating system thus critically depends on the correct usage of these values. Nevertheless, compilers for the languages typically used in implementing opera...

Full description

Saved in:
Bibliographic Details
Main Authors: LAWALL, Julia, LO, David
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2010
Subjects:
Online Access:https://ink.library.smu.edu.sg/sis_research/1347
https://ink.library.smu.edu.sg/context/sis_research/article/2346/viewcontent/ase10_bugs.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English
Be the first to leave a comment!
You must be logged in first