6 search results - page 1 / 2 » Sound Non-statistical Clustering of Static Analysis Alarms |
VMCAI
2012
Springer
12 years 9 days ago
2012
Springer
We present a sound method for clustering alarms from static analyzers. Our method clusters alarms by discovering sound dependencies between them such that if the dominant alarm of ...
INFSOF
2010
13 years 2 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...
SAS
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. We present our experience of combining, in a realistic setting, a static analyzer with a statistical analysis. This combination is in order to reduce the inevitable false...
PLDI
2003
ACM
13 years 10 months ago
2003
ACM
d Abstract) Bruno Blanchet∗ § Patrick Cousot§ Radhia Cousot∗¶ J´erˆome Feret§ Laurent Mauborgne§ Antoine Min´e§ David Monniaux∗§ Xavier Rival§ that abstract inter...
ICSE
2008
IEEE-ACM
14 years 5 months ago
2008
IEEE-ACM
JPREDICTOR is a tool for detecting concurrency errors in JAVA programs. The JAVA program is instrumented to emit property-relevant events at runtime and then executed. The resulti...