Module dev.civl.abc

Package dev.civl.abc.analysis.pointsTo.IF

Class SimplePointsToAnalysisIF

java.lang.Object

dev.civl.abc.analysis.pointsTo.IF.SimplePointsToAnalysisIF

public class SimplePointsToAnalysisIF
extends Object

The interface for create a points-to analyzer

Constructor Summary

Constructors

Constructor	Description
SimplePointsToAnalysisIF()

Method Summary

Modifier and Type	Method	Description
static FlowInsensePointsToAnalyzer	flowInsensePointsToAnalyzer(AST program, TypeFactory typeFactory)

Methods inherited from class java.lang.Object

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

Constructor Details

SimplePointsToAnalysisIF

public SimplePointsToAnalysisIF()

Method Details

flowInsensePointsToAnalyzer

public static FlowInsensePointsToAnalyzer flowInsensePointsToAnalyzer(AST program,
 TypeFactory typeFactory)