Static Program Analysis in Datalog
A talk by Knut Berling:
March 23, 2023
11 a.m. – noon
APB/3027 | BigBlueButton
Join us now:
https://bbb.tu-dresden.de/b/pio-zwt-smp-aus
https://iccl.inf.tu-dresden.de/web/Static_Program_Analysis_in_Datalog/en
Abstract
Doop is a framework for Program Analysis of Java code. It utilizes the Datalog engine Souffle to run high-speed analyses on an Intermediate Code Representation. Existing analyses mainly deal with larger-scope Pointer Analysis, but not with local optimization possibilities. In this talk, I focus on the implementation of local static analyses like Constant Folding, Liveness and Available Expressions in Doop. I will give an introduction into the related frameworks, and point out benefits and limitations of Doop and Souffle regarding each analysis. Furthermore I will compare my results to existing tools for static code analysis and give an outlook whether Doop is suitable for local static analysis.Events All Events
Anas Shahab
June 8, 2023
Join us (hybrid event)
Sophie Adama, Martin Bogdan
June 21, 2023
Join us (local event)
September 11, 2023
September 25, 2023
Register now
October 26, 2023