• Features
  • Pricing
  • Contact
    Login with:
  • Features
  • Pricing
  • Contact
Login with:
master
lisa
Repository badge with A rating
View on GitHub

  • 53 issues
  • 0 pull requests
  • 253 files
  • 1 active branch

CodeFactor Rating A

  • {{format.Name}}
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 -
  • Previous Page
  • Next Page
  • Security
  • Terms
  • Privacy
  • Contact
© 2026 CodeFactor

We use cookies in order to offer you the most relevant information. See our Privacy Policy.