494 search results - page 14 / 99 » Static Analysis for Guarded Code |
NDSS
2007
IEEE
14 years 2 months ago
2007
IEEE
Cross-site scripting (XSS) is an attack against web applications in which scripting code is injected into the output of an application that is then sent to a user’s web browser....
ICCD
2004
IEEE
14 years 5 months ago
2004
IEEE
We selectively generate and optimize the frames constructed by the rePLay architecture statically. Since static analysis provides a global view of the interaction between the basi...
IEEEINTERACT
2003
IEEE
14 years 1 months ago
2003
IEEE
Recent studies on program execution behavior reveal that a large amount of execution time is spent in small frequently executed regions of code. Whereas adaptive cache management ...
ACSAC
2006
IEEE
14 years 2 months ago
2006
IEEE
In the last few years, several approaches have been proposed to perform vulnerability analysis of applications written in high-level languages. However, little has been done to au...
CAV
2012
Springer
11 years 11 months ago
2012
Springer
We present Joogie, a tool that detects infeasible code in Java programs. Infeasible code is code that does not occur on feasible controlflow paths and thus has no feasible executi...