Package pascal.taie.analysis.pta.plugin.natives

Class ArrayModel

java.lang.Object

pascal.taie.analysis.pta.plugin.natives.ArrayModel

public class ArrayModel
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	ArrayModel.AnalysisModel
static class	ArrayModel.IRModel

Constructor Summary

Constructors

Constructor	Description
ArrayModel()

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Details

ArrayModel

public ArrayModel()