- main(String[]) - Static method in class cetus.exec.Driver
-
Entry point for Cetus; creates a new Driver object,
and calls run on it with args.
- mapToString(Map, String) - Static method in class cetus.hir.PrintTools
-
Converts a map to a string.
- mapToString(Map, String) - Static method in class cetus.hir.Tools
-
- markSlice() - Method in class cetus.application.ProgramSlicer
-
- mASSIGN(boolean) - Method in class cetus.base.grammars.NewCLexer
-
- match(int) - Method in class cetus.base.grammars.NewCParser
-
- matchArrayAccessForKill(Expression, Expression) - Static method in class cetus.application.ChainTools
-
- matchCopyStrings(String[], String[], String) - Static method in class cetus.gui.CetusGUITools
-
- matches(Object) - Method in class cetus.hir.ClassDeclaration
-
- matchExpressionForKill(Expression, Expression) - Static method in class cetus.application.ChainTools
-
- matchIdInExpression(Expression, Expression) - Static method in class cetus.application.ChainTools
-
- matchPointerExForKill(Expression, Expression) - Static method in class cetus.application.ChainTools
-
- matchRefIdInExpression(Expression, Expression, Procedure) - Static method in class cetus.application.ChainTools
-
- mayDefine(Traversable) - Static method in class cetus.analysis.DataFlow
-
Deprecated.
- MayMod - Class in cetus.analysis
-
Class MayMod instantiates an IPA problem that computes may-modified
variables.
- MayMod(Program) - Constructor for class cetus.analysis.MayMod
-
- MayMod(IPAGraph) - Constructor for class cetus.analysis.MayMod
-
- mBAND(boolean) - Method in class cetus.base.grammars.NewCLexer
-
- mBAND_ASSIGN(boolean) - Method in class cetus.base.grammars.NewCLexer
-
- mBNOT(boolean) - Method in class cetus.base.grammars.NewCLexer
-
- mBOR(boolean) - Method in class cetus.base.grammars.NewCLexer
-
- mBOR_ASSIGN(boolean) - Method in class cetus.base.grammars.NewCLexer
-
- mBXOR(boolean) - Method in class cetus.base.grammars.NewCLexer
-
- mBXOR_ASSIGN(boolean) - Method in class cetus.base.grammars.NewCLexer
-
- mCharLiteral(boolean) - Method in class cetus.base.grammars.NewCLexer
-
- mCOLON(boolean) - Method in class cetus.base.grammars.NewCLexer
-
- mCOMMA(boolean) - Method in class cetus.base.grammars.NewCLexer
-
- mComment(boolean) - Method in class cetus.base.grammars.NewCLexer
-
- mCPPComment(boolean) - Method in class cetus.base.grammars.NewCLexer
-
- mDEC(boolean) - Method in class cetus.base.grammars.NewCLexer
-
- mDIV(boolean) - Method in class cetus.base.grammars.NewCLexer
-
- mDIV_ASSIGN(boolean) - Method in class cetus.base.grammars.NewCLexer
-
- MEMBER_ACCESS - Static variable in class cetus.hir.AccessOperator
-
.
- MEMBER_DEREF_ACCESS - Static variable in class cetus.hir.AccessOperator
-
.*
- mEQUAL(boolean) - Method in class cetus.base.grammars.NewCLexer
-
- merge(Domain) - Method in interface cetus.analysis.Domain
-
Returns merge of the two domains (join operation).
- merge(Domain) - Method in class cetus.analysis.NullDomain
-
- merge(Domain) - Method in class cetus.analysis.PointsToDomain
-
Merge this domain with another.
- merge(Domain, Domain) - Static method in class cetus.analysis.PointsToDomain
-
Static method to merge two Points-to domains.
- merge(Domain) - Method in class cetus.analysis.PointsToDomain.Universe
-
- merge(Domain) - Method in class cetus.analysis.RangeDomain
-
- merge(Domain) - Method in class cetus.analysis.SetDomain
-
- mergeMaps(Map<Expression, Set<Integer>>, Map<Expression, Set<Integer>>) - Static method in class cetus.hir.DataFlowTools
-
add contents of new_map to orig_map
- mergeMaps(Map<Expression, Set<Integer>>, Map<Expression, Set<Integer>>) - Static method in class cetus.hir.Tools
-
- mergeRel(PointsToRel) - Method in class cetus.analysis.PointsToRel
-
Merge this rel with the input rel.
- mergeSymbolMaps(Map<Symbol, Set<Integer>>, Map<Symbol, Set<Integer>>) - Static method in class cetus.hir.DataFlowTools
-
add contents of new_map to orig_map
- mergeSymbolMaps(Map<Symbol, Set<Integer>>, Map<Symbol, Set<Integer>>) - Static method in class cetus.hir.Tools
-
- mergeWith(DependenceVector) - Method in class cetus.analysis.DependenceVector
-
- mGT(boolean) - Method in class cetus.base.grammars.NewCLexer
-
- mGTE(boolean) - Method in class cetus.base.grammars.NewCLexer
-
- mIDMEAT(boolean) - Method in class cetus.base.grammars.NewCLexer
-
- mINC(boolean) - Method in class cetus.base.grammars.NewCLexer
-
- mInclude(boolean) - Method in class cetus.base.grammars.PreCLexer
-
- MinMaxExpression - Class in cetus.hir
-
Class for MIN() MAX() expressions - these are equivalent to conditional
expressions.
- MinMaxExpression(boolean) - Constructor for class cetus.hir.MinMaxExpression
-
Constructs a min/max expression with the specified operator description.
- MinMaxExpression(boolean, Expression, Expression) - Constructor for class cetus.hir.MinMaxExpression
-
Consructs a min/max expression with the specified operator flag and the
two operand expressions.
- MINUS - Static variable in interface cetus.base.grammars.NEWCTokenTypes
-
- MINUS - Static variable in class cetus.hir.UnaryOperator
-
-
- MINUS_ASSIGN - Static variable in interface cetus.base.grammars.NEWCTokenTypes
-
- mLAND(boolean) - Method in class cetus.base.grammars.NewCLexer
-
- mLBRACKET(boolean) - Method in class cetus.base.grammars.NewCLexer
-
- mLCURLY(boolean) - Method in class cetus.base.grammars.NewCLexer
-
- mLcurly(boolean) - Method in class cetus.base.grammars.PreCLexer
-
- mLNOT(boolean) - Method in class cetus.base.grammars.NewCLexer
-
- mLOR(boolean) - Method in class cetus.base.grammars.NewCLexer
-
- mLPAREN(boolean) - Method in class cetus.base.grammars.NewCLexer
-
- mLSHIFT(boolean) - Method in class cetus.base.grammars.NewCLexer
-
- mLSHIFT_ASSIGN(boolean) - Method in class cetus.base.grammars.NewCLexer
-
- mLT(boolean) - Method in class cetus.base.grammars.NewCLexer
-
- mLTE(boolean) - Method in class cetus.base.grammars.NewCLexer
-
- mMINUS(boolean) - Method in class cetus.base.grammars.NewCLexer
-
- mMINUS_ASSIGN(boolean) - Method in class cetus.base.grammars.NewCLexer
-
- mMOD(boolean) - Method in class cetus.base.grammars.NewCLexer
-
- mMOD_ASSIGN(boolean) - Method in class cetus.base.grammars.NewCLexer
-
- mNewline(boolean) - Method in class cetus.base.grammars.PreCLexer
-
- mNOT_EQUAL(boolean) - Method in class cetus.base.grammars.NewCLexer
-
- mNumber(boolean) - Method in class cetus.base.grammars.NewCLexer
-
- MOD - Static variable in interface cetus.base.grammars.NEWCTokenTypes
-
- mod(Expression, Expression) - Static method in class cetus.hir.Symbolic
-
Returns modulus of two expressions with simplification.
- MOD_ASSIGN - Static variable in interface cetus.base.grammars.NEWCTokenTypes
-
- MODE_DEFAULT - Static variable in class cetus.analysis.InlineExpansion
-
Default mode for inlining, inlining will be performed inside main function
- MODE_INLINE_PRAGMAS - Static variable in class cetus.analysis.InlineExpansion
-
Same as "MODE_INLINEIN_PRAGMAS" except that "inline" pragmas will also be honored
- MODE_INLINEIN_PRAGMAS - Static variable in class cetus.analysis.InlineExpansion
-
Starting from main function inline the code which is inside "inlinein" pragmas
- MODE_INSIDE_SELECTED_FUNCTIONS - Static variable in class cetus.analysis.InlineExpansion
-
Inlining will be performed inside the selected functions provided on command line via "functions" option
- MODE_SELECTED_FUNCTIONS_INVOCATIONS - Static variable in class cetus.analysis.InlineExpansion
-
The selected functions provided on command line will be inlined wherever they are invoked
- MODULUS - Static variable in class cetus.hir.AssignmentOperator
-
%=
- MODULUS - Static variable in class cetus.hir.BinaryOperator
-
%
- mPLUS(boolean) - Method in class cetus.base.grammars.NewCLexer
-
- mPLUS_ASSIGN(boolean) - Method in class cetus.base.grammars.NewCLexer
-
- mPREPROC_DIRECTIVE(boolean) - Method in class cetus.base.grammars.NewCLexer
-
- mPreprocDirective(boolean) - Method in class cetus.base.grammars.PreCLexer
-
- mPTR(boolean) - Method in class cetus.base.grammars.NewCLexer
-
- mQUESTION(boolean) - Method in class cetus.base.grammars.NewCLexer
-
- mRBRACKET(boolean) - Method in class cetus.base.grammars.NewCLexer
-
- mRCURLY(boolean) - Method in class cetus.base.grammars.NewCLexer
-
- mRcurly(boolean) - Method in class cetus.base.grammars.PreCLexer
-
- mRest(boolean) - Method in class cetus.base.grammars.PreCLexer
-
- mRPAREN(boolean) - Method in class cetus.base.grammars.NewCLexer
-
- mRSHIFT(boolean) - Method in class cetus.base.grammars.NewCLexer
-
- mRSHIFT_ASSIGN(boolean) - Method in class cetus.base.grammars.NewCLexer
-
- mSEMI(boolean) - Method in class cetus.base.grammars.NewCLexer
-
- msPerDay - Variable in class cetus.gui.CetusGUIOptionsPanel
-
- msPerSec - Variable in class cetus.gui.CetusGUIOptionsPanel
-
- mSTAR(boolean) - Method in class cetus.base.grammars.NewCLexer
-
- mSTAR_ASSIGN(boolean) - Method in class cetus.base.grammars.NewCLexer
-
- mStringLiteral(boolean) - Method in class cetus.base.grammars.NewCLexer
-
- multExpr() - Method in class cetus.base.grammars.NewCParser
-
- multiply(Expression, Expression) - Static method in class cetus.analysis.NormalExpression
-
Deprecated.
Returns multiplication of two expressions with simplification.
- MULTIPLY - Static variable in class cetus.hir.AssignmentOperator
-
*=
- MULTIPLY - Static variable in class cetus.hir.BinaryOperator
-
*
- multiply(Expression, Expression) - Static method in class cetus.hir.Symbolic
-
Returns multiplication of two expressions with simplification.
- multiplyAll(List<Expression>) - Static method in class cetus.hir.Symbolic
-
Returns an expression that multiplies all expressions in the given
expression list.
- multiplyByLCM(Expression) - Static method in class cetus.hir.Symbolic
-
Returns an expression multiplied by LCM of the denominators present in
the terms in the specified expression.
- MUTABLE - Static variable in class cetus.hir.Specifier
-
- mWhitespace(boolean) - Method in class cetus.base.grammars.NewCLexer
-
- mWideCharLiteral(boolean) - Method in class cetus.base.grammars.NewCLexer
-
- mWideStringLiteral(boolean) - Method in class cetus.base.grammars.NewCLexer
-