792 search results - page 61 / 159 » Static Analysis of XSLT Programs |
97
Voted
TOPLAS
2008
15 years 20 days ago
2008
Current critical systems often use a lot of floating-point computations, and thus the testing or static analysis of programs containing floatingpoint operators has become a priori...
134
Voted
OOPSLA
2007
Springer
15 years 7 months ago
2007
Springer
Java bug finders perform static analysis to find implementation mistakes that can lead to exploits and failures; Java compilers perform static analysis for optimization. If Java...
104
Voted
PLDI
2009
ACM
15 years 7 months ago
2009
ACM
Taint analysis, a form of information-flow analysis, establishes whether values from untrusted methods and parameters may flow into security-sensitive operations. Taint analysis...
85
Voted
FASE
2010
Springer
15 years 7 months ago
2010
Springer
This paper describes a compositional analysis algorithm for statically detecting leaks in Java programs. The algorithm is based on separation logic and exploits the concept of bi-a...
111
Voted
KBSE
2007
IEEE
15 years 7 months ago
2007
IEEE
The proposed research defines an approach to combine Information Retrieval based analysis of the textual information embedded in software artifacts with program static and dynamic...