Static analysis tools are widely used for vulnerability detection as they understand programs
with complex behavior and millions of lines of code. Despite their popularity, static analysis …

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 are widely used for vulnerability detection as they can analyze
programs with complex behavior and millions of lines of code. Despite their popularity, static …

Despite their ability to detect critical bugs in software, developers consider high false
positive rates to be a key barrier to using static analysis tools in practice. To improve the …

Microbial community is an important part of organisms or ecosystems to maintain health and
stability. Analyzing the interaction of microorganisms in the ecosystem and mining the co …

Abstraction is a fundamental tool for reasoning about a complex system. Program
abstraction has been utilized to great effect for analyzing deterministic programs. At the heart …

Abstraction is a powerful idea widely used in science, to model, reason and explain the
behavior of systems in a more tractable search space, by omitting irrelevant details. While …

Reverse engineering (RE) analysts struggle to address critical questions about the safety of
binary code accurately and promptly, and their supporting program analysis tools are simply …

Abstraction is a powerful idea widely used in science, to model, reason and explain the
behavior of systems in a more tractable search space, by omitting irrelevant details. While …