19 search results - page 1 / 4 » Detecting bugs in register allocation |
TOPLAS
2010
13 years 3 months ago
2010
ISCA
2012
IEEE
11 years 7 months ago
2012
IEEE
Languages such as C and C++ use unsafe manual memory management, allowing simple bugs (i.e., accesses to an object after deallocation) to become the root cause of exploitable secu...
TVLSI
2002
13 years 4 months ago
2002
Concurrent error detection (CED) based on time redundancy entails performing the normal computation and the re-computation at different times and then comparing their results. Time...
ICCD
2006
IEEE
14 years 1 months ago
2006
IEEE
Pointer bugs associated with dynamically-allocated objects resulting in out-of-bounds memory access are an important class of software bugs. Because such bugs cannot be detected e...
VMCAI
2009
Springer
13 years 11 months ago
2009
Springer
This paper describes the methods used in Empire, a tool to detect concurrency-related bugs, namely atomic-set serializability violations in Java programs. The correctness criterion...