Advanced

MetaDL: Analysing Datalog in Datalog

Dura, Alexandru LU ; Balldin, Hampus and Reichenbach, Christoph LU (2019) 8th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2019 p.38-43
Abstract
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.
Please use this url to cite or link to this publication:
author
; and
organization
publishing date
type
Chapter in Book/Report/Conference proceeding
publication status
published
subject
host publication
SOAP 2019 8th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
pages
6 pages
publisher
Association for Computing Machinery (ACM)
conference name
8th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2019
conference location
Phoenix, United States
conference dates
2019-06-22 - 2019-06-26
external identifiers
  • scopus:85074450059
ISBN
978-1-4503-6720-2
DOI
10.1145/3315568.3329970
project
Performance bug detection through combined static and dynamic program analysis
WASP startup package Christoph Reichenbach
language
English
LU publication?
yes
id
7e82c82f-45c4-4707-9739-eebc5af75250
date added to LUP
2019-05-23 10:31:08
date last changed
2020-10-07 06:30:27
@inproceedings{7e82c82f-45c4-4707-9739-eebc5af75250,
  abstract     = {Datalog has emerged as a powerful tool for expressing static<br/>program analyses. Program analysis researchers have built<br/>nontrivial code bases in Datalog, but tool support for working<br/>with Datalog itself has been lacking. In this paper, we<br/>introduce MetaDL, a language extension to Datalog that<br/>enables source-level Datalog program analysis within Datalog.<br/>We describe several program analyses implemented in<br/>MetaDL and report on initial experiences. Our findings show<br/>that the language is effective for real-life Datalog analysis<br/>and can simplify working with Datalog source code.<br/>},
  author       = {Dura, Alexandru and Balldin, Hampus and Reichenbach, Christoph},
  booktitle    = {SOAP 2019 8th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis},
  isbn         = {978-1-4503-6720-2},
  language     = {eng},
  pages        = {38--43},
  publisher    = {Association for Computing Machinery (ACM)},
  title        = {MetaDL: Analysing Datalog in Datalog},
  url          = {https://lup.lub.lu.se/search/ws/files/64821565/paper.pdf},
  doi          = {10.1145/3315568.3329970},
  year         = {2019},
}