Package it.unive.lisa.interprocedural.impl

Class CallGraphBasedAnalysis<A extends AbstractState<A,H,V>,H extends HeapDomain<H>,V extends ValueDomain<V>>

java.lang.Object

it.unive.lisa.interprocedural.impl.CallGraphBasedAnalysis<A,H,V>

Type Parameters:

A - The abstract state of the analysis

H - The heap domain

V - The value domain

All Implemented Interfaces:

InterproceduralAnalysis<A,H,V>

Direct Known Subclasses:

ContextBasedAnalysis

public abstract class CallGraphBasedAnalysis<A extends AbstractState<A,H,V>,H extends HeapDomain<H>,V extends ValueDomain<V>>
extends java.lang.Object
implements InterproceduralAnalysis<A,H,V>

An interprocedural analysis based on a call graph.

Field Summary

Fields

Modifier and Type	Field	Description
protected CallGraph	callgraph	The call graph used to resolve method calls.
protected Program	program	The program.

Constructor Summary

Constructors

Constructor	Description
CallGraphBasedAnalysis()

Method Summary

Modifier and Type	Method	Description
void	init(Program program, CallGraph callgraph)	Initializes the interprocedural analysis of the given program.
protected AnalysisState<A,H,V>	prepareEntryStateOfEntryPoint(AnalysisState<A,H,V> entryState, CFG cfg)	Prepare and entry state for the analysis of a method by renaming parameters.
Call	resolve(UnresolvedCall unresolvedCall)	Yields a Call implementation that corresponds to the resolution of the given UnresolvedCall.

Methods inherited from class java.lang.Object

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

Methods inherited from interface it.unive.lisa.interprocedural.InterproceduralAnalysis

fixpoint, getAbstractResultOf, getAnalysisResultsOf

Field Detail

callgraph

protected CallGraph callgraph

The call graph used to resolve method calls.

program

protected Program program

The program.

Constructor Detail

CallGraphBasedAnalysis

public CallGraphBasedAnalysis()

Method Detail

init

public final void init(Program program,
                       CallGraph callgraph)
                throws InterproceduralAnalysisException

Description copied from interface: InterproceduralAnalysis

Initializes the interprocedural analysis of the given program.

Specified by:

init in interface InterproceduralAnalysis<A extends AbstractState<A,H,V>,H extends HeapDomain<H>,V extends ValueDomain<V>>

Parameters:

program - the program

callgraph - the callgraph used to resolve method calls

Throws:

InterproceduralAnalysisException - if an exception happens while performing the interprocedural analysis

resolve

public final Call resolve(UnresolvedCall unresolvedCall)
                   throws CallResolutionException

Description copied from interface: InterproceduralAnalysis

Yields a Call implementation that corresponds to the resolution of the given UnresolvedCall. This method will return:

• a CFGCall, if at least one CFG that matches UnresolvedCall.getTargetName() is found. The returned CFGCall will be linked to all the possible runtime targets matching UnresolvedCall.getTargetName();
• an OpenCall, if no CFG matching UnresolvedCall.getTargetName() is found.

Specified by:

resolve in interface InterproceduralAnalysis<A extends AbstractState<A,H,V>,H extends HeapDomain<H>,V extends ValueDomain<V>>

Parameters:

unresolvedCall - the call to resolve

Returns:

a collection of all the possible runtime targets

Throws:

CallResolutionException - if this analysis is unable to resolve the given call

prepareEntryStateOfEntryPoint

protected final AnalysisState<A,H,V> prepareEntryStateOfEntryPoint(AnalysisState<A,H,V> entryState,
                                                                               CFG cfg)
                                                                        throws SemanticException

Prepare and entry state for the analysis of a method by renaming parameters.

Parameters:

entryState - the initial entry state

cfg - the CFG of the method

Returns:

the entry state with the right parameter binding

Throws:

SemanticException - if the analysis fails