Class JavaCAst2IRTranslator

java.lang.Object

com.ibm.wala.cast.tree.visit.CAstVisitor<AstTranslator.WalkContext>

com.ibm.wala.cast.ir.translator.AstTranslator

com.ibm.wala.cast.java.translator.JavaCAst2IRTranslator

All Implemented Interfaces:

ArrayOpHandler, TranslatorToIR

public class JavaCAst2IRTranslator
extends AstTranslator

Nested Class Summary

Nested classes/interfaces inherited from class AstTranslator

AstTranslator.AbstractScope, AstTranslator.AbstractSymbol, AstTranslator.AstCFG, AstTranslator.AstLexicalInformation, AstTranslator.CodeEntityContext, AstTranslator.FinalCAstSymbol, AstTranslator.IncipientCFG, AstTranslator.InternalCAstSymbol, AstTranslator.PreBasicBlock, AstTranslator.RootContext, AstTranslator.Scope, AstTranslator.ScopeType, AstTranslator.Symbol, AstTranslator.TypeContext, AstTranslator.UnwindState, AstTranslator.WalkContext

Nested classes/interfaces inherited from class CAstVisitor

CAstVisitor.Context

Field Summary

Fields inherited from class AstTranslator

DEBUG_ALL, DEBUG_CFG, DEBUG_LEXICAL, DEBUG_NAMES, DEBUG_TOP, entity2ExposedNames, entity2WrittenNames, insts, loader, namedEntityResolver

Fields inherited from class CAstVisitor

currentPosition

Constructor Summary

Constructors

Constructor	Description
JavaCAst2IRTranslator(ModuleEntry module, CAstEntity sourceFileEntity, JavaSourceLoaderImpl loader, StringFilter exclusions)

Method Summary

Modifier and Type	Method	Description
protected String	composeEntityName(AstTranslator.WalkContext parent, CAstEntity f)	create the language-appropriate name for f
protected void	declareFunction(CAstEntity N, AstTranslator.WalkContext definingContext)	declare a new function, represented by N
protected TypeReference	defaultCatchType()	for a block that catches all exceptions, what is the root exception type that it can catch? E.g., for Java, java.lang.Throwable
protected void	defineField(CAstEntity topEntity, AstTranslator.WalkContext definingContext, CAstEntity n)	define a new field fieldEntity within topEntity
protected void	defineFunction(CAstEntity N, AstTranslator.WalkContext definingContext, AbstractCFG<SSAInstruction, ? extends IBasicBlock<SSAInstruction>> cfg, SymbolTable symtab, boolean hasCatchBlock, Map<IBasicBlock<SSAInstruction>, TypeReference[]> caughtTypes, boolean hasMonitorOp, AstTranslator.AstLexicalInformation lexicalInfo, AstMethod.DebuggingInformation debugInfo)	fully define a function.
protected boolean	defineType(CAstEntity type, AstTranslator.WalkContext wc)	define a new (presumably nested) type.
void	doArrayRead(AstTranslator.WalkContext context, int result, int arrayValue, CAstNode arrayRefNode, int[] dimValues)	generate IR for a CAst array read, updating context.cfg()
void	doArrayWrite(AstTranslator.WalkContext context, int arrayValue, CAstNode arrayRefNode, int[] dimValues, int rval)	generate IR for a CAst array write, updating context.cfg()
protected void	doCall(AstTranslator.WalkContext context, CAstNode call, int result, int exception, CAstNode name, int receiver, int[] arguments)	generate IR for a CAst method call expression, updating context.cfg()
protected void	doFieldRead(AstTranslator.WalkContext context, int result, int receiver, CAstNode elt, CAstNode parent)	generate IR for a CAst field read, updating context.cfg()
protected void	doFieldWrite(AstTranslator.WalkContext context, int receiver, CAstNode elt, CAstNode parent, int rval)	generate IR for a CAst field write, updating context.cfg()
protected void	doGlobalWrite(AstTranslator.WalkContext context, String name, TypeReference type, int rval)	generate instructions for a write of a global
protected void	doMaterializeFunction(CAstNode n, AstTranslator.WalkContext context, int result, int exception, CAstEntity fn)	generate IR for a CAst function expression, updating context.cfg()
protected void	doNewObject(AstTranslator.WalkContext context, CAstNode newNode, int result, Object type, int[] arguments)	generate IR for a CAst new expression, updating context.cfg()
protected void	doPrimitive(int resultVal, AstTranslator.WalkContext context, CAstNode primitiveCall)	generate IR for call modeling creation of primitive value, updating context.cfg()
protected void	doThrow(AstTranslator.WalkContext context, int exception)	generate IR for a CAst throw expression, updating context.cfg()
protected boolean	doVisit(CAstNode n, AstTranslator.WalkContext wc, CAstVisitor<AstTranslator.WalkContext> visitor)	Node processing hook; sub-classes are expected to override if they introduce new node types.
protected CAstType	exceptionType()	the most-general exception type for the language being translated
protected CAstSourcePositionMap.Position[]	getParameterPositions(CAstEntity n)
protected boolean	hasImplicitGlobals()	If this returns true, new global declarations get created for any attempt to access a non-existent variable (believe it or not, JavaScript actually does this!)
protected void	leaveCast(CAstNode n, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave a Cast node.
protected void	leaveInstanceOf(CAstNode n, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave an InstanceOf node.
protected void	leaveThis(CAstNode n, AstTranslator.WalkContext c, CAstVisitor<AstTranslator.WalkContext> visitor)	Leave a This node.
JavaSourceLoaderImpl	loader()
protected TypeReference	makeType(CAstType type)
CAstEntity	sourceFileEntity()
protected CAstType	topType()	the most-general type for the language being translated
void	translate()
protected boolean	treatGlobalsAsLexicallyScoped()	can lexical reads / writes access globals?
protected boolean	useDefaultInitValues()	does the language care about using type-appropriate default values? For Java, the answer is yes (ints should get a default value of 0, null for pointers, etc.).
protected boolean	visitCast(CAstNode n, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit a Cast node.
protected boolean	visitInstanceOf(CAstNode n, AstTranslator.WalkContext context, CAstVisitor<AstTranslator.WalkContext> visitor)	Visit an InstanceOf node.

Methods inherited from class AstTranslator

assignValue, closeFunctionEntity, doGlobalRead, doIsFieldDefined, doLexicallyScopedRead, doLexicallyScopedWrite, doLocalRead, doLocalWrite, doPrologue, enterEntity, getArgumentCount, getArgumentNames, getCodeContext, getIncludedEntity, getTypeForNode, handleUnspecifiedLiteralKey, hasSpecialUndeclaredVariables, ignoreName, initFunctionEntity, isExceptionLabel, leaveArrayLength, leaveArrayLiteral, leaveArrayLiteralInitElement, leaveArrayLiteralObject, leaveArrayRef, leaveArrayRefAssign, leaveArrayRefAssignOp, leaveAssert, leaveAssign, leaveBinaryExpr, leaveBlockExpr, leaveBlockExprAssign, leaveBlockExprAssignOp, leaveBlockStmt, leaveCall, leaveCatch, leaveConstant, leaveDeclStmt, leaveEachElementGet, leaveEachElementHasNext, leaveEcho, leaveEmpty, leaveFieldEntity, leaveFileEntity, leaveFunctionEntity, leaveFunctionExpr, leaveFunctionStmt, leaveGetCaughtException, leaveGlobalEntity, leaveGoto, leaveIfExpr, leaveIfExprCondition, leaveIfExprTrueClause, leaveIfgoto, leaveIfStmt, leaveIfStmtCondition, leaveIfStmtTrueClause, leaveInclude, leaveIsDefinedExpr, leaveLabelStmt, leaveLocalScope, leaveLoop, leaveLoopHeader, leaveNew, leaveObjectLiteral, leaveObjectLiteralFieldInit, leaveObjectRef, leaveObjectRefAssign, leaveObjectRefAssignOp, leavePrimitive, leaveReturn, leaveScriptEntity, leaveSpecialParentScope, leaveSuper, leaveSwitch, leaveSwitchValue, leaveThrow, leaveTry, leaveTryBlock, leaveTypeEntity, leaveTypeLiteralExpr, leaveUnaryExpr, leaveUnwind, leaveVar, leaveVarAssign, leaveVarAssignOp, leaveVoid, leaveYield, liftDeclarationsForLexicalScoping, makeCodeContext, makeFileContext, makeGlobalRef, makeLocalContext, makeNameMap, makeScriptScope, makeSpecialParentContext, makeTypeContext, makeTypeScope, makeUnwindContext, processAssignOp, processFunctionExpr, processIf, setDefaultValue, topLevelFunctionsInGlobalScope, translate, translate, translateBinaryOpcode, translateConditionOpcode, translateUnaryOpcode, visitArrayLength, visitArrayLiteral, visitArrayRef, visitAssert, visitAssign, visitBinaryExpr, visitBlockExpr, visitBlockStmt, visitCall, visitCatch, visitConstant, visitDeclStmt, visitEachElementGet, visitEachElementHasNext, visitEcho, visitEmpty, visitFieldEntity, visitFileEntity, visitFunctionEntity, visitFunctionExpr, visitFunctionStmt, visitGetCaughtException, visitGlobalEntity, visitGoto, visitIfExpr, visitIfgoto, visitIfStmt, visitIsDefinedExpr, visitLabelStmt, visitLocalScope, visitLoop, visitMacroEntity, visitNew, visitObjectLiteral, visitObjectRef, visitPrimitive, visitReturn, visitScriptEntity, visitSpecialParentScope, visitSuper, visitSwitch, visitThis, visitThrow, visitTry, visitTypeEntity, visitTypeLiteralExpr, visitUnaryExpr, visitUnwind, visitVar, visitVoid, visitYield, walkEntities

Methods inherited from class CAstVisitor

doVisitArrayRefNode, doVisitAssignNodes, doVisitEntity, enterNode, getCurrentPosition, getParent, leaveArrayLiteralAssign, leaveClassStmt, leaveEntity, leaveForIn, leaveMacroEntity, leaveMacroVar, leaveNode, leaveObjectLiteralAssign, postProcessEntity, postProcessNode, setParent, visit, visitAllChildren, visitArrayLiteralAssign, visitArrayRefAssign, visitArrayRefAssignOp, visitAssignNodes, visitBlockExprAssign, visitBlockExprAssignOp, visitChildren, visitClassStmt, visitEntities, visitEntity, visitForIn, visitInclude, visitMacroVar, visitNode, visitObjectLiteralAssign, visitObjectRefAssign, visitObjectRefAssignOp, visitScopedEntities, visitScopedEntities, visitVarAssign, visitVarAssignOp

Methods inherited from class Object

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

Constructor Details

JavaCAst2IRTranslator

public JavaCAst2IRTranslator(ModuleEntry module,
 CAstEntity sourceFileEntity,
 JavaSourceLoaderImpl loader,
 StringFilter exclusions)

Method Details

translate

public void translate()

sourceFileEntity

public CAstEntity sourceFileEntity()

loader

public JavaSourceLoaderImpl loader()

useDefaultInitValues

protected boolean useDefaultInitValues()

Description copied from class: AstTranslator

does the language care about using type-appropriate default values? For Java, the answer is yes (ints should get a default value of 0, null for pointers, etc.). For JavaScript, the answer is no, as any variable can hold the value 'undefined'.

Specified by:

useDefaultInitValues in class AstTranslator

hasImplicitGlobals

protected boolean hasImplicitGlobals()

Description copied from class: AstTranslator

If this returns true, new global declarations get created for any attempt to access a non-existent variable (believe it or not, JavaScript actually does this!)

Overrides:

hasImplicitGlobals in class AstTranslator

defaultCatchType

protected TypeReference defaultCatchType()

Description copied from class: AstTranslator

for a block that catches all exceptions, what is the root exception type that it can catch? E.g., for Java, java.lang.Throwable

Specified by:

defaultCatchType in class AstTranslator

makeType

protected TypeReference makeType(CAstType type)

Specified by:

makeType in class AstTranslator

treatGlobalsAsLexicallyScoped

protected boolean treatGlobalsAsLexicallyScoped()

Description copied from class: AstTranslator

can lexical reads / writes access globals?

Specified by:

treatGlobalsAsLexicallyScoped in class AstTranslator

doThrow

protected void doThrow(AstTranslator.WalkContext context,
 int exception)

Description copied from class: AstTranslator

generate IR for a CAst throw expression, updating context.cfg()

Specified by:

doThrow in class AstTranslator

doArrayRead

public void doArrayRead(AstTranslator.WalkContext context,
 int result,
 int arrayValue,
 CAstNode arrayRefNode,
 int[] dimValues)

Description copied from class: AstTranslator

generate IR for a CAst array read, updating context.cfg()

Specified by:

doArrayRead in interface ArrayOpHandler

Specified by:

doArrayRead in class AstTranslator

doArrayWrite

public void doArrayWrite(AstTranslator.WalkContext context,
 int arrayValue,
 CAstNode arrayRefNode,
 int[] dimValues,
 int rval)

Description copied from class: AstTranslator

generate IR for a CAst array write, updating context.cfg()

Specified by:

doArrayWrite in interface ArrayOpHandler

Specified by:

doArrayWrite in class AstTranslator

doFieldRead

protected void doFieldRead(AstTranslator.WalkContext context,
 int result,
 int receiver,
 CAstNode elt,
 CAstNode parent)

Description copied from class: AstTranslator

generate IR for a CAst field read, updating context.cfg()

Specified by:

doFieldRead in class AstTranslator

doFieldWrite

protected void doFieldWrite(AstTranslator.WalkContext context,
 int receiver,
 CAstNode elt,
 CAstNode parent,
 int rval)

Description copied from class: AstTranslator

generate IR for a CAst field write, updating context.cfg()

Specified by:

doFieldWrite in class AstTranslator

doMaterializeFunction

protected void doMaterializeFunction(CAstNode n,
 AstTranslator.WalkContext context,
 int result,
 int exception,
 CAstEntity fn)

Description copied from class: AstTranslator

generate IR for a CAst function expression, updating context.cfg()

Specified by:

doMaterializeFunction in class AstTranslator

doNewObject

protected void doNewObject(AstTranslator.WalkContext context,
 CAstNode newNode,
 int result,
 Object type,
 int[] arguments)

Description copied from class: AstTranslator

generate IR for a CAst new expression, updating context.cfg()

Specified by:

doNewObject in class AstTranslator

doCall

protected void doCall(AstTranslator.WalkContext context,
 CAstNode call,
 int result,
 int exception,
 CAstNode name,
 int receiver,
 int[] arguments)

Description copied from class: AstTranslator

generate IR for a CAst method call expression, updating context.cfg()

Specified by:

doCall in class AstTranslator

doGlobalWrite

protected void doGlobalWrite(AstTranslator.WalkContext context,
 String name,
 TypeReference type,
 int rval)

Description copied from class: AstTranslator

generate instructions for a write of a global

Overrides:

doGlobalWrite in class AstTranslator

defineField

protected void defineField(CAstEntity topEntity,
 AstTranslator.WalkContext definingContext,
 CAstEntity n)

Description copied from class: AstTranslator

define a new field fieldEntity within topEntity

Specified by:

defineField in class AstTranslator

declareFunction

protected void declareFunction(CAstEntity N,
 AstTranslator.WalkContext definingContext)

Description copied from class: AstTranslator

declare a new function, represented by N

Specified by:

declareFunction in class AstTranslator

defineFunction

protected void defineFunction(CAstEntity N,
 AstTranslator.WalkContext definingContext,
 AbstractCFG<SSAInstruction, ? extends IBasicBlock<SSAInstruction>> cfg,
 SymbolTable symtab,
 boolean hasCatchBlock,
 Map<IBasicBlock<SSAInstruction>, TypeReference[]> caughtTypes,
 boolean hasMonitorOp,
 AstTranslator.AstLexicalInformation lexicalInfo,
 AstMethod.DebuggingInformation debugInfo)

Description copied from class: AstTranslator

fully define a function. invoked after all the code of the function has been processed

Specified by:

defineFunction in class AstTranslator

doPrimitive

protected void doPrimitive(int resultVal,
 AstTranslator.WalkContext context,
 CAstNode primitiveCall)

Description copied from class: AstTranslator

generate IR for call modeling creation of primitive value, updating context.cfg()

Specified by:

doPrimitive in class AstTranslator

composeEntityName

protected String composeEntityName(AstTranslator.WalkContext parent,
 CAstEntity f)

Description copied from class: AstTranslator

create the language-appropriate name for f

Specified by:

composeEntityName in class AstTranslator

defineType

protected boolean defineType(CAstEntity type,
 AstTranslator.WalkContext wc)

Description copied from class: AstTranslator

define a new (presumably nested) type. return true if type was successfully defined, false otherwise

Specified by:

defineType in class AstTranslator

leaveThis

protected void leaveThis(CAstNode n,
 AstTranslator.WalkContext c,
 CAstVisitor<AstTranslator.WalkContext> visitor)

Description copied from class: CAstVisitor

Leave a This node.

Overrides:

leaveThis in class AstTranslator

Parameters:

n - the node to process

c - a visitor-specific context

visitCast

protected boolean visitCast(CAstNode n,
 AstTranslator.WalkContext context,
 CAstVisitor<AstTranslator.WalkContext> visitor)

Description copied from class: CAstVisitor

Visit a Cast node.

Overrides:

visitCast in class CAstVisitor<AstTranslator.WalkContext>

Parameters:

n - the node to process

context - a visitor-specific context

Returns:

true if no further processing is needed

leaveCast

protected void leaveCast(CAstNode n,
 AstTranslator.WalkContext context,
 CAstVisitor<AstTranslator.WalkContext> visitor)

Description copied from class: CAstVisitor

Leave a Cast node.

Overrides:

leaveCast in class CAstVisitor<AstTranslator.WalkContext>

Parameters:

n - the node to process

context - a visitor-specific context

visitInstanceOf

protected boolean visitInstanceOf(CAstNode n,
 AstTranslator.WalkContext context,
 CAstVisitor<AstTranslator.WalkContext> visitor)

Description copied from class: CAstVisitor

Visit an InstanceOf node.

Overrides:

visitInstanceOf in class CAstVisitor<AstTranslator.WalkContext>

Parameters:

n - the node to process

context - a visitor-specific context

Returns:

true if no further processing is needed

leaveInstanceOf

protected void leaveInstanceOf(CAstNode n,
 AstTranslator.WalkContext context,
 CAstVisitor<AstTranslator.WalkContext> visitor)

Description copied from class: CAstVisitor

Leave an InstanceOf node.

Overrides:

leaveInstanceOf in class CAstVisitor<AstTranslator.WalkContext>

Parameters:

n - the node to process

context - a visitor-specific context

doVisit

protected boolean doVisit(CAstNode n,
 AstTranslator.WalkContext wc,
 CAstVisitor<AstTranslator.WalkContext> visitor)

Description copied from class: CAstVisitor

Node processing hook; sub-classes are expected to override if they introduce new node types.

(Should invoke super.doVisit() for unprocessed nodes.)

Overrides:

doVisit in class CAstVisitor<AstTranslator.WalkContext>

Returns:

true if node was handled

topType

protected CAstType topType()

Description copied from class: AstTranslator

the most-general type for the language being translated

Specified by:

topType in class AstTranslator

exceptionType

protected CAstType exceptionType()

Description copied from class: AstTranslator

the most-general exception type for the language being translated

Specified by:

exceptionType in class AstTranslator

getParameterPositions

protected CAstSourcePositionMap.Position[] getParameterPositions(CAstEntity n)

Specified by:

getParameterPositions in class AstTranslator