MetaDL: Analysing Datalog in Datalog
(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:
https://lup.lub.lu.se/record/7e82c82f-45c4-4707-9739-eebc5af75250
- author
- Dura, Alexandru LU ; Balldin, Hampus and Reichenbach, Christoph LU
- organization
- publishing date
- 2019
- 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
- 2022-05-03 21:19:53
@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/files/64821565/paper.pdf}}, doi = {{10.1145/3315568.3329970}}, year = {{2019}}, }