- unaryExpr() - Method in class cetus.base.grammars.NewCParser
-
- UnaryExpression - Class in cetus.hir
-
Represents an expression having a unary operator and an operand expression.
- UnaryExpression(UnaryOperator, Expression) - Constructor for class cetus.hir.UnaryExpression
-
Constructs a unary expression with the specified operator and expression.
- unaryOperator() - Method in class cetus.base.grammars.NewCParser
-
- UnaryOperator - Class in cetus.hir
-
Operators that act on a single expression.
- UNBOUNDED - Static variable in class cetus.hir.ArraySpecifier
-
The unbounded specifier []
- union(Domain) - Method in interface cetus.analysis.Domain
-
Returns union of the two domains if applicable.
- union(Domain) - Method in class cetus.analysis.NullDomain
-
- union(Domain) - Method in class cetus.analysis.PointsToDomain
-
Union two points-to domains.
- union(Domain) - Method in class cetus.analysis.PointsToDomain.Universe
-
- union(Domain) - Method in class cetus.analysis.RangeDomain
-
- union(Domain) - Method in class cetus.analysis.SetDomain
-
- UNION - Static variable in class cetus.hir.ClassDeclaration
-
Keyword for union type declaration.
- unionRanges(RangeDomain) - Method in class cetus.analysis.RangeDomain
-
Merges two sets of value ranges using current range domain (union
operation).
- unionRanges(Expression, RangeDomain, Expression, RangeDomain) - Static method in class cetus.analysis.RangeDomain
-
Computes the union of the two expressions with the given range domains.
- unionWith(Section.ELEMENT, RangeDomain) - Method in class cetus.analysis.Section.ELEMENT
-
Performs union operation between two section elements with the
specified range domain.
- unionWith(Section.MAP, RangeDomain) - Method in class cetus.analysis.Section.MAP
-
Performs union operation between the two section maps with the
specified range domain.
- unionWith(Section, RangeDomain) - Method in class cetus.analysis.Section
-
Performs union operation between two sections with the specified range
domain.
- UNQUALIFIED - Static variable in class cetus.hir.PointerSpecifier
-
- UNSIGNED - Static variable in class cetus.hir.Specifier
-
- UnsignedHexConst - Static variable in interface cetus.base.grammars.NEWCTokenTypes
-
- UnsignedIntConst - Static variable in interface cetus.base.grammars.NEWCTokenTypes
-
- UnsignedOctalConst - Static variable in interface cetus.base.grammars.NEWCTokenTypes
-
- updateCall(IPANode) - Method in class cetus.analysis.IPPointsToAnalysis
-
Not used.
- updateCall(IPANode) - Method in class cetus.analysis.IPRangeAnalysis
-
- updateCall(IPANode) - Method in class cetus.analysis.MayMod
-
- updateCalls(IPANode) - Method in class cetus.analysis.IPPointsToAnalysis
-
Updates the forward information for each call site by performing mapping,
and by maintaining map-info for each different single-depth context.
- updateCalls(IPANode) - Method in class cetus.analysis.IPRangeAnalysis
-
Detects any changes in the range domain before call sites.
- updateCalls(IPANode) - Method in class cetus.analysis.MayMod
-
- updateNeeded - Static variable in class cetus.exec.Driver
-
- updatePointsToRelations(Program) - Static method in class cetus.analysis.IPPointsToAnalysis
-
Recompute the static points-to relations for the given program.
- updateReturn(IPANode) - Method in class cetus.analysis.IPPointsToAnalysis
-
Updates the backward information available at the exit of a procedure by
performing unmapping.
- updateReturn(IPANode) - Method in class cetus.analysis.IPRangeAnalysis
-
Checks any data change due to return from callee and updates the OUT data
if applicable.
- updateReturn(IPANode) - Method in class cetus.analysis.MayMod
-
- UseDefChain - Interface in cetus.application
-
A class that implements UseDefChain provides the Use-Def chain information
which is computed from the control flow graph.
- user_dir - Static variable in class cetus.gui.CetusGUITools
-
- user_home - Static variable in class cetus.gui.CetusGUITools
-
- UserSpecifier - Class in cetus.hir
-
Represents the name of a user-defined type, such as created by a typedef,
class declaration, etc.
- UserSpecifier(IDExpression) - Constructor for class cetus.hir.UserSpecifier
-
- useServer() - Static method in class cetus.gui.CetusGUIOptionsPanel
-
- UsingDeclaration - Class in cetus.hir
-
This class is not supported
- UsingDeclaration(IDExpression) - Constructor for class cetus.hir.UsingDeclaration
-
- UsingDirective - Class in cetus.hir
-
This class is not supported
- UsingDirective() - Constructor for class cetus.hir.UsingDirective
-
- UTILITY - Variable in class cetus.exec.CommandLineOptionSet
-