494 search results - page 3 / 99 » Static Analysis for Guarded Code |
120
Voted
PLDI
2000
ACM
15 years 4 months ago
2000
ACM
Dynamic class loading during program execution in the JavaTM Programming Language is an impediment for generating code that is as e cient as code generated using static wholeprogr...
104
Voted
SP
2008
IEEE
15 years 6 months ago
2008
IEEE
Attacks often exploit memory errors to gain control over the execution of vulnerable programs. These attacks remain a serious problem despite previous research on techniques to pr...
110
click to vote
XPU
2007
Springer
15 years 5 months ago
2007
Springer
The number of defects is an important indicator of software quality. Agile software development methods put an explicit requirement on automation and permanently low defect rates. ...
92
Voted
ESSOS
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. To understand the effect of code complexity on static analysis, thirty-five format string vulnerabilities were studied. We analyzed two code samples for each vulnerabilit...
ICCL
1992
IEEE
15 years 3 months ago
1992
IEEE
rogram. Our abstract interpretation algorithm may then be used to perform static type analysis. The analysis has applications in detecting probable errors in the PostScript code or...