Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
8th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2019,Phoenix, United States,2019-06-22 - 2019-06-26, 2019, p.38-43
8th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2019,Phoenix, United States,2019-06-22 - 2019-06-26, 2019, p.38-43
Ort / Verlag
New York, NY, USA: ACM
Erscheinungsjahr
2019
Quelle
ACM Digital Library
Beschreibungen/Notizen
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.