651 search results - page 85 / 131 » Precise Analysis of Java Programs Using JOANA |
130
click to vote
SIGSOFT
2005
ACM
16 years 3 months ago
2005
ACM
We develop a method for matching dynamic histories of program executions of two program versions. The matches produced can be useful in many applications including software piracy...
113
click to vote
SIGSOFT
2003
ACM
16 years 3 months ago
2003
ACM
This paper proposes a pointer alias analysis for automatic error detection. State-of-the-art pointer alias analyses are either too slow or too imprecise for finding errors in real...
175
Voted
CAV
2008
Springer
15 years 4 months ago
2008
Springer
Pointer safety faults in device drivers are one of the leading causes of crashes in operating systems code. In principle, shape analysis tools can be used to prove the absence of t...
147
click to vote
SP
2006
IEEE
15 years 8 months ago
2006
IEEE
The number and the importance of Web applications have increased rapidly over the last years. At the same time, the quantity and impact of security vulnerabilities in such applica...
132
Voted
HASE
1998
IEEE
15 years 6 months ago
1998
IEEE
This paper deals with verification of flow control in concurrent programs. We use Ada language model as reference. After translation of Ada programs into Petri nets (named Ada net...