pilo1996/lisa

master

lisa

Grade	Name	Complexity	Churn	Issues
A	lisa\src\main\java\it\unive\lisa\analysis\SemanticEvaluator.java	2	1	-
A	.github\ISSUE_TEMPLATE\config.yml		1	-
A	lisa\src\main\java\it\unive\lisa\analysis\inference\InferenceSystem.java	24	1	-
A	lisa\src\main\java\it\unive\lisa\analysis\inference\InferredValue.java	2	1	-
A	lisa\src\main\java\it\unive\lisa\analysis\combination\ValueCartesianProduct.java	22	1	-
A	lisa\src\main\java\it\unive\lisa\AnalysisException.java	4	1	-
A	lisa\src\main\java\it\unive\lisa\analysis\impl\heap\pointbased\PointBasedHeap.java	78	1	1
A	lisa\src\main\java\it\unive\lisa\checks\Check.java	4	1	-
A	lisa\src\main\java\it\unive\lisa\analysis\SemanticException.java	4	1	-
A	lisa\src\main\java\it\unive\lisa\analysis\impl\heap\pointbased\AllocationSite.java	6	1	-
A	lisa\src\main\java\it\unive\lisa\DefaultImplementation.java		1	-
A	lisa\src\main\java\it\unive\lisa\AnalysisSetupException.java	4	1	-
A	lisa\src\main\java\it\unive\lisa\callgraph\CallGraphConstructionException.java	4	1	-
A	lisa\src\main\java\it\unive\lisa\DefaultParameters.java		1	-
A	lisa\src\main\java\it\unive\lisa\callgraph\CallResolutionException.java	4	1	-
A	lisa\src\main\java\it\unive\lisa\checks\semantic\CheckToolWithAnalysisResults.java	3	1	-
A	lisa\src\main\java\it\unive\lisa\checks\ChecksExecutor.java	10	1	-
A	lisa\src\main\java\it\unive\lisa\analysis\impl\heap\pointbased\FieldSensitivePointBasedHeap.java	15	1	-
A	lisa\src\main\java\it\unive\lisa\analysis\impl\heap\TypeBasedHeap.java	37	1	-
A	lisa\src\main\java\it\unive\lisa\analysis\combination\CartesianProduct.java	16	1	-