792 search results - page 88 / 159 » Static Analysis of XSLT Programs |
262
Voted
ICSE
2011
IEEE-ACM
14 years 9 months ago
2011
IEEE-ACM
A raw object is partially initialized, with only some fields set to legal values. It may violate its object invariants, such as that a given field is non-null. Programs often ma...
130
Voted
SIGADA
1998
Springer
15 years 10 months ago
1998
Springer
The requirements of High Integrity safety-critical, secure and mission-critical Software force developers to use specialised development techniques. Often the choice of computer l...
164
Voted
ISSTA
2006
ACM
16 years 3 days ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
198
click to vote
INFSOF
2010
15 years 3 months ago
2010
Buffer overflow detection using static analysis can provide a powerful tool for software ers to find difficult bugs in C programs. Sound static analysis based on abstract interpre...
195
Voted
PASTE
2010
ACM
15 years 8 months ago
2010
ACM
Many analysis techniques have been proposed to determine when a potentially null value may be dereferenced. But we have observed in practice that not every potential null derefere...