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

B

base - Variable in class pascal.taie.ir.exp.InvokeInstanceExp

BASE - Static variable in class pascal.taie.analysis.pta.plugin.util.InvokeUtils

Special number representing the base variable of an invocation.

baseType() - Method in record class pascal.taie.language.type.ArrayType

Returns the value of the baseType record component.

BaseType - Enum Class in pascal.taie.language.generics

In JVM Spec.

Binary - Class in pascal.taie.ir.stmt

Representation of assign statement for binary expression, e.g., a = b + c.

Binary(Var, BinaryExp) - Constructor for class pascal.taie.ir.stmt.Binary

BinaryExp - Interface in pascal.taie.ir.exp

Representation of binary expression.

BinaryExp.Op - Interface in pascal.taie.ir.exp

Representation of binary operators.

BITS_PER_WORD - Static variable in class pascal.taie.util.collection.AbstractBitSet

bitSet - Variable in class pascal.taie.util.collection.GenericBitSet

BitwiseExp - Class in pascal.taie.ir.exp

Representation of bitwise expression, e.g., a | b.

BitwiseExp(BitwiseExp.Op, Var, Var) - Constructor for class pascal.taie.ir.exp.BitwiseExp

BitwiseExp.Op - Enum Class in pascal.taie.ir.exp

BLOCKER - Enum constant in enum class pascal.taie.analysis.bugfinder.Severity

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

BOOLEAN - Enum constant in enum class pascal.taie.language.type.BooleanType

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

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

BooleanElement(boolean) - Constructor for record class pascal.taie.language.annotation.BooleanElement

Creates an instance of a BooleanElement record class.

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

BOTTOM - Enum constant in enum class pascal.taie.language.type.BottomType

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

This type means that the expression, e.g., a variable, is untyped (i.e., has no type).

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

BugInstance - Class in pascal.taie.analysis.bugfinder

BugInstance(BugType, Severity, JClass) - Constructor for class pascal.taie.analysis.bugfinder.BugInstance

BugInstance(BugType, Severity, JMethod) - Constructor for class pascal.taie.analysis.bugfinder.BugInstance

BugType - Interface in pascal.taie.analysis.bugfinder

build() - Method in class pascal.taie.analysis.pta.core.solver.SpecifiedParamProvider.Builder

build(List<Stmt>) - Method in class pascal.taie.ir.IRBuildHelper

Builds an IR with given Stmts.

build(PointerAnalysisResultEx) - Static method in class pascal.taie.analysis.pta.toolkit.util.OAGs

Builds object allocation graph.

build(Options, List<AnalysisConfig>) - Method in class pascal.taie.frontend.cache.CachedWorldBuilder

build(Options, List<AnalysisConfig>) - Method in class pascal.taie.frontend.soot.SootWorldBuilder

build(Options, List<AnalysisConfig>) - Method in interface pascal.taie.WorldBuilder

Builds a new instance of World and make it globally accessible through static methods of World.

build(JClass) - Method in interface pascal.taie.language.classes.JClassBuilder

build(JClassBuilder) - Method in class pascal.taie.language.classes.JClass

This method should be called after creating this instance.

buildAll(ClassHierarchy) - Method in class pascal.taie.frontend.cache.CachedIRBuilder

buildAll(ClassHierarchy) - Method in interface pascal.taie.ir.IRBuilder

Builds IR for all methods in the given hierarchy.

buildClasses(ClassHierarchy, Scene) - Static method in class pascal.taie.frontend.soot.SootWorldBuilder

buildEmpty() - Method in class pascal.taie.ir.IRBuildHelper

Builds an emtpy IR which contains only a Return statement.

Builder(JMethod) - Constructor for class pascal.taie.analysis.pta.core.solver.SpecifiedParamProvider.Builder

buildIR(JMethod) - Method in class pascal.taie.frontend.cache.CachedIRBuilder

This method will be called by JMethod.getIR() only once, so remove the IR from the map after returning it.

buildIR(JMethod) - Method in interface pascal.taie.ir.IRBuilder

Builds IR for concrete methods.

buildNativeIR(JMethod) - Method in class pascal.taie.language.natives.DefaultNativeModel

buildNativeIR(JMethod) - Method in class pascal.taie.language.natives.EmptyNativeModel

buildNativeIR(JMethod) - Method in interface pascal.taie.language.natives.NativeModel

buildWorld(String...) - Static method in class pascal.taie.Main

Convenient method for building the world from String arguments.

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

BYTE - Enum constant in enum class pascal.taie.language.type.ByteType

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

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

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