This project is a part of Compiling Technique, Peking University.
This package provides a simple implementation to MiniC program range analysis method.
All of the apporach is following this paper: A Fast and Low-Overhead Technique to Secure Programs Against Integer Overflows
- JRE or JDK >= 8.0
cd RangeAnalysis
# First enter the directory where RangeAnalysis.jar is in.
# java -jar RangeAnalysis.jar FILE FUNC [l1,u1] [l2,u2]
# There should not be any blank character inside every interval representation '[u,l]'.
# Positive infinity and negative infinity are represented as 'inf' and '-inf'
# Example with default cases:
java -jar RangeAnalysis.jar src/main/resources/benchmark/t1.ssa foo
java -jar RangeAnalysis.jar src/main/resources/benchmark/t2.ssa foo [200,300]
java -jar RangeAnalysis.jar src/main/resources/benchmark/t3.ssa foo [0,10] [20,50]
java -jar RangeAnalysis.jar src/main/resources/benchmark/t4.ssa foo [-inf,inf]
java -jar RangeAnalysis.jar src/main/resources/benchmark/t5.ssa foo
java -jar RangeAnalysis.jar src/main/resources/benchmark/t6.ssa foo [-inf,inf]
java -jar RangeAnalysis.jar src/main/resources/benchmark/t7.ssa foo [-10,10]
java -jar RangeAnalysis.jar src/main/resources/benchmark/t8.ssa foo [1,100] [-2,2]
java -jar RangeAnalysis.jar src/main/resources/benchmark/t9.ssa foo
java -jar RangeAnalysis.jar src/main/resources/benchmark/t10.ssa foo [30,50] [90,100]
Import the whole directory and project.iml file to Intellij Idea, then you can test with Junit test cases in MainTest.java.
public class MainTest extends TestCase {
final String benchmarkPath = "src/main/resources/benchmark/";
/*
* file: t1.c
* input:
* output: k in [100, 100]
*/
@Test
public void test1() {
String fileName = "t" + 1;
File file = new File(benchmarkPath + fileName + ".ssa");
TranslateUnit translateUnit = TranslateUnitFactory.make(fileName, file);
String funcitonName = "foo";
List<Interval> arguments = new ArrayList<>();
translateUnit.drawAllCFG();
translateUnit.drawAllConstraintGraph();
Interval answer = new Interval(100, 100);
Interval result = translateUnit.getReturnRange(funcitonName, arguments, true);
System.out.println(translateUnit);
assertEquals(answer, result);
}
}Several graphs will be shown in img/, like CFG, ConstraintGraph (uncomputed), ComstraintGraph (computed).
If you want to generate your own image, please set graphviz bin path in DrawGraph.java and the rebuild the project.
public abstract class DrawGraph { /** * dot (graphviz) path */ protected static String DOT_BIN_PATH = "dot"; // Change to your own graphviz/bin/dot path ...... }
React
Typescript
Django
Laravel
Facebook
Microsoft
Google
Alibaba
D3
Tencent