792 search results - page 71 / 159 » Static Analysis of XSLT Programs |
103
Voted
SEFM
2008
IEEE
15 years 7 months ago
2008
IEEE
Attempts to dereference null result in an exception or a segmentation fault. Hence it is important to know those program points where this might occur and prove the others (or the...
98
Voted
ICSE
2005
IEEE-ACM
16 years 27 days ago
2005
IEEE-ACM
UML sequence diagrams are commonly used to represent object interactions in software systems. This work considers the problem of extracting UML sequence diagrams from existing cod...
97
Voted
SAS
2007
Springer
15 years 7 months ago
2007
Springer
Denotational static analysis of Java bytecode has a nice and clean compositional definition and an efficient implementation with binary decision diagrams. But it models only the f...
163
click to vote
ESORICS
2012
Springer
13 years 3 months ago
2012
Springer
Tracking information flow in dynamic languages remains an open challenge. It might seem natural to address the challenge by runtime monitoring. However, there are well-known funda...
129
Voted
OSDI
2006
ACM
16 years 1 months ago
2006
ACM
Software attacks often subvert the intended data-flow in a vulnerable program. For example, attackers exploit buffer overflows and format string vulnerabilities to write data to u...