Uses of Class
joeq.Compiler.Analysis.IPA.ProgramLocation.QuadProgramLocation

Packages that use ProgramLocation.QuadProgramLocation

joeq.Compiler.Analysis.FlowInsensitive
joeq.Compiler.Analysis.IPA

Uses of ProgramLocation.QuadProgramLocation in joeq.Compiler.Analysis.FlowInsensitive

Methods in joeq.Compiler.Analysis.FlowInsensitive with parameters of type ProgramLocation.QuadProgramLocation

abstract Collection	ReflectionInformationProvider.getNewInstanceTargets(ProgramLocation.QuadProgramLocation mc) Resolves constructors being pointed to by a newInstance() call mc.
Collection	ReflectionInformationProvider.CribSheetReflectionInformationProvider.getNewInstanceTargets(ProgramLocation.QuadProgramLocation mc)
static boolean	ReflectionInformationProvider.isNewInstance(ProgramLocation.QuadProgramLocation mc) Checks if mc corresponds to a newInstance call.

Uses of ProgramLocation.QuadProgramLocation in joeq.Compiler.Analysis.IPA

Methods in joeq.Compiler.Analysis.IPA with parameters of type ProgramLocation.QuadProgramLocation

boolean	ProgramLocation.QuadProgramLocation.equals(ProgramLocation.QuadProgramLocation that)
Set	PAResults.getCallTargets(ProgramLocation.QuadProgramLocation invoke) Compute the set of results based on the BDD results.
Set	PointerAnalysisResults.getCallTargets(ProgramLocation.QuadProgramLocation loc)
Set	PAResults.mod(ProgramLocation.QuadProgramLocation invoke, BasicBlock bb)
Set	PointerAnalysisResults.mod(ProgramLocation.QuadProgramLocation loc, BasicBlock bb) Returns the set of potentially-modified locations of the given call (and transitively any calls the target may make).
Set	PAResults.ref(ProgramLocation.QuadProgramLocation invoke, BasicBlock bb)
Set	PointerAnalysisResults.ref(ProgramLocation.QuadProgramLocation loc, BasicBlock block) Returns the set of potentially-referenced locations of the given call (and transitively any calls the target may make).