Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Datalog-based Program Analysis with BES and RWL
 

Summary: Datalog-based Program Analysis
with BES and RWL
M. Alpuente, M. A. Feli´u, C. Joubert, and A. Villanueva
Universidad Polit´ecnica de Valencia, DSIC / ELP
Camino de Vera s/n, 46022 Valencia, Spain
{alpuente,mfeliu,joubert,villanue}@dsic.upv.es
Abstract. This paper describes two techniques for Datalog query evalu-
ation and their application to object-oriented program analysis. The first
technique transforms Datalog programs into an implicit Boolean Equa-
tion System (Bes) that can then be solved by using linear-time complex-
ity 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 sys-
tem 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.
1 Introduction

  

Source: Alpuente, María - Departamento de Sistemas Informáticos y Computación, Universitat Politècnica de València

 

Collections: Computer Technologies and Information Sciences