Extra entry points

[GoogleCodeExporter]

Code for handling extra entry points.

Original issue reported on code.google.com by asrabkin@gmail.com on 14 Oct 2010 at 7:31

Attachments:

• extraEntry.patch

[GoogleCodeExporter]

Also requires some Datalog. I've been using the following enhancement to the 
points-to. But it could be fancied-up, e.g., by having fields point to anything 
of appropriate type or subtype.

--------
MentryPoints(m:M) input

externalArg(v:V) output

externalArg(v) :- MmethArg(m,_,v),MentryPoints(m).
VH(v,h) :- externalArg(v),VT(v,t),clsTH(t,h).
#fields of hypothetical objects (external args) point to hypothetical objects 
args
HFH(h1,f,h2) :- clsTH(t,h1),TFT(t,f,t2),clsTH(t2,h2).

reachableM(m) :- MentryPoints(m).

Original comment by asrabkin@gmail.com on 14 Oct 2010 at 7:32

[GoogleCodeExporter]

Java-side mods committed in revision r1185.  Have not modified points-to in 
Trunk.

Original comment by asrabkin@gmail.com on 15 Oct 2010 at 10:57

• Changed state: Started