public PentagonUnsafeCodeAnalysis(
string methodName,
IMethodDriver <APC, Local, Parameter, Method, Field, Property, Type, Attribute, Assembly, ExternalExpression, Variable, ILogOptions> mdriver,
List <Analyzers.Unsafe.UnsafeOptions> options,
IOverallUnsafeStatistics overallStats
)
: base(methodName, mdriver, options, overallStats)
{
}
public PolyhedraUnsafeAnalysis(
string methodName,
IMethodDriver <APC, Local, Parameter, Method, Field, Property, Type, Attribute, Assembly, ExternalExpression, Variable, ILogOptions> mdriver,
IValueAnalysisOptions options,
IOverallUnsafeStatistics overallStats
)
: base(methodName, mdriver, options, overallStats)
{
}
public SubPolyhedraAnalysisForUnsafeCode(
string methodName,
IMethodDriver <APC, Local, Parameter, Method, Field, Property, Type, Attribute, Assembly, ExternalExpression, Variable, ILogOptions> mdriver,
List <Analyzers.Unsafe.UnsafeOptions> options,
IOverallUnsafeStatistics overallStats
)
: base(methodName, mdriver, options, overallStats)
{
this.encoder = BoxedExpressionEncoder.Encoder(this.DecoderForMetaData, this.Context);
}
