Uses of Package
pascal.taie.ir.exp
Packages that use pascal.taie.ir.exp
Package
Description
Provides the classes necessary to represent an inter-procedural
control-flow graph (ICFG).
Provides the classes to represent and manage context-sensitive elements
used in pointer analysis, including context-sensitive pointers, objects,
call sites, and methods.
Provide model for heap objects.
Provide data structures and algorithms of context-sensitive
pointer analysis solver.
Provide classes related to intermediate representation of method bodies.
-
Classes in pascal.taie.ir.exp used by pascal.taie.analysis.dataflow.analysis.availexp
-
Classes in pascal.taie.ir.exp used by pascal.taie.analysis.dataflow.analysis.constprop
-
Classes in pascal.taie.ir.exp used by pascal.taie.analysis.defuseClassDescriptionRepresentation of method/constructor parameters, lambda parameters, exception parameters, and local variables.
-
Classes in pascal.taie.ir.exp used by pascal.taie.analysis.graph.flowgraphClassDescriptionRepresentation of method/constructor parameters, lambda parameters, exception parameters, and local variables.
-
Classes in pascal.taie.ir.exp used by pascal.taie.analysis.graph.icfgClassDescriptionRepresentation of method/constructor parameters, lambda parameters, exception parameters, and local variables.
-
Classes in pascal.taie.ir.exp used by pascal.taie.analysis.ptaClassDescriptionRepresentation of array access expression, e.g., a[i].Representation of field access expressions.Representation of instance field access expression, e.g., o.f.Representation of static field access expression, e.g., T.f.Representation of method/constructor parameters, lambda parameters, exception parameters, and local variables.
-
Classes in pascal.taie.ir.exp used by pascal.taie.analysis.pta.core.cs.elementClassDescriptionRepresentation of method/constructor parameters, lambda parameters, exception parameters, and local variables.
-
Classes in pascal.taie.ir.exp used by pascal.taie.analysis.pta.core.heap
-
Classes in pascal.taie.ir.exp used by pascal.taie.analysis.pta.core.solver
-
Classes in pascal.taie.ir.exp used by pascal.taie.analysis.pta.plugin.utilClassDescriptionRepresentation of java.lang.invoke.MethodHandle instances.Representation of java.lang.invoke.MethodType instances.Representation of method/constructor parameters, lambda parameters, exception parameters, and local variables.
-
Classes in pascal.taie.ir.exp used by pascal.taie.irClassDescriptionRepresentation of method/constructor parameters, lambda parameters, exception parameters, and local variables.
-
Classes in pascal.taie.ir.exp used by pascal.taie.ir.expClassDescriptionRepresentation of arithmetic expression, e.g., a + b.Representation of array access expression, e.g., a[i].Representation of array length expression, e.g., arr.length.Representation of binary expression.Representation of binary operators.Representation of bitwise expression, e.g., a | b.Representation of cast expression, e.g., (T) o.Representation of comparison expression, e.g., cmp.Representation of condition expression, e.g., a == b.Representation of expressions in Tai-e IR.Exp visitor which may return a result after the visit.Representation of field access expressions.Representation of instance field access expression, e.g., o.f.Representation of instanceof expression, e.g., o instanceof T.Representation of int literals.Representation of invokedynamic instructions.Representation of method invocation expression.Representation of instance invocation (virtual, interface, and special) expression.Representation of invokeinterface expression, e.g., o.m(...).Representation of invokespecial expression, e.g., super.m(...).Representation of invokestatic expression, e.g., T.m(...).Representation of invokevirtual expression, e.g., o.m(...).Representation of literals.Representation of long literals.Marker interface for all left-hand-side value.Representation of java.lang.invoke.MethodHandle instances.Representation of java.lang.invoke.MethodType instances.Representation of negation expression, e.g., -o;Representation of new array expression, e.g., new T[..].Representation of new expressions.Representation of new instance expression, e.g., new T.Representation of new multi-array expression, e.g., new T[..][..][..].Literal of reference type.Marker interface for all right-hand-side value.Representation of shift expression, e.g., a >> b.Representation of static field access expression, e.g., T.f.Representation of unary expression.Representation of method/constructor parameters, lambda parameters, exception parameters, and local variables.
-
Classes in pascal.taie.ir.exp used by pascal.taie.ir.stmtClassDescriptionRepresentation of array access expression, e.g., a[i].Representation of binary expression.Representation of cast expression, e.g., (T) o.Representation of condition expression, e.g., a == b.Representation of field access expressions.Representation of instanceof expression, e.g., o instanceof T.Representation of method invocation expression.Representation of literals.Marker interface for all left-hand-side value.Representation of new expressions.Marker interface for all right-hand-side value.Representation of unary expression.Representation of method/constructor parameters, lambda parameters, exception parameters, and local variables.