Nit

Index of types
Index of exceptions
Index of values
Index of modules
Index of module types


AliasAAnalysis
This module is used as an interface to the simple (A) alias analysis.
AliasAConstraints
This modules defines the constraints format for the simple (A) alias analysis.
AliasADomains
This module defines the domains for the simple (A) alias analysis.
AliasASemantics
Abstract semantics of the simple (A) alias analysis.
AliasAnalysis
Abstract representation of the result computed the alias analysis (simple or extended).
AliasCAnalysis
This module is used as an interface to the new extended (C) alias analysis.
AliasCConstraints
This modules defines the constraints format for the new extended (C) alias analysis.
AliasCDomains
This module defines the domains for the new extended (C) alias analysis.
AliasCSemantics
Abstract semantics of the new extended (C) alias analysis.
Analyzer
This is a generic analyzer that need to be specialized with an analysis.
ArgE
ArgE, which stands for Arg Extended, is a wrapper to the module Arg.
CallGraph
This module is a small tool to detect potential problems in class initialization.
ClassMaps
Maps of maps are frequently manipulated and this module simplifies accesses to those maps.
ControlFlowGraph
Control flow graph of a java byte-code program.
Debug
This module contains some options to tune the analysis and to debug the program (e.g.
HtmlInfo
This module define the type of information that will be passed to JPrintHtml.
InstanceOfAnalysis
This module is used as an interface to the analysis for instanceof instructions.
InstanceOfConstraints
This modules defines the constraints format for the analysis of instanceOf instructions.
InstanceOfDomains
This module defines the domains for the analysis of instanceof instructions.
InstanceOfSemantics
This modules defines the abstract semantics (constraints generation) for the analysis of instanceOf instructions.
Nit
This is the main module of the program.
NullAAnalysis
This module is used as an interface to null-ability analysis.
NullAConstraints
This module defines the constraint format for the null-ability analysis.
NullADomains
This module defines the domains for the null-ability analysis.
NullASemantics
Abstract semantics of the null-ability analysis.
Options
This modules contains options that are used to tune the analyses.
Print
This module outputs the results of the null-ability analysis as XML data.
Statistics
Compute statistics on the result of the null-ability analysis.