Abstract: While program comprehension tools often use static program analysis techniques to obtain useful information, they usually work only with sufficiently scalable techniques with limited ...

CodeRabbit combines code graph analysis and the power of large language models to identify issues in pull requests and suggest improvements, or even generate those improvements in a new branch. Code ...

A.I. tools from Microsoft and other companies are helping write code, placing software engineers at the forefront of the technology’s potential to disrupt the work force. By Steve Lohr Steve Lohr has ...

The complexity of modern software systems, coupled with the increasing sophistication of cyber threats, underscores the critical need for robust security measures. Ensuring software integrity is not ...

Static analysis is an inherent part of the software development process since it enables such activities as bug finding, program optimization, and debugging. The traditional approaches have two major ...

This collection contains materials on SEI’s research regarding how to improve alert systems in static analysis tools as well as the automation of these tools. Static analysis (SA) tools analyze source ...

Klieber, W., and Flynn, L., 2024: Evaluating Static Analysis Alerts with LLMs. Carnegie Mellon University, Software Engineering Institute's Insights (blog), Accessed ...