资 源 简 介
MMPGen is an automated MM-Path generator for Java Classes. It is based on established achievements on call graph analysis and control flow analysis.
MM-Path generation can be divided into 3 steps:
① construct a call graph of the program with the help of call graph analysis;
② build a control flow graph for each method through control flow analysis;
③ generate MM-Paths on the basis of the call graph and control flow graphs.
We settle step ③ with 2 sub-steps:
1) generate atomic MM-Paths of each method by its control flow graph;
2) incorporate atomic MM-Paths to compound MM-Paths by call graph.
MMPGen is a research prototype. We use this prototype to empirically validate our proposal. We publicly release MMPGen and we allow third-party researchers to compare their approaches against ours. Additionally, we release MMPGen as an open-source software, allowing others to implement their ideas on top of our framework.
文 件 列 表
core
sut12_comm
siena
nanoxml
jtopas
CopyOfMMPathGen_20100603_BeforeRealPathGen.java
CopyOfMMPathGen_20100623_BeforePathRefining.java
MMPathGen.java
controlflowanalysis
CFGGenByBriefUnitGraph.java
CFGGenByExceptionalUnitGraph.java
CFGGenByTrapUnitGraph.java
CFGVisitor.java
ControlFlowAnalysis.java
ControlFlowAnalysisTest.java
MethodFoundChecker.java
callgraphanalysis
BoundedCallGraph.java
CallGraphAnalysis.java
CallGraphGenByCHA.java
CallGraphGenByCHATest.java
CallGraphGenByContextCHA.java
CallGraphGenByContextPTA.java
CallGraphGenByPaddle.java
CallGraphGenBySpark.java
CallGraphToDotGraph.java
CallGraphVisitor.java
CallGraphVisitorTest.java
FilteredCallGraph.java
UnfilteredCallGraph.java
util
ClassLoader.java
JavaClassNameExtractor.java
JRELibFilter.java
