joeq.Compiler.Analysis.IPA
Class PAProxy

java.lang.Object
  joeq.Compiler.Analysis.IPA.PAProxy

public class PAProxy
extends Object

Field Summary

net.sf.javabdd.BDD	A
net.sf.javabdd.BDD	actual
boolean	ADD_CLINIT
boolean	ADD_FINALIZERS
boolean	ADD_THREADS
net.sf.javabdd.BDD	aT
net.sf.javabdd.BDDFactory	bdd
int	bddcache
int	bddnodes
static String	callgraphFileName
boolean	CARTESIAN_PRODUCT
CallGraph	cg
net.sf.javabdd.BDD	cha
jq_Class	cloneable_class
boolean	CONTEXT_SENSITIVE
boolean	CS_CALLGRAPH
boolean	DISCOVER_CALL_GRAPH
boolean	DUMP_DOTGRAPH
net.sf.javabdd.BDDDomain	F
int	F_BITS
net.sf.javabdd.BDD	fC
boolean	FILTER_HP
boolean	FILTER_NULL
boolean	FILTER_VP
jq_NameAndDesc	finalizer_method
jwutil.collections.IndexMap	Fmap
net.sf.javabdd.BDD	formal
net.sf.javabdd.BDDVarSet	Fset
net.sf.javabdd.BDD	fT
int	H_BITS
net.sf.javabdd.BDDDomain	H1
net.sf.javabdd.BDDDomain[]	H1c
net.sf.javabdd.BDD	H1cdomain
net.sf.javabdd.BDDVarSet	H1cH2cset
net.sf.javabdd.BDDVarSet	H1cset
net.sf.javabdd.BDDVarSet	H1FH2set
net.sf.javabdd.BDDVarSet	H1Fset
net.sf.javabdd.BDDVarSet	H1H2set
net.sf.javabdd.BDDVarSet	H1set
net.sf.javabdd.BDDPairing	H1toH2
net.sf.javabdd.BDDPairing[]	H1toV1c
net.sf.javabdd.BDDDomain	H2
net.sf.javabdd.BDDDomain[]	H2c
net.sf.javabdd.BDD	H2cdomain
net.sf.javabdd.BDDVarSet	H2cset
net.sf.javabdd.BDDVarSet	H2Fset
net.sf.javabdd.BDDVarSet	H2set
net.sf.javabdd.BDDPairing	H2toH1
int	HC_BITS
jwutil.graphs.PathNumbering	hCnumbering
PA.HeapPathSelector	heapPathSelector
jwutil.collections.IndexedMap	Hmap
net.sf.javabdd.BDD	hP
net.sf.javabdd.BDD	hPfilter
net.sf.javabdd.BDD	hT
net.sf.javabdd.BDDDomain	I
int	I_BITS
net.sf.javabdd.BDD	IE
net.sf.javabdd.BDD	IEcs
net.sf.javabdd.BDD	IEfilter
boolean	IGNORE_EXCEPTIONS
jwutil.collections.IndexMap	Imap
net.sf.javabdd.BDDVarSet	IMset
boolean	INCLUDE_ALL_UNKNOWN_TYPES
boolean	INCLUDE_UNKNOWN_TYPES
boolean	INCREMENTAL1
boolean	INCREMENTAL2
boolean	INCREMENTAL3
net.sf.javabdd.BDDVarSet	INH1set
static String	initialCallgraphFileName
net.sf.javabdd.BDDVarSet	INset
net.sf.javabdd.BDDVarSet	INT2set
net.sf.javabdd.BDD	Iret
net.sf.javabdd.BDDVarSet	Iset
net.sf.javabdd.BDD	Ithr
jq_Method	javaLangObject_clone
jq_Method	javaLangObject_fakeclone
net.sf.javabdd.BDD	L
int	last_F
int	last_H
int	last_N
int	last_T
int	last_V
boolean	LONG_LOCATIONS
net.sf.javabdd.BDDDomain	M
int	M_BITS
static jq_NameAndDesc	main_method
static boolean	MATCH_FACTORY
int	MAX_HC_BITS
int	MAX_PARAMS
int	MAX_VC_BITS
net.sf.javabdd.BDD	mI
jwutil.collections.IndexMap	Mmap
net.sf.javabdd.BDD	Mret
net.sf.javabdd.BDDVarSet	Mset
net.sf.javabdd.BDD	Mthr
net.sf.javabdd.BDD	mV
net.sf.javabdd.BDDVarSet	MZset
net.sf.javabdd.BDDDomain	N
int	N_BITS
Map	newMethodSummaries
jwutil.collections.IndexMap	Nmap
net.sf.javabdd.BDD	NNfilter
net.sf.javabdd.BDDVarSet	Nset
jq_Class	object_class
boolean	OBJECT_SENSITIVE
PA.ObjectPathSelector	objectPathSelector
ObjectCreationGraph	ocg
jwutil.graphs.PathNumbering	oCnumbering
net.sf.javabdd.BDD	old1_A
net.sf.javabdd.BDD	old1_hP
net.sf.javabdd.BDD	old1_L
net.sf.javabdd.BDD	old1_S
net.sf.javabdd.BDD	old1_vP
net.sf.javabdd.BDD	old2_myIE
net.sf.javabdd.BDD	old2_visited
net.sf.javabdd.BDD	old3_hT
net.sf.javabdd.BDD	old3_t3
net.sf.javabdd.BDD	old3_t4
net.sf.javabdd.BDD	old3_t6
net.sf.javabdd.BDD[]	old3_t9
net.sf.javabdd.BDD	old3_vP
PrintStream	out
static Set	polyClasses
Map	rangeMap
static String	resultsFileName
boolean	reverseLocal
Set	rootMethods
static jq_NameAndDesc	run_method
net.sf.javabdd.BDD	S
net.sf.javabdd.BDD	staticCalls
net.sf.javabdd.BDD	sync
int	T_BITS
net.sf.javabdd.BDDDomain	T1
net.sf.javabdd.BDDVarSet	T1set
net.sf.javabdd.BDDPairing	T1toT2
net.sf.javabdd.BDDDomain	T2
net.sf.javabdd.BDDVarSet	T2Nset
net.sf.javabdd.BDDVarSet	T2set
net.sf.javabdd.BDDPairing	T2toT1
static Map	thread_runs
boolean	THREAD_SENSITIVE
static boolean	THREADS_ONLY
jq_Class	throwable_class
jwutil.collections.IndexMap	Tmap
boolean	TRACE
boolean	TRACE_BIND
boolean	TRACE_CONTEXT
boolean	TRACE_OBJECT
boolean	TRACE_RELATIONS
boolean	TRACE_SOLVER
PA.ToString	TS
boolean	USE_HCONTEXT
static boolean	USE_JOEQ_CLASSLIBS
boolean	USE_VCONTEXT
int	V_BITS
net.sf.javabdd.BDDDomain	V1
net.sf.javabdd.BDDDomain[]	V1c
net.sf.javabdd.BDD	V1cdomain
net.sf.javabdd.BDDVarSet	V1cH1cset
net.sf.javabdd.BDDPairing	V1cH1ctoV2cV1c
net.sf.javabdd.BDD[]	V1cH1equals
net.sf.javabdd.BDDVarSet	V1cset
net.sf.javabdd.BDDVarSet[]	V1csets
net.sf.javabdd.BDDPairing[]	V1ctoH1
net.sf.javabdd.BDDPairing	V1ctoV2c
net.sf.javabdd.BDDVarSet	V1cV2cset
net.sf.javabdd.BDDPairing	V1cV2ctoV2cV1c
net.sf.javabdd.BDDVarSet	V1Fset
net.sf.javabdd.BDDVarSet	V1FV2set
Map	V1H1correspondence
net.sf.javabdd.BDDVarSet	V1H1set
net.sf.javabdd.BDDPairing	V1H1toV2H2
net.sf.javabdd.BDDVarSet	V1set
net.sf.javabdd.BDDPairing	V1toV2
net.sf.javabdd.BDDVarSet	V1V2set
net.sf.javabdd.BDDDomain	V2
net.sf.javabdd.BDDDomain[]	V2c
net.sf.javabdd.BDD	V2cdomain
net.sf.javabdd.BDDVarSet	V2cset
net.sf.javabdd.BDDVarSet	V2Fset
net.sf.javabdd.BDDPairing	V2H2toV1H1
net.sf.javabdd.BDDVarSet	V2set
net.sf.javabdd.BDDPairing	V2toV1
String	varorder
PA.VarPathSelector	varPathSelector
int	VC_BITS
jwutil.graphs.PathNumbering	vCnumbering
static boolean	VerifyAssertions
net.sf.javabdd.BDD	visited
jwutil.collections.IndexMap	Vmap
net.sf.javabdd.BDD	vP
net.sf.javabdd.BDD	vPfilter
net.sf.javabdd.BDD	vT
static boolean	WRITE_PARESULTS_BATCHFILE
net.sf.javabdd.BDDDomain	Z
int	Z_BITS
net.sf.javabdd.BDDVarSet	Zset

Constructor Summary

PAProxy(PA that)

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

VerifyAssertions

public static boolean VerifyAssertions

WRITE_PARESULTS_BATCHFILE

public static boolean WRITE_PARESULTS_BATCHFILE

TRACE

public boolean TRACE

TRACE_SOLVER

public boolean TRACE_SOLVER

TRACE_BIND

public boolean TRACE_BIND

TRACE_RELATIONS

public boolean TRACE_RELATIONS

TRACE_OBJECT

public boolean TRACE_OBJECT

TRACE_CONTEXT

public boolean TRACE_CONTEXT

out

public PrintStream out

USE_JOEQ_CLASSLIBS

public static boolean USE_JOEQ_CLASSLIBS

INCREMENTAL1

public boolean INCREMENTAL1

INCREMENTAL2

public boolean INCREMENTAL2

INCREMENTAL3

public boolean INCREMENTAL3

ADD_CLINIT

public boolean ADD_CLINIT

ADD_THREADS

public boolean ADD_THREADS

ADD_FINALIZERS

public boolean ADD_FINALIZERS

IGNORE_EXCEPTIONS

public boolean IGNORE_EXCEPTIONS

FILTER_VP

public boolean FILTER_VP

FILTER_HP

public boolean FILTER_HP

CARTESIAN_PRODUCT

public boolean CARTESIAN_PRODUCT

THREAD_SENSITIVE

public boolean THREAD_SENSITIVE

OBJECT_SENSITIVE

public boolean OBJECT_SENSITIVE

CONTEXT_SENSITIVE

public boolean CONTEXT_SENSITIVE

CS_CALLGRAPH

public boolean CS_CALLGRAPH

DISCOVER_CALL_GRAPH

public boolean DISCOVER_CALL_GRAPH

DUMP_DOTGRAPH

public boolean DUMP_DOTGRAPH

FILTER_NULL

public boolean FILTER_NULL

LONG_LOCATIONS

public boolean LONG_LOCATIONS

INCLUDE_UNKNOWN_TYPES

public boolean INCLUDE_UNKNOWN_TYPES

INCLUDE_ALL_UNKNOWN_TYPES

public boolean INCLUDE_ALL_UNKNOWN_TYPES

MAX_PARAMS

public int MAX_PARAMS

bddnodes

public int bddnodes

bddcache

public int bddcache

resultsFileName

public static String resultsFileName

callgraphFileName

public static String callgraphFileName

initialCallgraphFileName

public static String initialCallgraphFileName

USE_VCONTEXT

public boolean USE_VCONTEXT

USE_HCONTEXT

public boolean USE_HCONTEXT

newMethodSummaries

public Map newMethodSummaries

rootMethods

public Set rootMethods

cg

public CallGraph cg

ocg

public ObjectCreationGraph ocg

bdd

public net.sf.javabdd.BDDFactory bdd

V1

public net.sf.javabdd.BDDDomain V1

V2

public net.sf.javabdd.BDDDomain V2

I

public net.sf.javabdd.BDDDomain I

H1

public net.sf.javabdd.BDDDomain H1

H2

public net.sf.javabdd.BDDDomain H2

Z

public net.sf.javabdd.BDDDomain Z

F

public net.sf.javabdd.BDDDomain F

T1

public net.sf.javabdd.BDDDomain T1

T2

public net.sf.javabdd.BDDDomain T2

N

public net.sf.javabdd.BDDDomain N

M

public net.sf.javabdd.BDDDomain M

V1c

public net.sf.javabdd.BDDDomain[] V1c

V2c

public net.sf.javabdd.BDDDomain[] V2c

H1c

public net.sf.javabdd.BDDDomain[] H1c

H2c

public net.sf.javabdd.BDDDomain[] H2c

V_BITS

public int V_BITS

I_BITS

public int I_BITS

H_BITS

public int H_BITS

Z_BITS

public int Z_BITS

F_BITS

public int F_BITS

T_BITS

public int T_BITS

N_BITS

public int N_BITS

M_BITS

public int M_BITS

VC_BITS

public int VC_BITS

HC_BITS

public int HC_BITS

MAX_VC_BITS

public int MAX_VC_BITS

MAX_HC_BITS

public int MAX_HC_BITS

Vmap

public jwutil.collections.IndexMap Vmap

Imap

public jwutil.collections.IndexMap Imap

Hmap

public jwutil.collections.IndexedMap Hmap

Fmap

public jwutil.collections.IndexMap Fmap

Tmap

public jwutil.collections.IndexMap Tmap

Nmap

public jwutil.collections.IndexMap Nmap

Mmap

public jwutil.collections.IndexMap Mmap

vCnumbering

public jwutil.graphs.PathNumbering vCnumbering

hCnumbering

public jwutil.graphs.PathNumbering hCnumbering

oCnumbering

public jwutil.graphs.PathNumbering oCnumbering

A

public net.sf.javabdd.BDD A

vP

public net.sf.javabdd.BDD vP

S

public net.sf.javabdd.BDD S

L

public net.sf.javabdd.BDD L

vT

public net.sf.javabdd.BDD vT

hT

public net.sf.javabdd.BDD hT

aT

public net.sf.javabdd.BDD aT

cha

public net.sf.javabdd.BDD cha

actual

public net.sf.javabdd.BDD actual

formal

public net.sf.javabdd.BDD formal

Iret

public net.sf.javabdd.BDD Iret

Mret

public net.sf.javabdd.BDD Mret

Ithr

public net.sf.javabdd.BDD Ithr

Mthr

public net.sf.javabdd.BDD Mthr

mI

public net.sf.javabdd.BDD mI

mV

public net.sf.javabdd.BDD mV

sync

public net.sf.javabdd.BDD sync

fT

public net.sf.javabdd.BDD fT

fC

public net.sf.javabdd.BDD fC

hP

public net.sf.javabdd.BDD hP

IE

public net.sf.javabdd.BDD IE

IEcs

public net.sf.javabdd.BDD IEcs

vPfilter

public net.sf.javabdd.BDD vPfilter

hPfilter

public net.sf.javabdd.BDD hPfilter

NNfilter

public net.sf.javabdd.BDD NNfilter

IEfilter

public net.sf.javabdd.BDD IEfilter

visited

public net.sf.javabdd.BDD visited

staticCalls

public net.sf.javabdd.BDD staticCalls

reverseLocal

public boolean reverseLocal

varorder

public String varorder

V1toV2

public net.sf.javabdd.BDDPairing V1toV2

V2toV1

public net.sf.javabdd.BDDPairing V2toV1

H1toH2

public net.sf.javabdd.BDDPairing H1toH2

H2toH1

public net.sf.javabdd.BDDPairing H2toH1

V1H1toV2H2

public net.sf.javabdd.BDDPairing V1H1toV2H2

V2H2toV1H1

public net.sf.javabdd.BDDPairing V2H2toV1H1

V1ctoV2c

public net.sf.javabdd.BDDPairing V1ctoV2c

V1cV2ctoV2cV1c

public net.sf.javabdd.BDDPairing V1cV2ctoV2cV1c

V1cH1ctoV2cV1c

public net.sf.javabdd.BDDPairing V1cH1ctoV2cV1c

T2toT1

public net.sf.javabdd.BDDPairing T2toT1

T1toT2

public net.sf.javabdd.BDDPairing T1toT2

H1toV1c

public net.sf.javabdd.BDDPairing[] H1toV1c

V1ctoH1

public net.sf.javabdd.BDDPairing[] V1ctoH1

V1csets

public net.sf.javabdd.BDDVarSet[] V1csets

V1cH1equals

public net.sf.javabdd.BDD[] V1cH1equals

V1set

public net.sf.javabdd.BDDVarSet V1set

V2set

public net.sf.javabdd.BDDVarSet V2set

H1set

public net.sf.javabdd.BDDVarSet H1set

H2set

public net.sf.javabdd.BDDVarSet H2set

T1set

public net.sf.javabdd.BDDVarSet T1set

T2set

public net.sf.javabdd.BDDVarSet T2set

Fset

public net.sf.javabdd.BDDVarSet Fset

Mset

public net.sf.javabdd.BDDVarSet Mset

Nset

public net.sf.javabdd.BDDVarSet Nset

Iset

public net.sf.javabdd.BDDVarSet Iset

Zset

public net.sf.javabdd.BDDVarSet Zset

V1V2set

public net.sf.javabdd.BDDVarSet V1V2set

V1Fset

public net.sf.javabdd.BDDVarSet V1Fset

V2Fset

public net.sf.javabdd.BDDVarSet V2Fset

V1FV2set

public net.sf.javabdd.BDDVarSet V1FV2set

V1H1set

public net.sf.javabdd.BDDVarSet V1H1set

H1Fset

public net.sf.javabdd.BDDVarSet H1Fset

H2Fset

public net.sf.javabdd.BDDVarSet H2Fset

H1H2set

public net.sf.javabdd.BDDVarSet H1H2set

H1FH2set

public net.sf.javabdd.BDDVarSet H1FH2set

IMset

public net.sf.javabdd.BDDVarSet IMset

INset

public net.sf.javabdd.BDDVarSet INset

INH1set

public net.sf.javabdd.BDDVarSet INH1set

INT2set

public net.sf.javabdd.BDDVarSet INT2set

T2Nset

public net.sf.javabdd.BDDVarSet T2Nset

MZset

public net.sf.javabdd.BDDVarSet MZset

V1cset

public net.sf.javabdd.BDDVarSet V1cset

V2cset

public net.sf.javabdd.BDDVarSet V2cset

H1cset

public net.sf.javabdd.BDDVarSet H1cset

H2cset

public net.sf.javabdd.BDDVarSet H2cset

V1cV2cset

public net.sf.javabdd.BDDVarSet V1cV2cset

V1cH1cset

public net.sf.javabdd.BDDVarSet V1cH1cset

H1cH2cset

public net.sf.javabdd.BDDVarSet H1cH2cset

V1cdomain

public net.sf.javabdd.BDD V1cdomain

V2cdomain

public net.sf.javabdd.BDD V2cdomain

H1cdomain

public net.sf.javabdd.BDD H1cdomain

H2cdomain

public net.sf.javabdd.BDD H2cdomain

rangeMap

public Map rangeMap

object_class

public jq_Class object_class

javaLangObject_clone

public jq_Method javaLangObject_clone

cloneable_class

public jq_Class cloneable_class

throwable_class

public jq_Class throwable_class

javaLangObject_fakeclone

public jq_Method javaLangObject_fakeclone

last_V

public int last_V

last_H

public int last_H

last_T

public int last_T

last_N

public int last_N

last_F

public int last_F

finalizer_method

public jq_NameAndDesc finalizer_method

main_method

public static jq_NameAndDesc main_method

run_method

public static jq_NameAndDesc run_method

old1_A

public net.sf.javabdd.BDD old1_A

old1_S

public net.sf.javabdd.BDD old1_S

old1_L

public net.sf.javabdd.BDD old1_L

old1_vP

public net.sf.javabdd.BDD old1_vP

old1_hP

public net.sf.javabdd.BDD old1_hP

old3_t3

public net.sf.javabdd.BDD old3_t3

old3_vP

public net.sf.javabdd.BDD old3_vP

old3_t4

public net.sf.javabdd.BDD old3_t4

old3_hT

public net.sf.javabdd.BDD old3_hT

old3_t6

public net.sf.javabdd.BDD old3_t6

old3_t9

public net.sf.javabdd.BDD[] old3_t9

old2_myIE

public net.sf.javabdd.BDD old2_myIE

old2_visited

public net.sf.javabdd.BDD old2_visited

TS

public PA.ToString TS

thread_runs

public static Map thread_runs

varPathSelector

public PA.VarPathSelector varPathSelector

THREADS_ONLY

public static boolean THREADS_ONLY

heapPathSelector

public PA.HeapPathSelector heapPathSelector

polyClasses

public static Set polyClasses

MATCH_FACTORY

public static boolean MATCH_FACTORY

objectPathSelector

public PA.ObjectPathSelector objectPathSelector

V1H1correspondence

public Map V1H1correspondence

Constructor Detail

PAProxy

public PAProxy(PA that)