166 search results - page 5 / 34 » Effective static deadlock detection |
158
Voted
ACSAC
2006
IEEE
16 years 16 days ago
2006
IEEE
In the last few years, several approaches have been proposed to perform vulnerability analysis of applications written in high-level languages. However, little has been done to au...
173
Voted
PLDI
2006
ACM
16 years 12 days ago
2006
ACM
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...
172
Voted
CAV
2007
Springer
16 years 19 days ago
2007
Springer
We present new techniques for fast, accurate and scalable static data race detection in concurrent programs. Focusing our analysis on Linux device drivers allowed us to identify th...
154
click to vote
APSEC
1995
IEEE
15 years 10 months ago
1995
IEEE
Guaranteeiq reproducibility and minimizing probe effects are major issues in the parallel program debugging. This paper suggests a new debugging method, named Detect and Reproduce...
201
Voted
SP
2006
IEEE
16 years 14 days 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...