1411 search results - page 23 / 283 » A Value Analysis for C Programs |
117
click to vote
ICCAD
2002
IEEE
15 years 10 months ago
2002
IEEE
— One of the bottlenecks in the recent movement of hardware synthesis from behavioral C programs is the difficulty in reasoning about runtime pointer values at compile time. The...
135
click to vote
ISSTA
2010
ACM
15 years 3 months ago
2010
ACM
Writing reliable software is difficult. It becomes even more difficult when writing scientific software involving floating-point numbers. Computers provide numbers with limite...
139
Voted
IEEEARES
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting memory errors in C source code. We extend the standard C type system with effect, region, and host annotat...
132
click to vote
DATE
2008
IEEE
15 years 8 months ago
2008
IEEE
Mutation analysis is a widely-adopted strategy in software testing with two main purposes: measuring the quality of test suites, and identifying redundant code in programs. Simila...
134
Voted
WCRE
2002
IEEE
15 years 6 months ago
2002
IEEE
The University of Queensland Binary Translator (UQBT ) is a static binary translation framework that allows for the translation of binary, executable programs, from one architectu...