Actionable Warning Identification (AWI) plays a crucial role in improving the usability of static
code analyzers. With recent advances in Machine Learning (ML), various approaches have …

Static analysis tools for capturing bugs and vulnerabilities in software programs are widely
employed in practice, as they have the unique advantages of high coverage and …

GPUs are progressively being integrated into modern society, playing a pivotal role in
Artificial Intelligence and High-Performance Computing. Programmers need a deep …

Automatically generated static code warnings suffer from a large number of false alarms.
Hence, developers only take action on a small percent of those warnings. To better predict …

This paper reports on our experience implementing a technique for sifting through static
analysis reports using dynamic symbolic execution. Our insight is that if a static analysis tool …

Manual confirmation of static analysis reports is a daunting task. This is due to both the large
number of warnings and the high density of false positives among them. Fuzzing techniques …

Actionable Warning Identification (AWI) plays a pivotal role in improving the usability of static
code analyzers. Currently, Machine Learning (ML)-based AWI approaches, which mainly …

Modern compilers often offer a variety of warning flags, which developers can enable to get
feedback on code that, while syntactically correct, may be problematic. In the case of C++ …

Software often fails in the field, however reproducing and debugging field failures is very
challenging: the failure-inducing input may be missing, and the program setup can be …

Automatically generated static code warnings suffer from a large number of false alarms.
Hence, developers only take action on a small percent of those warnings. To better predict …