476 search results - page 27 / 96 » Static analysis of PostScript code |
AMAST
2008
Springer
13 years 10 months ago
2008
Springer
In this paper, we present a novel approach that establishes a synergy between static and dynamic analyses for detecting memory errors in C code. We extend the standard C type syste...
ICSE
2009
IEEE-ACM
14 years 8 months ago
2009
IEEE-ACM
A variety of compilers, static analyses, and testing frameworks rely heavily on path frequency information. Uses for such information range from optimizing transformations to bug ...
ICSE
2007
IEEE-ACM
14 years 8 months ago
2007
IEEE-ACM
This paper presents an approach to statically retrofit legacy servers with mechanisms for authorization policy enforcement. The approach is based upon the observation that securit...
FAST
2011
12 years 11 months ago
2011
We present Anticipatory Memory Allocation (AMA), a new method to build kernel code that is robust to memoryallocation failures. AMA avoids the usual difficulties in handling allo...
CADE
2008
Springer
14 years 8 months ago
2008
Springer
Confidentiality is maybe the most popular security property to be formally or informally verified. Noninterference is a baseline security policy to formalize confidentiality of sec...