From WG 2.11
Jump to: navigation, search

Logic programming, Attribute Grammars, Pattern matching, and Term Rewriting offer different declarative views on (frontend-level) program analysis. In this talk I will discuss two bug detection tools that we have built for Java through a combination of the first three techniques and reflect on the opportunities offered by the different approaches and their strengths and weaknesses. The talk is largely based on the following papers:

  • Alexandru Dura, Christoph Reichenbach, Emma Söderberg: `JavaDL: Automatically Incrementalizing Java Bug Pattern Detection' (OOPSLA 2021)
  • Idriss Riouak, Christoph Reichenbach, Görel Hedin, Niklas Fors: `A Precise Framework for Source-Level Control-Flow Analysis' (SCAM 2021)