39 search results - page 5 / 8 » Information Flow Analysis for Java Bytecode |
APLAS
2001
ACM
14 years 6 days ago
2001
ACM
Exception analyses so far cannot provide information on the propagation of thrown exceptions, which is necessary to construct interprocedural control flow graph, visualize exceptio...
ESORICS
2000
Springer
14 years 4 days ago
2000
Springer
Several authors have proposed using code modification as a technique for enforcing security policies such as resource limits, access controls, and network information flows. Howeve...
POPL
2012
ACM
12 years 4 months ago
2012
ACM
JavaScript has become a central technology of the web, but it is also the source of many security problems, including cross-site scripting attacks and malicious advertising code. ...
CASSIS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This paper addresses the problem of static checking of programs to ensure that they satisfy confidentiality policies in the presence of dynamic access control in the for...
IWMM
2010
Springer
13 years 10 months ago
2010
Springer
The accurate prediction of program's memory requirements is a critical component in software development. Existing heap space analyses either do not take deallocation into ac...