Static Program AnalysisAnders Møller and Michael I. Schwartzbach Department of Computer Science, Aarhus University Last revision: June 2024 PDF BibTeX Static program analysis is the art of reasoning about the behavior of computer programs without actually running them. This is useful not only in optimizing compilers for producing efficient code but also for automatic error detection and other tools that can help program
(PDF) De-anonymizing Programmers via Code Stylometry
