44 search results - page 6 / 9 » Flow-sensitive pointer analysis for millions of lines of cod... |
ECOOPWEXCEPTION
2006
Springer
13 years 11 months ago
2006
Springer
It is difficult to write programs that behave correctly in the presence of exceptions. We describe a dataflow analysis for finding a certain class of mistakes made while programs h...
ESOP
2001
Springer
13 years 12 months ago
2001
Springer
We check statically whether it is safe for untrusted foreign machine code to be loaded into a trusted host system. (Here “safety” means that the program abides by a memory-acc...
IEEEPACT
2009
IEEE
13 years 5 months ago
2009
IEEE
As the gap between processor and memory continues to grow, memory performance becomes a key performance bottleneck for many applications. Compilers therefore increasingly seek to m...
AINA
2009
IEEE
14 years 2 months ago
2009
IEEE
The validation of software quality metrics lacks statistical significance. One reason for this is that the data collection requires quite some effort. To help solve this problem,...
ISSRE
2010
IEEE
13 years 5 months ago
2010
IEEE
—Architecture-based software reliability analysis methods shall help software architects to identify critical software components and to quantify their influence on the system r...