166 search results - page 5 / 34 » Effective static deadlock detection |
ACSAC
2006
IEEE
14 years 1 months 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...
PLDI
2006
ACM
14 years 1 months 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...
CAV
2007
Springer
14 years 1 months 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...
APSEC
1995
IEEE
13 years 11 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...
SP
2006
IEEE
14 years 1 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...