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 …

Program analyzers are critical in safeguarding software reliability. However, due to their
inherent complexity, they are likely to contain bugs themselves, and the question of how to …

Program analyzers implement complex algorithms and, as any software, can contain bugs.
Bugs in their implementation may lead to analyzers being imprecise and failing to verify safe …

Refactoring is a critical process in software development, aiming at improving the internal
structure of code while preserving its external behavior. Refactoring engines are integral …

Static code analyzers are widely used to help find program flaws. However, in practice the
effectiveness and usability of such analyzers is affected by the problems of false negatives …

Static analysis frameworks (SAFs) such as Soot and WALA have been a fundamental
support in today's software analysis. They usually adopt various analysis techniques to …