Package it.unive.lisa.program.cfg

Interface Summary

Interface	Description
CodeLocation	A generic interface for representing the location of an element in the source code (e.g., source/line/column, source/offset, ...).
CodeMember	A program member that has code within it.
ProgramPoint	A program point, representing an instruction that is happening in one of the CFG under analysis.

Class Summary

Class	Description
CFG	A control flow graph, that has Statements as nodes and Edges as edges. Note that this class does not implement Object.equals(Object) nor Object.hashCode() since all cfgs are unique.
CFGDescriptor	A descriptor of a CFG, containing the debug informations (source file, line, column) as well as metadata.
NativeCFG	A native cfg, representing a cfg that is usually provided by the runtime of the programming language.
Parameter	A CFG parameter identified by its name and its type, containing the information about the source file, line and column where the parameter is defined.
VariableTableEntry	An entry in the variable table representing a CFG variable identified by its index, containing the information about the source file, line and column where the variable is defined.