2011 | OriginalPaper | Buchkapitel
Datalog-Based Program Analysis with BES and RWL
verfasst von : María Alpuente, Marco Antonio Feliú, Christophe Joubert, Alicia Villanueva
Erschienen in: Datalog Reloaded
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
This paper describes two techniques for
Datalog
query evaluation and their application to object-oriented program analysis. The first technique transforms
Datalog
programs into an implicit Boolean Equation System (
Bes
) that can then be solved by using linear-time complexity algorithms that are available in existing, general purpose verification toolboxes such as
Cadp
. In order to improve scalability and to enable analyses involving advanced meta-programming features, we develop a second methodology that transforms
Datalog
programs into rewriting logic (
Rwl
) theories. This method takes advantage of the preeminent features and facilities that are available within the high-performance system
Maude
, which provides a very efficient implementation of
Rwl
. We provide evidence of the practicality of both approaches by reporting on some experiments with a number of real-world
Datalog
-based analyses.