pilo1996/lisa

master

lisa

Grade	Name	Complexity	Churn	Issues
A	.github\ISSUE_TEMPLATE\config.yml		1	-
A	lisa\src\main\java\it\unive\lisa\analysis\dataflow\DataflowElement.java	3	2	-
A	lisa\src\main\java\it\unive\lisa\analysis\SemanticException.java	4	1	-
A	lisa\src\main\java\it\unive\lisa\analysis\AnalysisState.java	40	5	-
A	lisa\src\main\java\it\unive\lisa\AnalysisSetupException.java	4	1	-
A	lisa\src\main\java\it\unive\lisa\analysis\CFGWithAnalysisResults.java	2	4	-
A	lisa\src\main\java\it\unive\lisa\analysis\BaseLattice.java	30	2	-
A	lisa\src\main\java\it\unive\lisa\DefaultImplementation.java		1	-
A	lisa\src\main\java\it\unive\lisa\analysis\heap\HeapSemanticOperation.java	24	2	-
A	.github\workflows\release.yml		2	-
A	lisa\src\main\java\it\unive\lisa\analysis\impl\heap\TypeBasedHeap.java	37	1	-
A	lisa\src\main\java\it\unive\lisa\analysis\SemanticDomain.java	56	3	-
A	lisa\src\main\java\it\unive\lisa\analysis\impl\heap\pointbased\AllocationSites.java	30	2	-
A	lisa\src\main\java\it\unive\lisa\analysis\inference\InferenceSystem.java	24	1	-
A	lisa\src\main\java\it\unive\lisa\analysis\lattices\InverseSetLattice.java	20	3	-
A	lisa\src\main\java\it\unive\lisa\analysis\lattices\FunctionalLattice.java	48	4	-
A	lisa\src\main\java\it\unive\lisa\analysis\impl\numeric\Parity.java	49	5	-
A	lisa\src\main\java\it\unive\lisa\LiSA.java	39	13	-
A	.github\workflows\pr.yml		2	-
A	lisa\src\main\java\it\unive\lisa\analysis\dataflow\impl\ReachingDefinitions.java	21	2	-