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
AbstractCodeMember	A signature control flow graph, that has no graph implementation but just its signature. Note that this class does not implement Object.equals(Object) nor Object.hashCode() since all cfgs are unique.
CFG	A control flow graph with an implementation, 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.
CodeMemberDescriptor	A descriptor of a CodeMember, 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.