DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer | Zendy

Marı́a Alpuente | Zendy; Marco A. Feliú | Zendy; Christophe Joubert | Zendy; Alicia Villanueva | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer

Author(s) -

Marı́a Alpuente,

Marco A. Feliú,

Christophe Joubert,

Alicia Villanueva

Publication year - 2009

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2009.07.059

Subject(s) - datalog , computer science , programming language , java , bytecode , program analysis , semantics (computer science) , analyser , theoretical computer science , deductive database , toolbox , set (abstract data type) , chemistry , chromatography

This work presents a practical Java program analysis framework that is obtained by combining a Java virtual machine with a general-purpose verification toolbox that we previously extended. In our methodology, Datalog clauses are used to specify complex interprocedural program analyses involving dynamically created objects. After extracting an initial set of Datalog constraints about the Java bytecode program semantics, our framework transforms the Datalog rules of a particular analysis into a Boolean Equation System (Bes), whose local resolution using the aforementioned extended verification toolbox corresponds to the demand-driven computation of the analysis

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research