A B C D E F G H I J K L M N O P Q R S T U V W X Y Z _

F

F - Variable in class joeq.Compiler.Analysis.IPA.PAProxy

F2D - Static variable in interface joeq.Compiler.BytecodeAnalysis.Bytecodes.InstructionConstants

F2I - Static variable in interface joeq.Compiler.BytecodeAnalysis.Bytecodes.InstructionConstants

F2L - Static variable in interface joeq.Compiler.BytecodeAnalysis.Bytecodes.InstructionConstants

F_BITS - Variable in class joeq.Compiler.Analysis.IPA.PAProxy

Fact - Interface in joeq.Compiler.Dataflow

Fact

FACTORY - Static variable in class joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.NodeSet

FACTORY - Static variable in class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.NodeSet

FACTORY - Static variable in class joeq.Memory.CodeAddress

FACTORY - Static variable in class joeq.Memory.HeapAddress

FACTORY - Static variable in class joeq.Memory.StackAddress

FADD - Static variable in interface joeq.Compiler.BytecodeAnalysis.Bytecodes.InstructionConstants

fakeCloneMethodSummary(jq_FakeInstanceMethod) - Static method in class joeq.Compiler.Analysis.FlowInsensitive.MethodSummary

fakeCloneMethodSummary(jq_FakeInstanceMethod) - Static method in class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary

fake a method summary that simulates the effect of the inherited default clone().

fakeCloneName - Static variable in class joeq.Compiler.Analysis.FlowInsensitive.MethodSummary

fake a method summary that simulates the effect of the inherited default clone().

fakeCloneName - Static variable in class joeq.Compiler.Analysis.Primitive.PrimitivePA

fakeMethod(jq_Class, jq_NameAndDesc) - Static method in class joeq.Class.jq_FakeInstanceMethod

fakeMethod(jq_Class, jq_NameAndDesc, boolean) - Static method in class joeq.Class.jq_FakeInstanceMethod

fakeMethod(jq_Class, String, String) - Static method in class joeq.Class.jq_FakeInstanceMethod

fakeMethod(jq_Class, jq_NameAndDesc) - Static method in class joeq.Class.jq_FakeStaticMethod

fakeMethod(jq_Class, jq_NameAndDesc, boolean) - Static method in class joeq.Class.jq_FakeStaticMethod

fakeMethod(jq_Class, String, String) - Static method in class joeq.Class.jq_FakeStaticMethod

fakeMethodSummary(jq_Method) - Static method in class joeq.Compiler.Analysis.FlowInsensitive.MethodSummary

fakeMethodSummary(jq_Method) - Static method in class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary

FALOAD - Static variable in interface joeq.Compiler.BytecodeAnalysis.Bytecodes.InstructionConstants

FASTORE - Static variable in interface joeq.Compiler.BytecodeAnalysis.Bytecodes.InstructionConstants

fC - Variable in class joeq.Compiler.Analysis.IPA.PAProxy

FCMPG - Static variable in interface joeq.Compiler.BytecodeAnalysis.Bytecodes.InstructionConstants

FCMPL - Static variable in interface joeq.Compiler.BytecodeAnalysis.Bytecodes.InstructionConstants

fcmpopnames - Static variable in class joeq.Compiler.BytecodeAnalysis.BytecodeVisitor

FCONST_0 - Static variable in interface joeq.Compiler.BytecodeAnalysis.Bytecodes.InstructionConstants

FCONST_1 - Static variable in interface joeq.Compiler.BytecodeAnalysis.Bytecodes.InstructionConstants

FCONST_2 - Static variable in interface joeq.Compiler.BytecodeAnalysis.Bytecodes.InstructionConstants

FDIV - Static variable in interface joeq.Compiler.BytecodeAnalysis.Bytecodes.InstructionConstants

fieldName() - Method in class joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.FieldNode

fieldName() - Method in class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.FieldNode

filesep - Static variable in class joeq.Class.PrimordialClassLoader

filter - Static variable in class joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.AccessPath

A filter to unwrap objects from their IdentityHashCodeWrapper.

filter - Static variable in class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.AccessPath

A filter to unwrap objects from their IdentityHashCodeWrapper.

FILTER_HP - Variable in class joeq.Compiler.Analysis.IPA.PAProxy

FILTER_NULL - Variable in class joeq.Compiler.Analysis.IPA.PAProxy

FILTER_VP - Variable in class joeq.Compiler.Analysis.IPA.PAProxy

FilteredCallGraph - Class in joeq.Compiler.Quad

FilteredCallGraph(CallGraph, FilteredCallGraph.Filter) - Constructor for class joeq.Compiler.Quad.FilteredCallGraph

FilteredCallGraph.Filter - Interface in joeq.Compiler.Quad

FilteredCallGraph.PackageFilter - Class in joeq.Compiler.Quad

FilteredCallGraph.PackageFilter() - Constructor for class joeq.Compiler.Quad.FilteredCallGraph.PackageFilter

finalizer_method - Variable in class joeq.Compiler.Analysis.IPA.PAProxy

FindBadStores - Class in joeq.Compiler.Analysis.IPSSA.Apps

FindBadStores(Iterator) - Constructor for class joeq.Compiler.Analysis.IPSSA.Apps.FindBadStores

FindBestPermutation - Class in joeq.Main

FindBestPermutation

FindBestPermutation(boolean, String, String) - Constructor for class joeq.Main.FindBestPermutation

findCatchBlock(CodeAddress, jq_Class) - Method in class joeq.Class.jq_CompiledCode

FindCollectionImplementations - Class in joeq.Compiler.Analysis.IPSSA.Apps

FindCollectionImplementations(Iterator) - Constructor for class joeq.Compiler.Analysis.IPSSA.Apps.FindCollectionImplementations

findCommonSuperclass(LiveRefAnalysis.Type) - Method in class joeq.Compiler.BytecodeAnalysis.LiveRefAnalysis.DerivedRef

findCommonSuperclass(LiveRefAnalysis.Type) - Method in class joeq.Compiler.BytecodeAnalysis.LiveRefAnalysis.HalfOfNumber

findCommonSuperclass(LiveRefAnalysis.Type) - Method in class joeq.Compiler.BytecodeAnalysis.LiveRefAnalysis.NullConstant

findCommonSuperclass(LiveRefAnalysis.Type) - Method in class joeq.Compiler.BytecodeAnalysis.LiveRefAnalysis.Retaddr

findCommonSuperclass(LiveRefAnalysis.Type) - Method in class joeq.Compiler.BytecodeAnalysis.LiveRefAnalysis.SystemType

findCommonSuperclass(LiveRefAnalysis.Type) - Method in class joeq.Compiler.BytecodeAnalysis.LiveRefAnalysis.Type

findCommonSuperclass(jq_Type, jq_Type) - Method in class joeq.Compiler.CompilationState.BootstrapCompilation

findCommonSuperclass(jq_Type, jq_Type) - Method in class joeq.Compiler.CompilationState.DynamicCompilation

findCommonSuperclass(jq_Type, jq_Type) - Method in class joeq.Compiler.CompilationState

findCommonSuperclass(jq_Type, jq_Type) - Method in class joeq.Compiler.CompilationState.StaticCompilation

findCommonSuperclass(jq_Type, jq_Type, boolean) - Static method in class joeq.Runtime.TypeCheck

findDepths() - Method in class joeq.Compiler.Quad.CallGraph

findEqual(Object, byte) - Method in class joeq.Class.jq_ConstantPool

findHandle(List, int[], int) - Static method in class joeq.Compiler.BytecodeAnalysis.Bytecodes.InstructionList

Find the target instruction (handle) that corresponds to the given target position (byte code offset).

findHandle(int) - Method in class joeq.Compiler.BytecodeAnalysis.Bytecodes.InstructionList

Get instruction handle for instruction at byte code position pos.

findIndistinguishablyTypedObjects() - Method in class joeq.Compiler.Analysis.IPA.PAResults

findLast() - Method in class joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.AccessPath

Return an iteration of the AccessPath nodes that correspond to end states.

findLast() - Method in class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.AccessPath

Return an iteration of the AccessPath nodes that correspond to end states.

findMatches(Document, String) - Static method in class joeq.Main.GenerateWebRoots

findNode(MethodSummary.Node) - Method in class joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.AccessPath

Find the AccessPath object that corresponds to the given node.

findNode(PrimitiveMethodSummary.Node) - Method in class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.AccessPath

Find the AccessPath object that corresponds to the given node.

findNode(MethodSummary.Node) - Method in class joeq.Compiler.Quad.AndersenPointerAnalysis.AccessPath

FindOwnership - Class in joeq.Compiler.Analysis.IPSSA.Apps

FindOwnership() - Constructor for class joeq.Compiler.Analysis.IPSSA.Apps.FindOwnership

findStringConstant(String) - Method in class joeq.Class.jq_Class

finish() - Method in class joeq.Class.jq_ConstantPool.ConstantPoolAdder

finish() - Method in class joeq.Class.jq_ConstantPool.ConstantPoolRebuilder

finish() - Method in class joeq.Compiler.Analysis.IPA.ClassInvariantAnalysis

finish() - Method in class joeq.Compiler.BytecodeAnalysis.Bytecodes.CodeException

finish() - Method in class joeq.Compiler.BytecodeAnalysis.Bytecodes.LineNumber

first() - Method in class joeq.Compiler.Analysis.FlowInsensitive.MethodSummary.AccessPath

Returns the first field of this access path.

first() - Method in class joeq.Compiler.Analysis.Primitive.PrimitiveMethodSummary.AccessPath

Returns the first field of this access path.

first() - Method in class joeq.Compiler.Quad.AndersenPointerAnalysis.AccessPath

FLOAT - Static variable in class joeq.Class.jq_Primitive

FLOAT - Static variable in class joeq.Compiler.BytecodeAnalysis.LiveRefAnalysis.SystemType

FLOAT - Static variable in class joeq.Compiler.Quad.RegisterFactory.Register

FLOAT_ARRAY - Static variable in class joeq.Class.jq_Array

FLOAT_DESC - Static variable in class joeq.UTF.Utf8

floor(double) - Static method in class joeq.Support.JMath

Returns the value of its argument rounded toward negative infinity to an integral value.

Fmap - Variable in class joeq.Compiler.Analysis.IPA.PAProxy

FMUL - Static variable in interface joeq.Compiler.BytecodeAnalysis.Bytecodes.InstructionConstants

FNEG - Static variable in interface joeq.Compiler.BytecodeAnalysis.Bytecodes.InstructionConstants

FORCE_GC - Static variable in class joeq.Compiler.Quad.AndersenPointerAnalysis

Force a garbage collection after every iteration of the algorithm.

formal - Variable in class joeq.Compiler.Analysis.IPA.PAProxy

forwardTraversal() - Method in class joeq.Compiler.BytecodeAnalysis.BytecodeVisitor

found_classes - Variable in class joeq.Compiler.Quad.ControlDependence

found_methods - Variable in class joeq.Compiler.Quad.ControlDependence

free() - Method in class joeq.Compiler.Analysis.IPA.PAMethodSummary

free() - Method in class joeq.Compiler.Analysis.Primitive.PrimitivePAMethodSummary

free(ControlFlowGraph) - Static method in class joeq.Compiler.Quad.CodeCache

FREM - Static variable in interface joeq.Compiler.BytecodeAnalysis.Bytecodes.InstructionConstants

FRETURN - Static variable in interface joeq.Compiler.BytecodeAnalysis.Bytecodes.InstructionConstants

fromUtf8(byte[]) - Static method in class joeq.UTF.Utf8

Convert the given sequence of (pseudo-)utf8 formatted bytes into a String.

Fset - Variable in class joeq.Compiler.Analysis.IPA.PAProxy

FSUB - Static variable in interface joeq.Compiler.BytecodeAnalysis.Bytecodes.InstructionConstants

fT - Variable in class joeq.Compiler.Analysis.IPA.PAProxy

FULL_DUMP - Static variable in class joeq.Compiler.Quad.AndersenPointerAnalysis

Dump the call graph after analysis has completed.

fullDump() - Method in class joeq.Compiler.Quad.BasicBlock

Returns a String describing the name, predecessor, successor, exception handlers, and quads of this basic block.

fullDump() - Method in class joeq.Compiler.Quad.ControlFlowGraph

Returns a verbose string of every basic block in this control flow graph.

fullDump() - Method in class joeq.Compiler.Quad.RegisterFactory