MetaDL: Analysing Datalog in Datalog

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