cetus.application

Class ChainTools

java.lang.Object

cetus.application.ChainTools

public class ChainTools
extends java.lang.Object

Provides tools for Def-Use or Use-Def chain computation.

Author:

Jae-Woo Lee, School of ECE, Purdue University

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	ChainTools.MyType

Field Summary

Fields

Modifier and Type	Field and Description
static java.util.HashMap<java.lang.Integer,java.util.HashMap<ChainTools.MyType,java.lang.Boolean>>	typeCache

Constructor Summary

Constructors

Constructor and Description
ChainTools()

Method Summary

Methods

Modifier and Type	Method and Description
static java.lang.String[]	expandArguments(java.lang.String[] args, java.lang.String suffix)
static java.util.List<Expression>	getDefListInDec(VariableDeclarator declarator)
static java.util.List<Expression>	getDefListInNestedDec(NestedDeclarator declarator)
static java.util.Set<Symbol>	getDefSymbol(AnalysisTarget[] defArray, Procedure proc)
static java.util.Set<Symbol>	getDefSymbol(java.util.Set<AnalysisTarget> defSet, Procedure proc)
static IDExpression	getIDExpression(Expression ex)
static Expression	getIDVariableOnlyInStruct(Expression currentEx)
static Expression	getIDVariablePlusMemberInStruct(Expression currentEx)
static Expression	getMemberOnlyInStruct(Expression currentEx)
static Procedure	getParentProcedure(Traversable trav, Program program)
static java.util.List<Expression>	getPlainDefList(Traversable tr, Procedure proc) This returns the definition list in the plain assignment statement;
static java.util.Set<Procedure>	getProcedureSet(Program program)
static IDExpression	getRefIDExpression(Expression ex, Procedure proc) Extract the variable ID from the input expression.
static java.util.List<Expression>	getRefIDExpressionListInConditionalExpressionArg(ConditionalExpression conEx, Procedure proc)
static java.util.List<Expression>	getSideEffectParamList(java.util.List<Expression> paramList, int[] sideEffectIdx)
static java.util.List<Expression>	getUseList(Traversable traversable)
static java.util.List<Expression>	getUseListInDec(VariableDeclarator declarator)
static java.util.List<Expression>	getUseListInNestedDec(NestedDeclarator declarator)
static boolean	hasSameArrayAccessInStruct(Expression def, Expression use, Procedure proc)
static boolean	hasSameArrayIdentifier(Expression ex1, Expression ex2)
static boolean	hasSameStructureVariableIdentifier(Expression def, Expression use, Procedure proc)
static boolean	hasSameToString(Expression ex1, Expression ex2)
static boolean	isArrayAccess(Expression expression)
static boolean	isArrayAccessInStruct(Expression expression, Procedure proc)
static boolean	isArrayAccessWithConstantIndex(Expression expression)
static boolean	isArrayAccessWithNoIndex(Expression expression)
static boolean	isArrayAccessWithPartiallyConstantIndex(Expression expression)
static boolean	isArrayAccessWithVariableIndex(Expression expression)
static boolean	isDefinedArrayDeclarator(VariableDeclarator vd)
static boolean	isDefinedArrayNestedDeclarator(NestedDeclarator vd)
static boolean	isDefInItself(DFANode defNode, Expression defEx, Expression useEx)
static boolean	isEntryNode(DFANode node, CFGraph cfg)
static boolean	isExitNode(DFANode node, CFGraph cfg)
static boolean	isGlobal(Expression expression)
static boolean	isIdentical(java.lang.Object obj1, java.lang.Object obj2)
static boolean	isNestedDefInItself(DFANode defNode, Expression defEx, Expression useEx)
static boolean	isNonConstReferenceTypeParameter(VariableDeclaration varDec)
static boolean	isPointerAccess(Expression expression)
static boolean	isStructureAccess(Expression expression, Procedure proc)
static boolean	isStructureAccessInDec(Expression expression, Procedure proc)
static boolean	isStructureAccessInParam(Expression expression, Procedure proc)
static void	listDirectory(java.util.List<java.io.File> fileList, java.util.Set<java.io.File> dirSet, java.lang.String directory, java.io.FilenameFilter filter)
static boolean	matchArrayAccessForKill(Expression defMapEntryExp, Expression currentEx)
static boolean	matchExpressionForKill(Expression defMapEntry, Expression currentEx)
static boolean	matchIdInExpression(Expression ex1, Expression ex2)
static boolean	matchPointerExForKill(Expression defMapEntry, Expression currentEx)
static boolean	matchRefIdInExpression(Expression ex1, Expression ex2, Procedure proc)
static void	setGenBit(DFANode cfgNode, AnalysisTarget[] defMapEntry, Expression currentEx)
static void	setInBit(DFANode cfgNode, int idx)
static void	setKillBit(DFANode cfgNode, AnalysisTarget[] defMapEntry, Expression currentEx, Procedure proc)
static void	setKillBitForAlias(DFANode cfgNode, AnalysisTarget[] defMapEntry, Expression currentEx, Statement currentStmt, Procedure proc)
static void	setOutBit(DFANode cfgNode, int idx)
static void	traverseIR(Traversable tr)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

typeCache

public static java.util.HashMap<java.lang.Integer,java.util.HashMap<ChainTools.MyType,java.lang.Boolean>> typeCache

Constructor Detail

ChainTools

public ChainTools()

Method Detail

isDefinedArrayDeclarator

public static boolean isDefinedArrayDeclarator(VariableDeclarator vd)

isDefinedArrayNestedDeclarator

public static boolean isDefinedArrayNestedDeclarator(NestedDeclarator vd)

expandArguments

public static java.lang.String[] expandArguments(java.lang.String[] args,
                                 java.lang.String suffix)

listDirectory

public static void listDirectory(java.util.List<java.io.File> fileList,
                 java.util.Set<java.io.File> dirSet,
                 java.lang.String directory,
                 java.io.FilenameFilter filter)

isNonConstReferenceTypeParameter

public static boolean isNonConstReferenceTypeParameter(VariableDeclaration varDec)

getRefIDExpressionListInConditionalExpressionArg

public static java.util.List<Expression> getRefIDExpressionListInConditionalExpressionArg(ConditionalExpression conEx,
                                                                          Procedure proc)

traverseIR

public static void traverseIR(Traversable tr)

getParentProcedure

public static Procedure getParentProcedure(Traversable trav,
                           Program program)

hasSameToString

public static boolean hasSameToString(Expression ex1,
                      Expression ex2)

hasSameStructureVariableIdentifier

public static boolean hasSameStructureVariableIdentifier(Expression def,
                                         Expression use,
                                         Procedure proc)

hasSameArrayAccessInStruct

public static boolean hasSameArrayAccessInStruct(Expression def,
                                 Expression use,
                                 Procedure proc)

hasSameArrayIdentifier

public static boolean hasSameArrayIdentifier(Expression ex1,
                             Expression ex2)

isArrayAccessWithConstantIndex

public static boolean isArrayAccessWithConstantIndex(Expression expression)

isArrayAccessWithPartiallyConstantIndex

public static boolean isArrayAccessWithPartiallyConstantIndex(Expression expression)

isArrayAccessWithVariableIndex

public static boolean isArrayAccessWithVariableIndex(Expression expression)

isArrayAccessWithNoIndex

public static boolean isArrayAccessWithNoIndex(Expression expression)

isArrayAccess

public static boolean isArrayAccess(Expression expression)

isArrayAccessInStruct

public static boolean isArrayAccessInStruct(Expression expression,
                            Procedure proc)

getDefListInDec

public static java.util.List<Expression> getDefListInDec(VariableDeclarator declarator)

getDefListInNestedDec

public static java.util.List<Expression> getDefListInNestedDec(NestedDeclarator declarator)

getUseListInDec

public static java.util.List<Expression> getUseListInDec(VariableDeclarator declarator)

getUseListInNestedDec

public static java.util.List<Expression> getUseListInNestedDec(NestedDeclarator declarator)

setGenBit

public static void setGenBit(DFANode cfgNode,
             AnalysisTarget[] defMapEntry,
             Expression currentEx)

isStructureAccessInParam

public static boolean isStructureAccessInParam(Expression expression,
                               Procedure proc)

isStructureAccessInDec

public static boolean isStructureAccessInDec(Expression expression,
                             Procedure proc)

isStructureAccess

public static boolean isStructureAccess(Expression expression,
                        Procedure proc)

isPointerAccess

public static boolean isPointerAccess(Expression expression)

getIDVariablePlusMemberInStruct

public static Expression getIDVariablePlusMemberInStruct(Expression currentEx)

getIDVariableOnlyInStruct

public static Expression getIDVariableOnlyInStruct(Expression currentEx)

getMemberOnlyInStruct

public static Expression getMemberOnlyInStruct(Expression currentEx)

setKillBitForAlias

public static void setKillBitForAlias(DFANode cfgNode,
                      AnalysisTarget[] defMapEntry,
                      Expression currentEx,
                      Statement currentStmt,
                      Procedure proc)

setKillBit

public static void setKillBit(DFANode cfgNode,
              AnalysisTarget[] defMapEntry,
              Expression currentEx,
              Procedure proc)

setInBit

public static void setInBit(DFANode cfgNode,
            int idx)

setOutBit

public static void setOutBit(DFANode cfgNode,
             int idx)

matchArrayAccessForKill

public static boolean matchArrayAccessForKill(Expression defMapEntryExp,
                              Expression currentEx)

matchExpressionForKill

public static boolean matchExpressionForKill(Expression defMapEntry,
                             Expression currentEx)

matchPointerExForKill

public static boolean matchPointerExForKill(Expression defMapEntry,
                            Expression currentEx)

isGlobal

public static boolean isGlobal(Expression expression)

isDefInItself

public static boolean isDefInItself(DFANode defNode,
                    Expression defEx,
                    Expression useEx)

isNestedDefInItself

public static boolean isNestedDefInItself(DFANode defNode,
                          Expression defEx,
                          Expression useEx)

getSideEffectParamList

public static java.util.List<Expression> getSideEffectParamList(java.util.List<Expression> paramList,
                                                int[] sideEffectIdx)

matchIdInExpression

public static boolean matchIdInExpression(Expression ex1,
                          Expression ex2)

matchRefIdInExpression

public static boolean matchRefIdInExpression(Expression ex1,
                             Expression ex2,
                             Procedure proc)

getIDExpression

public static IDExpression getIDExpression(Expression ex)

getRefIDExpression

public static IDExpression getRefIDExpression(Expression ex,
                              Procedure proc)

Extract the variable ID from the input expression. Additional feature is to extract the ID from "reference_variable + primitive_variable" form.

Parameters:

ex -

proc -

Returns:

getProcedureSet

public static java.util.Set<Procedure> getProcedureSet(Program program)

isEntryNode

public static boolean isEntryNode(DFANode node,
                  CFGraph cfg)

isExitNode

public static boolean isExitNode(DFANode node,
                 CFGraph cfg)

isIdentical

public static boolean isIdentical(java.lang.Object obj1,
                  java.lang.Object obj2)

getUseList

public static java.util.List<Expression> getUseList(Traversable traversable)

getDefSymbol

public static java.util.Set<Symbol> getDefSymbol(java.util.Set<AnalysisTarget> defSet,
                                 Procedure proc)

getDefSymbol

public static java.util.Set<Symbol> getDefSymbol(AnalysisTarget[] defArray,
                                 Procedure proc)

getPlainDefList

public static java.util.List<Expression> getPlainDefList(Traversable tr,
                                         Procedure proc)

This returns the definition list in the plain assignment statement;

Parameters:

tr -

Returns: