494 search results - page 11 / 99 » Static Analysis for Guarded Code |
COMPSAC
2008
IEEE
14 years 3 months ago
2008
IEEE
1 Typical enterprise and military software systems consist of millions of lines of code with complicated dependence on library abstractions. Manually debugging these codes imposes ...
PLDI
2009
ACM
14 years 9 months ago
2009
ACM
High-level languages are growing in popularity. However, decades of C software development have produced large libraries of fast, timetested, meritorious code that are impractical...
SP
2002
IEEE
13 years 8 months ago
2002
IEEE
We describe a method for finding security flaws in source code by way of static analysis. The method is notable because it allows a user to specify a wide range of security proper...
DAC
2009
ACM
14 years 9 months ago
2009
ACM
Caches are notorious for their unpredictability. It is difficult or even impossible to predict if a memory access will result in a definite cache hit or miss. This unpredictabilit...
DAC
2006
ACM
14 years 9 months ago
2006
ACM
Recent progress in EDA tools allows IC designs to be accurately verified with consequent improvements in yield and performance through reduced guard bands. This paper will present...