MetaDL: Declarative program analysis for the masses

Alexandru Dura; Hampus Balldin

doi:10.1145/3359061.3362781

MetaDL: Declarative program analysis for the masses

Alexandru Dura, Hampus Balldin

Lund University

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

Abstract

While Datalog provides a high-level language for expressing static program analyses, it depends on external tooling to extract the input facts from the analyzed programs. To remove this dependency, we present MetaDL. The MetaDL system consists of a Datalog language extension for source-level program analysis and tools for generating the language extension from a description of the analyzed language.

Original language	English
Title of host publication	SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications
Subtitle of host publication	Software for Humanity
Editors	Yannis Smaragdakis
Publisher	Association for Computing Machinery (ACM)
Pages	17-18
Number of pages	2
ISBN (Electronic)	9781450369923
DOIs	https://doi.org/10.1145/3359061.3362781
Publication status	Published - 2019 Oct 20
Event	2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH Companion 2019 - Athens, Greece Duration: 2019 Oct 20 → 2019 Oct 25

Publication series

Name	SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity

Conference

Conference	2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH Companion 2019
Country/Territory	Greece
City	Athens
Period	2019/10/20 → 2019/10/25

Subject classification (UKÄ)

Software Engineering

Free keywords

Datalog
Domain-Specific Languages
Pattern Matching
Static Analysis

Access to Document

10.1145/3359061.3362781

1 Article

JavaDL: Automatically Incrementalizing Java Bug Pattern Detection
Dura, A., Reichenbach, C. & Söderberg, E., 2021 Oct 1, In: Proceedings of the ACM on Programming Languages. 5, OOPSLA, 165.
Research output: Contribution to journal › Article › peer-review

Open Access

1 Active

Performance bug detection through combined static and dynamic program analysis
Dura, A. (Researcher) & Reichenbach, C. (Researcher)
2018/10/15 → …
Project: Dissertation

Cite this

Dura, A., & Balldin, H. (2019). MetaDL: Declarative program analysis for the masses. In Y. Smaragdakis (Ed.), SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (pp. 17-18). (SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity). Association for Computing Machinery (ACM). https://doi.org/10.1145/3359061.3362781

Dura, Alexandru ; Balldin, Hampus. / MetaDL : Declarative program analysis for the masses. SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity. editor / Yannis Smaragdakis. Association for Computing Machinery (ACM), 2019. pp. 17-18 (SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity).

@inproceedings{5e553617af6441f28b0736215a854256,

title = "MetaDL: Declarative program analysis for the masses",

abstract = "While Datalog provides a high-level language for expressing static program analyses, it depends on external tooling to extract the input facts from the analyzed programs. To remove this dependency, we present MetaDL. The MetaDL system consists of a Datalog language extension for source-level program analysis and tools for generating the language extension from a description of the analyzed language.",

keywords = "Datalog, Domain-Specific Languages, Pattern Matching, Static Analysis",

author = "Alexandru Dura and Hampus Balldin",

year = "2019",

month = oct,

day = "20",

doi = "10.1145/3359061.3362781",

language = "English",

series = "SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity",

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

pages = "17--18",

editor = "Yannis Smaragdakis",

booktitle = "SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications",

address = "United States",

note = "2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH Companion 2019 ; Conference date: 20-10-2019 Through 25-10-2019",

}

Dura, A & Balldin, H 2019, MetaDL: Declarative program analysis for the masses. in Y Smaragdakis (ed.), SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity. SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, Association for Computing Machinery (ACM), pp. 17-18, 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH Companion 2019, Athens, Greece, 2019/10/20. https://doi.org/10.1145/3359061.3362781

MetaDL: Declarative program analysis for the masses. / Dura, Alexandru; Balldin, Hampus.
SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity. ed. / Yannis Smaragdakis. Association for Computing Machinery (ACM), 2019. p. 17-18 (SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity).

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

TY - GEN

T1 - MetaDL

T2 - 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH Companion 2019

AU - Dura, Alexandru

AU - Balldin, Hampus

PY - 2019/10/20

Y1 - 2019/10/20

N2 - While Datalog provides a high-level language for expressing static program analyses, it depends on external tooling to extract the input facts from the analyzed programs. To remove this dependency, we present MetaDL. The MetaDL system consists of a Datalog language extension for source-level program analysis and tools for generating the language extension from a description of the analyzed language.

AB - While Datalog provides a high-level language for expressing static program analyses, it depends on external tooling to extract the input facts from the analyzed programs. To remove this dependency, we present MetaDL. The MetaDL system consists of a Datalog language extension for source-level program analysis and tools for generating the language extension from a description of the analyzed language.

KW - Datalog

KW - Domain-Specific Languages

KW - Pattern Matching

KW - Static Analysis

U2 - 10.1145/3359061.3362781

DO - 10.1145/3359061.3362781

M3 - Paper in conference proceeding

T3 - SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity

SP - 17

EP - 18

BT - SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications

A2 - Smaragdakis, Yannis

PB - Association for Computing Machinery (ACM)

Y2 - 20 October 2019 through 25 October 2019

ER -

Dura A, Balldin H. MetaDL: Declarative program analysis for the masses. In Smaragdakis Y, editor, SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity. Association for Computing Machinery (ACM). 2019. p. 17-18. (SPLASH Companion 2019 - Proceedings Companion of the 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity). doi: 10.1145/3359061.3362781

MetaDL: Declarative program analysis for the masses

Abstract

Publication series

Conference

Subject classification (UKÄ)

Free keywords

Access to Document

Fingerprint

Research output

JavaDL: Automatically Incrementalizing Java Bug Pattern Detection

Projects

Performance bug detection through combined static and dynamic program analysis

Cite this