MetaDL: Analysing Datalog in Datalog

Alexandru Dura; Hampus Balldin; Christoph Reichenbach

doi:10.1145/3315568.3329970

MetaDL: Analysing Datalog in Datalog

Alexandru Dura, Hampus Balldin, Christoph Reichenbach

Lund University

Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review

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.

Original language	English
Title of host publication	SOAP 2019 8th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
Publisher	Association for Computing Machinery (ACM)
Pages	38-43
Number of pages	6
ISBN (Print)	978-1-4503-6720-2
DOIs	https://doi.org/10.1145/3315568.3329970
Publication status	Published - 2019
Event	8th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2019 - Phoenix, United States Duration: 2019 Jun 22 → 2019 Jun 26

Workshop

Workshop	8th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2019
Country/Territory	United States
City	Phoenix
Period	2019/06/22 → 2019/06/26

Subject classification (UKÄ)

Computer Science

Access to Document

10.1145/3315568.3329970

1 Finished
1 Active

Performance bug detection through combined static and dynamic program analysis
Dura, A. & Reichenbach, C.
2018/10/15 → …
Project: Dissertation
WASP startup package Christoph Reichenbach
Reichenbach, C.
2017/10/16 → 2021/10/15
Project: Research

MetaDL and Beyond: Custom Program Analyses in Datalog
Christoph Reichenbach (Role not specified)
2019 Jun 23
Activity: Talk or presentation › Presentation

Cite this

@inproceedings{7e82c82f45c447079739eebc5af75250,

title = "MetaDL: Analysing Datalog in Datalog",

abstract = "Datalog has emerged as a powerful tool for expressing staticprogram analyses. Program analysis researchers have builtnontrivial code bases in Datalog, but tool support for workingwith Datalog itself has been lacking. In this paper, weintroduce MetaDL, a language extension to Datalog thatenables source-level Datalog program analysis within Datalog.We describe several program analyses implemented inMetaDL and report on initial experiences. Our findings showthat the language is effective for real-life Datalog analysisand can simplify working with Datalog source code.",

author = "Alexandru Dura and Hampus Balldin and Christoph Reichenbach",

year = "2019",

doi = "10.1145/3315568.3329970",

language = "English",

isbn = "978-1-4503-6720-2",

pages = "38--43",

booktitle = "SOAP 2019 8th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis",

publisher = "Association for Computing Machinery (ACM)",

address = "United States",

note = "8th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2019 ; Conference date: 22-06-2019 Through 26-06-2019",

}

Dura, A, Balldin, H & Reichenbach, C 2019, MetaDL: Analysing Datalog in Datalog. in SOAP 2019 8th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis. Association for Computing Machinery (ACM), pp. 38-43, 8th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2019 , Phoenix, United States, 2019/06/22. https://doi.org/10.1145/3315568.3329970

TY - GEN

T1 - MetaDL: Analysing Datalog in Datalog

AU - Dura, Alexandru

AU - Balldin, Hampus

AU - Reichenbach, Christoph

PY - 2019

Y1 - 2019

N2 - Datalog has emerged as a powerful tool for expressing staticprogram analyses. Program analysis researchers have builtnontrivial code bases in Datalog, but tool support for workingwith Datalog itself has been lacking. In this paper, weintroduce MetaDL, a language extension to Datalog thatenables source-level Datalog program analysis within Datalog.We describe several program analyses implemented inMetaDL and report on initial experiences. Our findings showthat the language is effective for real-life Datalog analysisand can simplify working with Datalog source code.

AB - Datalog has emerged as a powerful tool for expressing staticprogram analyses. Program analysis researchers have builtnontrivial code bases in Datalog, but tool support for workingwith Datalog itself has been lacking. In this paper, weintroduce MetaDL, a language extension to Datalog thatenables source-level Datalog program analysis within Datalog.We describe several program analyses implemented inMetaDL and report on initial experiences. Our findings showthat the language is effective for real-life Datalog analysisand can simplify working with Datalog source code.

U2 - 10.1145/3315568.3329970

DO - 10.1145/3315568.3329970

M3 - Paper in conference proceeding

SN - 978-1-4503-6720-2

SP - 38

EP - 43

BT - SOAP 2019 8th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis

PB - Association for Computing Machinery (ACM)

T2 - 8th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2019

Y2 - 22 June 2019 through 26 June 2019

ER -

MetaDL: Analysing Datalog in Datalog

Abstract

Workshop

Subject classification (UKÄ)

Access to Document

Projects

Performance bug detection through combined static and dynamic program analysis

WASP startup package Christoph Reichenbach

Activities

MetaDL and Beyond: Custom Program Analyses in Datalog

Cite this