master
lisa
Repository badge with A rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
lisa\src\test\java\it\unive\lisa\imp\expressions\IMPNotEqual.java
2 2 -
A
lisa\src\main\java\it\unive\lisa\symbolic\value\ValueExpression.java
2 4 -
A
lisa\src\main\java\it\unive\lisa\symbolic\value\Variable.java
2 1 -
A
lisa\src\main\java\it\unive\lisa\analysis\inference\InferredValue.java
2 1 -
A
lisa\src\main\java\it\unive\lisa\analysis\AbstractState.java
2 3 -
A
lisa\src\main\java\it\unive\lisa\symbolic\value\Operator.java
2 2 -
A
lisa\src\main\java\it\unive\lisa\type\ArrayType.java
2 1 -
A
lisa\src\test\java\it\unive\lisa\imp\expressions\IMPNewArray.java
2 2 -
A
lisa\src\test\java\it\unive\lisa\imp\expressions\IMPEqual.java
2 2 -
A
lisa\src\test\java\it\unive\lisa\cron\heap\PointBasedHeapTest.java
2 2 -
A
lisa\src\main\java\it\unive\lisa\util\datastructures\graph\GraphVisitor.java
3 2 -
A
lisa\src\main\java\it\unive\lisa\symbolic\value\TernaryOperator.java
3 2 -
A
lisa\src\main\java\it\unive\lisa\util\datastructures\graph\Node.java
3 2 -
A
lisa\src\main\java\it\unive\lisa\symbolic\value\UnaryOperator.java
3 2 -
A
lisa\src\main\java\it\unive\lisa\checks\warnings\ExpressionWarning.java
3 5 -
A
lisa\src\main\java\it\unive\lisa\analysis\dataflow\DataflowElement.java
3 2 -
A
lisa\src\main\java\it\unive\lisa\checks\semantic\CheckToolWithAnalysisResults.java
3 1 -
A
lisa\src\main\java\it\unive\lisa\program\cfg\statement\NullLiteral.java
4 4 -
A
lisa\src\main\java\it\unive\lisa\checks\Check.java
4 1 -
A
lisa\src\main\java\it\unive\lisa\AnalysisException.java
4 1 -