pilo1996/lisa

master

lisa

Grade	Name	Complexity	Churn	Issues
A	.github\workflows\release.yml		2	-
A	.github\workflows\gradle.yml		7	-
A	lisa\src\main\java\it\unive\lisa\analysis\heap\HeapDomain.java		2	-
A	lisa\src\main\java\it\unive\lisa\DefaultImplementation.java		1	-
A	lisa\src\main\java\it\unive\lisa\checks\semantic\SemanticCheck.java		1	-
A	lisa\src\main\java\it\unive\lisa\DefaultParameters.java		1	-
A	lisa\src\main\java\it\unive\lisa\type\StringType.java		1	-
A	.github\ISSUE_TEMPLATE\config.yml		1	-
A	.github\workflows\pr.yml		2	-
A	lisa\src\main\java\it\unive\lisa\type\BooleanType.java		1	-
A	lisa\src\main\java\it\unive\lisa\type\PointerType.java		1	-
A	lisa\src\main\java\it\unive\lisa\analysis\nonrelational\value\NonRelationalValueDomain.java		2	-
A	lisa\src\main\java\it\unive\lisa\checks\syntactic\SyntacticCheck.java		6	-
A	lisa\src\main\java\it\unive\lisa\analysis\nonrelational\heap\NonRelationalHeapDomain.java		3	-
A	lisa\src\main\java\it\unive\lisa\program\cfg\ProgramPoint.java	1	2	-
A	lisa\src\main\java\it\unive\lisa\program\cfg\CodeMember.java	1	1	-
A	lisa\src\main\java\it\unive\lisa\program\cfg\statement\MetaVariableCreator.java	1	1	-
A	lisa\src\main\java\it\unive\lisa\program\cfg\CodeLocation.java	1	1	-
A	lisa\src\main\java\it\unive\lisa\program\CodeElement.java	1	2	-
A	lisa\src\main\java\it\unive\lisa\symbolic\heap\HeapExpression.java	1	3	-