Index
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
fieldrecord component. - 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(CSVar, PointsToSet, Invoke) - 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(CSVar, PointsToSet, Invoke) - 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
FieldSourcerecord class. - FieldSourcePoint - Record Class in pascal.taie.analysis.pta.plugin.taint
- FieldSourcePoint(JMethod, LoadField) - Constructor for record class pascal.taie.analysis.pta.plugin.taint.FieldSourcePoint
-
Creates an instance of a
FieldSourcePointrecord 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(CSVar, PointsToSet, Invoke) - 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(CSVar, PointsToSet, Invoke) - Method in class pascal.taie.analysis.pta.plugin.invokedynamic.LookupModel
- findVirtual(CSVar, PointsToSet, Invoke) - 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
firstrecord 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.PrimitiveType
- 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
FloatElementrecord class. - FloatingPointLiteral - Interface in pascal.taie.ir.exp
- FloatLiteral - Class in pascal.taie.ir.exp
- 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.
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form