Package it.unive.lisa.checks.warnings

Class Summary

Class	Description
CFGDesccriptorWarning	A warning reported by LiSA on the descriptor of one of the CFGs under analysis.
CFGWarning	A warning reported by LiSA on one of the CFGs under analysis.
ExpressionWarning	A warning reported by LiSA on an expression.
StatementWarning	A warning reported by LiSA on a statement.
Warning	A warning reported by LiSA on the program under analysis.
WarningWithLocation	A warning reported by LiSA on the program under analysis.