Sat 22 Jun 2019 14:40 - 15:00 at 106A - Engineering Advances for Program Analysis Tools Chair(s): Thierry Lavoie

Datalog has emerged as a powerful tool for expressing static program analyses. Program analysis researchers have built nontrivial code bases in Datalog, but tool support for working with Datalog itself has been lacking. In this paper, we introduce MetaDL, a language extension to Datalog that enables source-level Datalog program analysis within Datalog. We describe several program analyses implemented in MetaDL and report on initial experiences. Our findings show that the language is effective for real-life Datalog analysis and can simplify working with Datalog source code.

Sat 22 Jun

Displayed time zone: Tijuana, Baja California change

14:00 - 15:30
Engineering Advances for Program Analysis ToolsSOAP at 106A
Chair(s): Thierry Lavoie Synopsys, Inc.
14:00
20m
Talk
SootDiff: Bytecode Comparison across different Java Compilers
SOAP
Andreas Dann Paderborn University, Ben Hermann Paderborn University, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Pre-print
14:20
20m
Talk
Modernizing Parsing Tools
SOAP
14:40
20m
Talk
MetaDL: Analysing Datalog in Datalog
SOAP
Pre-print
15:00
30m
Talk
Open Discussion on Previous Talks 2
SOAP