Index

A B C D E F G H I J K L M N O P R S T U V W X Z
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form

F

Factory() - Constructor for class pascal.taie.analysis.pta.core.cs.context.TrieContext.Factory

FALL_THROUGH - Enum constant in enum class pascal.taie.analysis.graph.cfg.CFGEdge.Kind

Edge kind for fall-through to next statement.

field() - Method in record class pascal.taie.analysis.pta.plugin.taint.FieldSource

Returns the value of the field record component.

field() - Method in record class pascal.taie.analysis.pta.plugin.taint.IndexRef

Returns the value of the field record component.

FIELD - Enum constant in enum class pascal.taie.analysis.pta.plugin.taint.IndexRef.Kind

FIELD - Static variable in class pascal.taie.language.classes.ClassNames

FieldAccess - Class in pascal.taie.ir.exp

Representation of field access expressions.

FieldAccess(FieldRef) - Constructor for class pascal.taie.ir.exp.FieldAccess

fieldGet(Context, Invoke, PointsToSet, PointsToSet) - Method in class pascal.taie.analysis.pta.plugin.reflection.ReflectiveActionModel

fieldRef - Variable in class pascal.taie.ir.exp.FieldAccess

FieldRef - Class in pascal.taie.ir.proginfo

Represents field references in IR.

FieldResolutionFailedException - Exception in pascal.taie.ir.proginfo

FieldResolutionFailedException(String) - Constructor for exception pascal.taie.ir.proginfo.FieldResolutionFailedException

fieldSet(Context, Invoke, PointsToSet, PointsToSet) - Method in class pascal.taie.analysis.pta.plugin.reflection.ReflectiveActionModel

FieldSource - Record Class in pascal.taie.analysis.pta.plugin.taint

FieldSource(JField, Type) - Constructor for record class pascal.taie.analysis.pta.plugin.taint.FieldSource

Creates an instance of a FieldSource record class.

FieldStmt<L extends LValue,R extends RValue> - Class in pascal.taie.ir.stmt

Load/Store field statements.

filter(Collection<T>, Predicate<? super T>) - Static method in class pascal.taie.util.collection.Lists

Tests the elements in a given collection and returns a list of elements that can pass the test.

FINAL - Enum constant in enum class pascal.taie.language.classes.Modifier

FINALIZE - Static variable in class pascal.taie.language.classes.Signatures

FINALIZER_REGISTER - Static variable in class pascal.taie.language.classes.Signatures

findConstructor(Context, Invoke, PointsToSet) - Method in class pascal.taie.analysis.pta.plugin.invokedynamic.LookupModel

findFirst(Collection<? extends T>, Predicate<? super T>) - Static method in class pascal.taie.util.collection.CollectionUtils

Iterates the elements in the specific collection, in the order they are returned by the collection's iterator, and finds the first element of given collection that satisfies the predicate.

findRoot(E) - Method in class pascal.taie.util.collection.UnionFindSet

findStatic(Context, Invoke, PointsToSet, PointsToSet) - Method in class pascal.taie.analysis.pta.plugin.invokedynamic.LookupModel

findVirtual(Context, Invoke, PointsToSet, PointsToSet) - Method in class pascal.taie.analysis.pta.plugin.invokedynamic.LookupModel

finish() - Method in class pascal.taie.analysis.dataflow.inter.AbstractInterDataflowAnalysis

If the concrete analysis needs to perform some finishing work after the solver finishes, then it can overwrite this method.

finish() - Method in class pascal.taie.analysis.dataflow.inter.InterConstantPropagation

finisher() - Method in class pascal.taie.util.collection.MultiMapCollector

first() - Method in record class pascal.taie.util.collection.Pair

Returns the value of the first record component.

flip(int) - Method in interface pascal.taie.util.collection.IBitSet

Sets the bit at the specified index to the complement of its current value.

flip(int) - Method in class pascal.taie.util.collection.RegularBitSet

flip(int) - Method in class pascal.taie.util.collection.SparseBitSet

FLOAT - Enum constant in enum class pascal.taie.language.generics.BaseType

FLOAT - Enum constant in enum class pascal.taie.language.type.FloatType

FLOAT - Static variable in class pascal.taie.language.classes.ClassNames

FloatElement - Record Class in pascal.taie.language.annotation

FloatElement(float) - Constructor for record class pascal.taie.language.annotation.FloatElement

Creates an instance of a FloatElement record class.

FloatingPointLiteral - Interface in pascal.taie.ir.exp

FloatLiteral - Class in pascal.taie.ir.exp

FloatType - Enum Class in pascal.taie.language.type

floatValue() - Method in class pascal.taie.util.MutableInt

FlowEdge - Interface in pascal.taie.analysis.graph.flowgraph

Represents edges in flow graph.

FlowGraphDumper - Class in pascal.taie.analysis.graph.flowgraph

Dumper for flow graph.

FlowGraphDumper() - Constructor for class pascal.taie.analysis.graph.flowgraph.FlowGraphDumper

FlowKind - Enum Class in pascal.taie.analysis.graph.flowgraph

forEach(BiConsumer<K, V>) - Method in class pascal.taie.analysis.dataflow.fact.MapFact

Performs the given action for each entry(key-value mapping) in this fact until all entries have been processed or the action throws an exception.

forEach(BiConsumer<K, V>) - Method in interface pascal.taie.util.collection.MultiMap

Performs the given action for all key-value pairs contained in this multimap.

forEach(Consumer<? super E>) - Method in class pascal.taie.analysis.dataflow.fact.SetFact

forEach(TriConsumer<K1, K2, V>) - Method in interface pascal.taie.util.collection.TwoKeyMap

Performs the given action for all key1-key2-value triples contained in this map.

forEach(TriConsumer<K1, K2, V>) - Method in interface pascal.taie.util.collection.TwoKeyMultiMap

Performs the given action for all key1-key2-value triples contained in this map.

forEachSet(BiConsumer<K, Set<V>>) - Method in class pascal.taie.util.collection.MapSetMultiMap

forEachSet(BiConsumer<K, Set<V>>) - Method in interface pascal.taie.util.collection.MultiMap

Performs the given action for key-(value-set) pairs contained in this multimap.

from() - Method in record class pascal.taie.analysis.pta.plugin.taint.TaintTransfer

Returns the value of the from record component.

A B C D E F G H I J K L M N O P R S T U V W X Z
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form