[bddbddb-devel] bddbddb usage query
Status: Beta
Brought to you by:
joewhaley
|
From: WALA J. <wal...@gm...> - 2010-11-29 15:12:19
|
Hi,
I am planning to use bddbddb for dataflow analysis of Javascript
program. I have already downloaded bddbddb but still not sure how to set it
up and use even after going through the PLDI tutorial slides(however the
demos were missing there).
WALA already provide tools to parse the javascript program and express
in its own intermediate format. What I intend to do is - spit out the
fact/predicates such as pointsTo(v5, h1), heapPointsTo(h4, f9, h2) etc. by
WALA say in a txt file and then feed these facts to bddbddb program
containing the inference rules. As far as I understood I can define the
inference rule according to my necessity. Given a query say pointsTo(v100,
h50), the datalog program should decide whether it is true or false. Is
this possible ?
Or the java bytecode has to be provided directly to JOEq compiler
and that would produce the facts/predicates from the input program bytecode?
I would really appreciate if someone can provide a detailed
explanation on how the bddbddb works and how should I set it up.
Thanks
|