add some tests both for intra and inter-procedural NullPointerException Analysis
This commit is contained in:
Martin Hecker
parent
4fca71c595
commit
c7f618eb6f
@ -0,0 +1,34 @@
|
||||
package cfg.exc.inter;
|
||||
|
||||
import cfg.exc.intra.B;
|
||||
import cfg.exc.intra.FieldAccess;
|
||||
import cfg.exc.intra.FieldAccessDynamic;
|
||||
|
||||
public class CallFieldAccess {
|
||||
static boolean unknown;
|
||||
public static void main(String[] args) {
|
||||
unknown = (args.length == 0);
|
||||
callIfException();
|
||||
callIfNoException();
|
||||
callDynamicIfException();
|
||||
callDynamicIfNoException();
|
||||
|
||||
}
|
||||
|
||||
static B callIfException() {
|
||||
return FieldAccess.testIf(unknown, new B(), null);
|
||||
}
|
||||
static B callIfNoException() {
|
||||
return FieldAccess.testIf(unknown, new B(), new B());
|
||||
}
|
||||
|
||||
static B callDynamicIfException() {
|
||||
FieldAccessDynamic fad = new FieldAccessDynamic();
|
||||
return fad.testIf(unknown, new B(), null);
|
||||
}
|
||||
static B callDynamicIfNoException() {
|
||||
FieldAccessDynamic fad = new FieldAccessDynamic();
|
||||
return fad.testIf(unknown, new B(), new B());
|
||||
}
|
||||
|
||||
}
|
||||
@ -5,6 +5,6 @@ package cfg.exc.intra;
|
||||
*/
|
||||
|
||||
|
||||
class B {
|
||||
public class B {
|
||||
int f;
|
||||
}
|
||||
@ -11,18 +11,18 @@ package cfg.exc.intra;
|
||||
public class FieldAccess {
|
||||
|
||||
|
||||
static B testParam(boolean unknown, B b1, B b2) {
|
||||
public static B testParam(boolean unknown, B b1, B b2) {
|
||||
b1 = null;
|
||||
return b1;
|
||||
}
|
||||
|
||||
static B testParam2(boolean unknown, B b1, B b2) {
|
||||
public static B testParam2(boolean unknown, B b1, B b2) {
|
||||
b1.f = 42;
|
||||
return b1;
|
||||
}
|
||||
|
||||
|
||||
static B testIf(boolean unknown, B b1, B b2) {
|
||||
public static B testIf(boolean unknown, B b1, B b2) {
|
||||
b1.f = 42;
|
||||
b2.f = 17;
|
||||
|
||||
@ -36,7 +36,7 @@ public class FieldAccess {
|
||||
return b3;
|
||||
}
|
||||
|
||||
static B testIf2(boolean unknown, B b1, B b2) {
|
||||
public static B testIf2(boolean unknown, B b1, B b2) {
|
||||
b1.f = 42;
|
||||
|
||||
B b3;
|
||||
@ -49,7 +49,7 @@ public class FieldAccess {
|
||||
return b3;
|
||||
}
|
||||
|
||||
static B testIfContinued(boolean unknown, B b1, B b2, B b4) {
|
||||
public static B testIfContinued(boolean unknown, B b1, B b2, B b4) {
|
||||
b1.f = 42;
|
||||
|
||||
B b3;
|
||||
@ -67,7 +67,7 @@ public class FieldAccess {
|
||||
return b2;
|
||||
}
|
||||
|
||||
static B testIf3(boolean unknown, B b1) {
|
||||
public static B testIf3(boolean unknown, B b1) {
|
||||
if (unknown) {
|
||||
b1.f = 42;
|
||||
} else {
|
||||
@ -77,7 +77,7 @@ public class FieldAccess {
|
||||
return b1;
|
||||
}
|
||||
|
||||
static B testWhile(boolean unknown, B b1) {
|
||||
public static B testWhile(boolean unknown, B b1) {
|
||||
b1.f = 42;
|
||||
|
||||
B b3 = null;
|
||||
@ -88,7 +88,7 @@ public class FieldAccess {
|
||||
return b3;
|
||||
}
|
||||
|
||||
static B testWhile2(boolean unknown, B b1) {
|
||||
public static B testWhile2(boolean unknown, B b1) {
|
||||
b1.f = 42;
|
||||
|
||||
B b3 = new B();
|
||||
|
||||
@ -0,0 +1,114 @@
|
||||
/**
|
||||
* This file is part of the Joana IFC project. It is developed at the
|
||||
* Programming Paradigms Group of the Karlsruhe Institute of Technology.
|
||||
*
|
||||
* For further details on licensing please read the information at
|
||||
* http://joana.ipd.kit.edu or contact the authors.
|
||||
*/
|
||||
package cfg.exc.intra;
|
||||
|
||||
|
||||
public class FieldAccessDynamic {
|
||||
|
||||
|
||||
public B testParam(boolean unknown, B b1, B b2) {
|
||||
b1 = null;
|
||||
return b1;
|
||||
}
|
||||
|
||||
public B testParam2(boolean unknown, B b1, B b2) {
|
||||
b1.f = 42;
|
||||
return b1;
|
||||
}
|
||||
|
||||
|
||||
public B testIf(boolean unknown, B b1, B b2) {
|
||||
b1.f = 42;
|
||||
b2.f = 17;
|
||||
|
||||
B b3;
|
||||
if (unknown) {
|
||||
b3 = b1;
|
||||
} else {
|
||||
b3 = b2;
|
||||
}
|
||||
|
||||
return b3;
|
||||
}
|
||||
|
||||
public B testIf2(boolean unknown, B b1, B b2) {
|
||||
b1.f = 42;
|
||||
|
||||
B b3;
|
||||
if (unknown) {
|
||||
b3 = b1;
|
||||
} else {
|
||||
b3 = b2;
|
||||
}
|
||||
|
||||
return b3;
|
||||
}
|
||||
|
||||
public B testIfContinued(boolean unknown, B b1, B b2, B b4) {
|
||||
b1.f = 42;
|
||||
|
||||
B b3;
|
||||
if (unknown) {
|
||||
b3 = b1;
|
||||
} else {
|
||||
b3 = b2;
|
||||
}
|
||||
|
||||
if (unknown) {
|
||||
b1.f = 42;
|
||||
}
|
||||
|
||||
b3.f = 17;
|
||||
return b2;
|
||||
}
|
||||
|
||||
public B testIf3(boolean unknown, B b1) {
|
||||
if (unknown) {
|
||||
b1.f = 42;
|
||||
} else {
|
||||
System.out.println("rofl");
|
||||
}
|
||||
|
||||
return b1;
|
||||
}
|
||||
|
||||
public B testWhile(boolean unknown, B b1) {
|
||||
b1.f = 42;
|
||||
|
||||
B b3 = null;
|
||||
while (unknown) {
|
||||
b3 = b1;
|
||||
}
|
||||
|
||||
return b3;
|
||||
}
|
||||
|
||||
public B testWhile2(boolean unknown, B b1) {
|
||||
b1.f = 42;
|
||||
|
||||
B b3 = new B();
|
||||
b3.f = 17;
|
||||
|
||||
while (unknown) {
|
||||
b3 = b1;
|
||||
}
|
||||
|
||||
return b3;
|
||||
}
|
||||
|
||||
|
||||
public static void main(String[] args) {
|
||||
|
||||
B b1 = new B();
|
||||
B b2 = new B();
|
||||
final boolean unknown = (args.length == 0);
|
||||
|
||||
FieldAccessDynamic fa = new FieldAccessDynamic();
|
||||
fa.testIf(unknown, b1, b2);
|
||||
}
|
||||
}
|
||||
@ -0,0 +1,173 @@
|
||||
/*******************************************************************************
|
||||
* Copyright (c) 2002 - 2006 IBM Corporation.
|
||||
* All rights reserved. This program and the accompanying materials
|
||||
* are made available under the terms of the Eclipse Public License v1.0
|
||||
* which accompanies this distribution, and is available at
|
||||
* http://www.eclipse.org/legal/epl-v10.html
|
||||
*
|
||||
* Contributors:
|
||||
* IBM Corporation - initial API and implementation
|
||||
*******************************************************************************/
|
||||
package com.ibm.wala.core.tests.cfg.exc.inter;
|
||||
|
||||
import java.util.Collection;
|
||||
import java.util.Iterator;
|
||||
|
||||
import org.junit.AfterClass;
|
||||
import org.junit.Assert;
|
||||
import org.junit.BeforeClass;
|
||||
import org.junit.Test;
|
||||
|
||||
import com.ibm.wala.cfg.ControlFlowGraph;
|
||||
import com.ibm.wala.cfg.exc.ExceptionPruningAnalysis;
|
||||
import com.ibm.wala.cfg.exc.InterprocAnalysisResult;
|
||||
import com.ibm.wala.cfg.exc.NullPointerAnalysis;
|
||||
import com.ibm.wala.cfg.exc.intra.IntraprocNullPointerAnalysis;
|
||||
import com.ibm.wala.cfg.exc.intra.NullPointerState;
|
||||
import com.ibm.wala.cfg.exc.intra.NullPointerState.State;
|
||||
import com.ibm.wala.classLoader.ClassLoaderFactory;
|
||||
import com.ibm.wala.classLoader.ClassLoaderFactoryImpl;
|
||||
import com.ibm.wala.classLoader.IMethod;
|
||||
import com.ibm.wala.core.tests.callGraph.CallGraphTestUtil;
|
||||
import com.ibm.wala.core.tests.cfg.exc.intra.NullPointerExceptionIntraTest;
|
||||
import com.ibm.wala.core.tests.util.TestConstants;
|
||||
import com.ibm.wala.core.tests.util.WalaTestCase;
|
||||
import com.ibm.wala.ipa.callgraph.AnalysisCache;
|
||||
import com.ibm.wala.ipa.callgraph.AnalysisOptions;
|
||||
import com.ibm.wala.ipa.callgraph.AnalysisScope;
|
||||
import com.ibm.wala.ipa.callgraph.CGNode;
|
||||
import com.ibm.wala.ipa.callgraph.CallGraph;
|
||||
import com.ibm.wala.ipa.callgraph.CallGraphBuilder;
|
||||
import com.ibm.wala.ipa.callgraph.Entrypoint;
|
||||
import com.ibm.wala.ipa.callgraph.impl.Util;
|
||||
import com.ibm.wala.ipa.cha.ClassHierarchy;
|
||||
import com.ibm.wala.ipa.cha.ClassHierarchyException;
|
||||
import com.ibm.wala.ssa.IR;
|
||||
import com.ibm.wala.ssa.ISSABasicBlock;
|
||||
import com.ibm.wala.ssa.SSAInstruction;
|
||||
import com.ibm.wala.ssa.SSAReturnInstruction;
|
||||
import com.ibm.wala.ssa.analysis.IExplodedBasicBlock;
|
||||
import com.ibm.wala.types.MethodReference;
|
||||
import com.ibm.wala.util.CancelException;
|
||||
import com.ibm.wala.util.NullProgressMonitor;
|
||||
import com.ibm.wala.util.WalaException;
|
||||
import com.ibm.wala.util.config.AnalysisScopeReader;
|
||||
import com.ibm.wala.util.graph.GraphIntegrity.UnsoundGraphException;
|
||||
import com.ibm.wala.util.io.FileProvider;
|
||||
import com.ibm.wala.util.strings.StringStuff;
|
||||
import com.ibm.wala.util.warnings.Warnings;
|
||||
|
||||
/**
|
||||
* Test validity and precision of inter-procedural NullpointerException-Analysis {@link IntraprocNullPointerAnalysis}
|
||||
*
|
||||
*/
|
||||
public class NullPointerExceptionInterTest extends WalaTestCase {
|
||||
|
||||
private static AnalysisScope scope;
|
||||
|
||||
private static ClassHierarchy cha;
|
||||
|
||||
private static CallGraph cg;
|
||||
|
||||
private static AnalysisCache cache;
|
||||
|
||||
@BeforeClass
|
||||
public static void beforeClass() throws Exception {
|
||||
cache = new AnalysisCache();
|
||||
scope = AnalysisScopeReader.readJavaScope(TestConstants.WALA_TESTDATA,
|
||||
(new FileProvider()).getFile("J2SEClassHierarchyExclusions.txt"), NullPointerExceptionInterTest.class.getClassLoader());
|
||||
ClassLoaderFactory factory = new ClassLoaderFactoryImpl(scope.getExclusions());
|
||||
try {
|
||||
cha = ClassHierarchy.make(scope, factory);
|
||||
Iterable<Entrypoint> entrypoints = com.ibm.wala.ipa.callgraph.impl.Util.makeMainEntrypoints(scope, cha, "Lcfg/exc/inter/CallFieldAccess");
|
||||
AnalysisOptions options = new AnalysisOptions(scope, entrypoints);
|
||||
|
||||
CallGraphBuilder builder = Util.makeVanillaNCFABuilder(3, options, cache, cha, scope);
|
||||
cg = builder.makeCallGraph(options, null);
|
||||
} catch (ClassHierarchyException e) {
|
||||
throw new Exception();
|
||||
}
|
||||
}
|
||||
|
||||
@AfterClass
|
||||
public static void afterClass() throws Exception {
|
||||
Warnings.clear();
|
||||
scope = null;
|
||||
cha = null;
|
||||
cg = null;
|
||||
cache = null;
|
||||
}
|
||||
|
||||
public static void main(String[] args) {
|
||||
justThisTest(NullPointerExceptionInterTest.class);
|
||||
}
|
||||
|
||||
@Test
|
||||
public void testIfException() throws UnsoundGraphException, CancelException, WalaException {
|
||||
MethodReference mr = StringStuff.makeMethodReference("cfg.exc.inter.CallFieldAccess.callIfException()Lcfg/exc/intra/B");
|
||||
|
||||
IMethod m = cha.resolveMethod(mr);
|
||||
IR ir = cache.getIR(m);
|
||||
InterprocAnalysisResult<SSAInstruction, IExplodedBasicBlock> interExplodedCFG =
|
||||
NullPointerAnalysis.computeInterprocAnalysis(cg, new NullProgressMonitor());
|
||||
|
||||
Assert.assertEquals(1, cg.getNodes(mr).size());
|
||||
final CGNode callNode = cg.getNodes(mr).iterator().next();
|
||||
|
||||
ExceptionPruningAnalysis<SSAInstruction, IExplodedBasicBlock> intraExplodedCFG = interExplodedCFG.getResult(callNode);
|
||||
|
||||
Assert.assertTrue(intraExplodedCFG.hasExceptions());
|
||||
}
|
||||
|
||||
@Test
|
||||
public void testDynamicIfException() throws UnsoundGraphException, CancelException, WalaException {
|
||||
MethodReference mr = StringStuff.makeMethodReference("cfg.exc.inter.CallFieldAccess.callDynamicIfException()Lcfg/exc/intra/B");
|
||||
|
||||
IMethod m = cha.resolveMethod(mr);
|
||||
|
||||
Assert.assertEquals(1, cg.getNodes(mr).size());
|
||||
final CGNode callNode = cg.getNodes(mr).iterator().next();
|
||||
|
||||
IR ir = cache.getIR(m);
|
||||
InterprocAnalysisResult<SSAInstruction, IExplodedBasicBlock> interExplodedCFG =
|
||||
NullPointerAnalysis.computeInterprocAnalysis(cg, new NullProgressMonitor());
|
||||
|
||||
|
||||
ExceptionPruningAnalysis<SSAInstruction, IExplodedBasicBlock> intraExplodedCFG = interExplodedCFG.getResult(callNode);
|
||||
|
||||
Assert.assertTrue(intraExplodedCFG.hasExceptions());
|
||||
}
|
||||
|
||||
|
||||
@Test
|
||||
public void testIfNoException() throws UnsoundGraphException, CancelException, WalaException {
|
||||
MethodReference mr = StringStuff.makeMethodReference("cfg.exc.inter.CallFieldAccess.callIfNoException()Lcfg/exc/intra/B");
|
||||
|
||||
IMethod m = cha.resolveMethod(mr);
|
||||
IR ir = cache.getIR(m);
|
||||
InterprocAnalysisResult<SSAInstruction, IExplodedBasicBlock> interExplodedCFG =
|
||||
NullPointerAnalysis.computeInterprocAnalysis(cg, new NullProgressMonitor());
|
||||
|
||||
Assert.assertEquals(1, cg.getNodes(mr).size());
|
||||
final CGNode callNode = cg.getNodes(mr).iterator().next();
|
||||
|
||||
ExceptionPruningAnalysis<SSAInstruction, IExplodedBasicBlock> intraExplodedCFG = interExplodedCFG.getResult(callNode);
|
||||
Assert.assertFalse(intraExplodedCFG.hasExceptions());
|
||||
}
|
||||
|
||||
@Test
|
||||
public void testDynamicIfNoException() throws UnsoundGraphException, CancelException, WalaException {
|
||||
MethodReference mr = StringStuff.makeMethodReference("cfg.exc.inter.CallFieldAccess.callDynamicIfNoException()Lcfg/exc/intra/B");
|
||||
|
||||
IMethod m = cha.resolveMethod(mr);
|
||||
IR ir = cache.getIR(m);
|
||||
InterprocAnalysisResult<SSAInstruction, IExplodedBasicBlock> interExplodedCFG =
|
||||
NullPointerAnalysis.computeInterprocAnalysis(cg, new NullProgressMonitor());
|
||||
|
||||
Assert.assertEquals(1, cg.getNodes(mr).size());
|
||||
final CGNode callNode = cg.getNodes(mr).iterator().next();
|
||||
|
||||
ExceptionPruningAnalysis<SSAInstruction, IExplodedBasicBlock> intraExplodedCFG = interExplodedCFG.getResult(callNode);
|
||||
Assert.assertFalse(intraExplodedCFG.hasExceptions());
|
||||
}
|
||||
}
|
||||
@ -119,6 +119,40 @@ public class NullPointerExceptionIntraTest extends WalaTestCase {
|
||||
}
|
||||
}
|
||||
|
||||
@Test
|
||||
public void testDynamicParam() throws UnsoundGraphException, CancelException {
|
||||
MethodReference mr = StringStuff.makeMethodReference("cfg.exc.intra.FieldAccessDynamic.testParam(ZLcfg/exc/intra/B;Lcfg/exc/intra/B;)Lcfg/exc/intra/B");
|
||||
|
||||
IMethod m = cha.resolveMethod(mr);
|
||||
AnalysisCache cache = new AnalysisCache();
|
||||
IR ir = cache.getIR(m);
|
||||
final ISSABasicBlock returnNode = returnNode(ir.getControlFlowGraph());
|
||||
final int returnVal = returnVal(returnNode);
|
||||
|
||||
{
|
||||
ExceptionPruningAnalysis<SSAInstruction, IExplodedBasicBlock> intraExplodedCFG =
|
||||
NullPointerAnalysis.createIntraproceduralExplodedCFGAnalysis(ir);
|
||||
intraExplodedCFG.compute(new NullProgressMonitor());
|
||||
|
||||
final IExplodedBasicBlock returnNodeExploded = returnNodeExploded(returnNode, intraExplodedCFG.getCFG());
|
||||
final NullPointerState returnState = intraExplodedCFG.getState(returnNodeExploded);
|
||||
|
||||
Assert.assertEquals(State.NULL, returnState.getState(returnVal));
|
||||
}
|
||||
{
|
||||
ExceptionPruningAnalysis<SSAInstruction, ISSABasicBlock> intraSSACFG =
|
||||
NullPointerAnalysis.createIntraproceduralSSACFGAnalyis(ir);
|
||||
intraSSACFG.compute(new NullProgressMonitor());
|
||||
|
||||
Assert.assertEquals(ir.getControlFlowGraph().exit(), intraSSACFG.getCFG().exit());
|
||||
Assert.assertEquals(returnNode, returnNode(intraSSACFG.getCFG()));
|
||||
|
||||
final NullPointerState returnState = intraSSACFG.getState(returnNode);
|
||||
|
||||
Assert.assertEquals(State.NULL, returnState.getState(returnVal));
|
||||
}
|
||||
}
|
||||
|
||||
@Test
|
||||
public void testParam2() throws UnsoundGraphException, CancelException {
|
||||
MethodReference mr = StringStuff.makeMethodReference("cfg.exc.intra.FieldAccess.testParam2(ZLcfg/exc/intra/B;Lcfg/exc/intra/B;)Lcfg/exc/intra/B");
|
||||
@ -153,6 +187,39 @@ public class NullPointerExceptionIntraTest extends WalaTestCase {
|
||||
}
|
||||
}
|
||||
|
||||
public void testDynamicParam2() throws UnsoundGraphException, CancelException {
|
||||
MethodReference mr = StringStuff.makeMethodReference("cfg.exc.intra.FieldAccess.testDynamicParam2(ZLcfg/exc/intra/B;Lcfg/exc/intra/B;)Lcfg/exc/intra/B");
|
||||
|
||||
IMethod m = cha.resolveMethod(mr);
|
||||
AnalysisCache cache = new AnalysisCache();
|
||||
IR ir = cache.getIR(m);
|
||||
final ISSABasicBlock returnNode = returnNode(ir.getControlFlowGraph());
|
||||
final int returnVal = returnVal(returnNode);
|
||||
|
||||
{
|
||||
ExceptionPruningAnalysis<SSAInstruction, IExplodedBasicBlock> intraExplodedCFG =
|
||||
NullPointerAnalysis.createIntraproceduralExplodedCFGAnalysis(ir);
|
||||
intraExplodedCFG.compute(new NullProgressMonitor());
|
||||
|
||||
final IExplodedBasicBlock returnNodeExploded = returnNodeExploded(returnNode, intraExplodedCFG.getCFG());
|
||||
final NullPointerState returnState = intraExplodedCFG.getState(returnNodeExploded);
|
||||
|
||||
Assert.assertEquals(State.NOT_NULL, returnState.getState(returnVal));
|
||||
}
|
||||
{
|
||||
ExceptionPruningAnalysis<SSAInstruction, ISSABasicBlock> intraSSACFG =
|
||||
NullPointerAnalysis.createIntraproceduralSSACFGAnalyis(ir);
|
||||
intraSSACFG.compute(new NullProgressMonitor());
|
||||
|
||||
Assert.assertEquals(ir.getControlFlowGraph().exit(), intraSSACFG.getCFG().exit());
|
||||
Assert.assertEquals(returnNode, returnNode(intraSSACFG.getCFG()));
|
||||
|
||||
final NullPointerState returnState = intraSSACFG.getState(returnNode);
|
||||
|
||||
Assert.assertEquals(State.NOT_NULL, returnState.getState(returnVal));
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@Test
|
||||
public void testIf() throws UnsoundGraphException, CancelException {
|
||||
@ -188,6 +255,40 @@ public class NullPointerExceptionIntraTest extends WalaTestCase {
|
||||
}
|
||||
}
|
||||
|
||||
@Test
|
||||
public void testDynamicIf() throws UnsoundGraphException, CancelException {
|
||||
MethodReference mr = StringStuff.makeMethodReference("cfg.exc.intra.FieldAccessDynamic.testIf(ZLcfg/exc/intra/B;Lcfg/exc/intra/B;)Lcfg/exc/intra/B");
|
||||
|
||||
IMethod m = cha.resolveMethod(mr);
|
||||
AnalysisCache cache = new AnalysisCache();
|
||||
IR ir = cache.getIR(m);
|
||||
final ISSABasicBlock returnNode = returnNode(ir.getControlFlowGraph());
|
||||
final int returnVal = returnVal(returnNode);
|
||||
|
||||
{
|
||||
ExceptionPruningAnalysis<SSAInstruction, IExplodedBasicBlock> intraExplodedCFG =
|
||||
NullPointerAnalysis.createIntraproceduralExplodedCFGAnalysis(ir);
|
||||
intraExplodedCFG.compute(new NullProgressMonitor());
|
||||
|
||||
final IExplodedBasicBlock returnNodeExploded = returnNodeExploded(returnNode, intraExplodedCFG.getCFG());
|
||||
final NullPointerState returnState = intraExplodedCFG.getState(returnNodeExploded);
|
||||
|
||||
Assert.assertEquals(State.NOT_NULL, returnState.getState(returnVal));
|
||||
}
|
||||
{
|
||||
ExceptionPruningAnalysis<SSAInstruction, ISSABasicBlock> intraSSACFG =
|
||||
NullPointerAnalysis.createIntraproceduralSSACFGAnalyis(ir);
|
||||
intraSSACFG.compute(new NullProgressMonitor());
|
||||
|
||||
Assert.assertEquals(ir.getControlFlowGraph().exit(), intraSSACFG.getCFG().exit());
|
||||
Assert.assertEquals(returnNode, returnNode(intraSSACFG.getCFG()));
|
||||
|
||||
final NullPointerState returnState = intraSSACFG.getState(returnNode);
|
||||
|
||||
Assert.assertEquals(State.NOT_NULL, returnState.getState(returnVal));
|
||||
}
|
||||
}
|
||||
|
||||
@Test
|
||||
public void testIf2() throws UnsoundGraphException, CancelException {
|
||||
MethodReference mr = StringStuff.makeMethodReference("cfg.exc.intra.FieldAccess.testIf2(ZLcfg/exc/intra/B;Lcfg/exc/intra/B;)Lcfg/exc/intra/B");
|
||||
@ -224,6 +325,43 @@ public class NullPointerExceptionIntraTest extends WalaTestCase {
|
||||
}
|
||||
}
|
||||
|
||||
@Test
|
||||
public void testDynamicIf2() throws UnsoundGraphException, CancelException {
|
||||
MethodReference mr = StringStuff.makeMethodReference("cfg.exc.intra.FieldAccessDynamic.testIf2(ZLcfg/exc/intra/B;Lcfg/exc/intra/B;)Lcfg/exc/intra/B");
|
||||
|
||||
IMethod m = cha.resolveMethod(mr);
|
||||
AnalysisCache cache = new AnalysisCache();
|
||||
IR ir = cache.getIR(m);
|
||||
final ISSABasicBlock returnNode = returnNode(ir.getControlFlowGraph());
|
||||
final int returnVal = returnVal(returnNode);
|
||||
|
||||
{
|
||||
ExceptionPruningAnalysis<SSAInstruction, IExplodedBasicBlock> intraExplodedCFG =
|
||||
NullPointerAnalysis.createIntraproceduralExplodedCFGAnalysis(ir);
|
||||
intraExplodedCFG.compute(new NullProgressMonitor());
|
||||
|
||||
final IExplodedBasicBlock returnNodeExploded = returnNodeExploded(returnNode, intraExplodedCFG.getCFG());
|
||||
final NullPointerState returnState = intraExplodedCFG.getState(returnNodeExploded);
|
||||
|
||||
Assert.assertNotEquals(State.NOT_NULL, returnState.getState(returnVal));
|
||||
Assert.assertNotEquals(State.NULL, returnState.getState(returnVal));
|
||||
}
|
||||
{
|
||||
ExceptionPruningAnalysis<SSAInstruction, ISSABasicBlock> intraSSACFG =
|
||||
NullPointerAnalysis.createIntraproceduralSSACFGAnalyis(ir);
|
||||
intraSSACFG.compute(new NullProgressMonitor());
|
||||
|
||||
Assert.assertEquals(ir.getControlFlowGraph().exit(), intraSSACFG.getCFG().exit());
|
||||
Assert.assertEquals(returnNode, returnNode(intraSSACFG.getCFG()));
|
||||
|
||||
final NullPointerState returnState = intraSSACFG.getState(returnNode);
|
||||
|
||||
Assert.assertNotEquals(State.NOT_NULL, returnState.getState(returnVal));
|
||||
Assert.assertNotEquals(State.NULL, returnState.getState(returnVal));
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@Test
|
||||
public void testIfContinued() throws UnsoundGraphException, CancelException {
|
||||
MethodReference mr = StringStuff.makeMethodReference("cfg.exc.intra.FieldAccess.testIfContinued(ZLcfg/exc/intra/B;Lcfg/exc/intra/B;Lcfg/exc/intra/B;)Lcfg/exc/intra/B");
|
||||
@ -259,6 +397,43 @@ public class NullPointerExceptionIntraTest extends WalaTestCase {
|
||||
Assert.assertNotEquals(State.NULL, returnState.getState(returnVal));
|
||||
}
|
||||
}
|
||||
|
||||
@Test
|
||||
public void testDynamicIfContinued() throws UnsoundGraphException, CancelException {
|
||||
MethodReference mr = StringStuff.makeMethodReference("cfg.exc.intra.FieldAccessDynamic.testIfContinued(ZLcfg/exc/intra/B;Lcfg/exc/intra/B;Lcfg/exc/intra/B;)Lcfg/exc/intra/B");
|
||||
|
||||
IMethod m = cha.resolveMethod(mr);
|
||||
AnalysisCache cache = new AnalysisCache();
|
||||
IR ir = cache.getIR(m);
|
||||
final ISSABasicBlock returnNode = returnNode(ir.getControlFlowGraph());
|
||||
final int returnVal = returnVal(returnNode);
|
||||
|
||||
{
|
||||
ExceptionPruningAnalysis<SSAInstruction, IExplodedBasicBlock> intraExplodedCFG =
|
||||
NullPointerAnalysis.createIntraproceduralExplodedCFGAnalysis(ir);
|
||||
intraExplodedCFG.compute(new NullProgressMonitor());
|
||||
|
||||
final IExplodedBasicBlock returnNodeExploded = returnNodeExploded(returnNode, intraExplodedCFG.getCFG());
|
||||
final NullPointerState returnState = intraExplodedCFG.getState(returnNodeExploded);
|
||||
|
||||
Assert.assertNotEquals(State.NOT_NULL, returnState.getState(returnVal));
|
||||
Assert.assertNotEquals(State.NULL, returnState.getState(returnVal));
|
||||
}
|
||||
{
|
||||
ExceptionPruningAnalysis<SSAInstruction, ISSABasicBlock> intraSSACFG =
|
||||
NullPointerAnalysis.createIntraproceduralSSACFGAnalyis(ir);
|
||||
intraSSACFG.compute(new NullProgressMonitor());
|
||||
|
||||
Assert.assertEquals(ir.getControlFlowGraph().exit(), intraSSACFG.getCFG().exit());
|
||||
Assert.assertEquals(returnNode, returnNode(intraSSACFG.getCFG()));
|
||||
|
||||
final NullPointerState returnState = intraSSACFG.getState(returnNode);
|
||||
|
||||
Assert.assertNotEquals(State.NOT_NULL, returnState.getState(returnVal));
|
||||
Assert.assertNotEquals(State.NULL, returnState.getState(returnVal));
|
||||
}
|
||||
}
|
||||
|
||||
@Test
|
||||
public void testIf3() throws UnsoundGraphException, CancelException {
|
||||
MethodReference mr = StringStuff.makeMethodReference("cfg.exc.intra.FieldAccess.testIf3(ZLcfg/exc/intra/B;)Lcfg/exc/intra/B");
|
||||
@ -296,6 +471,42 @@ public class NullPointerExceptionIntraTest extends WalaTestCase {
|
||||
}
|
||||
|
||||
|
||||
@Test
|
||||
public void testDynamicIf3() throws UnsoundGraphException, CancelException {
|
||||
MethodReference mr = StringStuff.makeMethodReference("cfg.exc.intra.FieldAccessDynamic.testIf3(ZLcfg/exc/intra/B;)Lcfg/exc/intra/B");
|
||||
|
||||
IMethod m = cha.resolveMethod(mr);
|
||||
AnalysisCache cache = new AnalysisCache();
|
||||
IR ir = cache.getIR(m);
|
||||
final ISSABasicBlock returnNode = returnNode(ir.getControlFlowGraph());
|
||||
final int returnVal = returnVal(returnNode);
|
||||
|
||||
{
|
||||
ExceptionPruningAnalysis<SSAInstruction, IExplodedBasicBlock> intraExplodedCFG =
|
||||
NullPointerAnalysis.createIntraproceduralExplodedCFGAnalysis(ir);
|
||||
intraExplodedCFG.compute(new NullProgressMonitor());
|
||||
|
||||
final IExplodedBasicBlock returnNodeExploded = returnNodeExploded(returnNode, intraExplodedCFG.getCFG());
|
||||
final NullPointerState returnState = intraExplodedCFG.getState(returnNodeExploded);
|
||||
|
||||
Assert.assertNotEquals(State.NOT_NULL, returnState.getState(returnVal));
|
||||
Assert.assertNotEquals(State.NULL, returnState.getState(returnVal));
|
||||
}
|
||||
{
|
||||
ExceptionPruningAnalysis<SSAInstruction, ISSABasicBlock> intraSSACFG =
|
||||
NullPointerAnalysis.createIntraproceduralSSACFGAnalyis(ir);
|
||||
intraSSACFG.compute(new NullProgressMonitor());
|
||||
|
||||
Assert.assertEquals(ir.getControlFlowGraph().exit(), intraSSACFG.getCFG().exit());
|
||||
Assert.assertEquals(returnNode, returnNode(intraSSACFG.getCFG()));
|
||||
|
||||
final NullPointerState returnState = intraSSACFG.getState(returnNode);
|
||||
|
||||
Assert.assertNotEquals(State.NOT_NULL, returnState.getState(returnVal));
|
||||
Assert.assertNotEquals(State.NULL, returnState.getState(returnVal));
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@Test
|
||||
public void testWhile() throws UnsoundGraphException, CancelException {
|
||||
@ -333,6 +544,42 @@ public class NullPointerExceptionIntraTest extends WalaTestCase {
|
||||
}
|
||||
}
|
||||
|
||||
@Test
|
||||
public void testWhileDynamic() throws UnsoundGraphException, CancelException {
|
||||
MethodReference mr = StringStuff.makeMethodReference("cfg.exc.intra.FieldAccessDynamic.testWhile(ZLcfg/exc/intra/B;)Lcfg/exc/intra/B");
|
||||
|
||||
IMethod m = cha.resolveMethod(mr);
|
||||
AnalysisCache cache = new AnalysisCache();
|
||||
IR ir = cache.getIR(m);
|
||||
final ISSABasicBlock returnNode = returnNode(ir.getControlFlowGraph());
|
||||
final int returnVal = returnVal(returnNode);
|
||||
|
||||
{
|
||||
ExceptionPruningAnalysis<SSAInstruction, IExplodedBasicBlock> intraExplodedCFG =
|
||||
NullPointerAnalysis.createIntraproceduralExplodedCFGAnalysis(ir);
|
||||
intraExplodedCFG.compute(new NullProgressMonitor());
|
||||
|
||||
final IExplodedBasicBlock returnNodeExploded = returnNodeExploded(returnNode, intraExplodedCFG.getCFG());
|
||||
final NullPointerState returnState = intraExplodedCFG.getState(returnNodeExploded);
|
||||
|
||||
Assert.assertNotEquals(State.NOT_NULL, returnState.getState(returnVal));
|
||||
Assert.assertNotEquals(State.NULL, returnState.getState(returnVal));
|
||||
}
|
||||
{
|
||||
ExceptionPruningAnalysis<SSAInstruction, ISSABasicBlock> intraSSACFG =
|
||||
NullPointerAnalysis.createIntraproceduralSSACFGAnalyis(ir);
|
||||
intraSSACFG.compute(new NullProgressMonitor());
|
||||
|
||||
Assert.assertEquals(ir.getControlFlowGraph().exit(), intraSSACFG.getCFG().exit());
|
||||
Assert.assertEquals(returnNode, returnNode(intraSSACFG.getCFG()));
|
||||
|
||||
final NullPointerState returnState = intraSSACFG.getState(returnNode);
|
||||
|
||||
Assert.assertNotEquals(State.NOT_NULL, returnState.getState(returnVal));
|
||||
Assert.assertNotEquals(State.NULL, returnState.getState(returnVal));
|
||||
}
|
||||
}
|
||||
|
||||
@Test
|
||||
public void testWhile2() throws UnsoundGraphException, CancelException {
|
||||
MethodReference mr = StringStuff.makeMethodReference("cfg.exc.intra.FieldAccess.testWhile2(ZLcfg/exc/intra/B;)Lcfg/exc/intra/B");
|
||||
@ -366,20 +613,55 @@ public class NullPointerExceptionIntraTest extends WalaTestCase {
|
||||
Assert.assertEquals(State.NOT_NULL, returnState.getState(returnVal));
|
||||
}
|
||||
}
|
||||
|
||||
@Test
|
||||
public void testDynamicWhile2() throws UnsoundGraphException, CancelException {
|
||||
MethodReference mr = StringStuff.makeMethodReference("cfg.exc.intra.FieldAccessDynamic.testWhile2(ZLcfg/exc/intra/B;)Lcfg/exc/intra/B");
|
||||
|
||||
private static ISSABasicBlock returnNode(ControlFlowGraph<SSAInstruction, ISSABasicBlock> cfg) {
|
||||
IMethod m = cha.resolveMethod(mr);
|
||||
AnalysisCache cache = new AnalysisCache();
|
||||
IR ir = cache.getIR(m);
|
||||
final ISSABasicBlock returnNode = returnNode(ir.getControlFlowGraph());
|
||||
final int returnVal = returnVal(returnNode);
|
||||
|
||||
{
|
||||
ExceptionPruningAnalysis<SSAInstruction, IExplodedBasicBlock> intraExplodedCFG =
|
||||
NullPointerAnalysis.createIntraproceduralExplodedCFGAnalysis(ir);
|
||||
intraExplodedCFG.compute(new NullProgressMonitor());
|
||||
|
||||
final IExplodedBasicBlock returnNodeExploded = returnNodeExploded(returnNode, intraExplodedCFG.getCFG());
|
||||
final NullPointerState returnState = intraExplodedCFG.getState(returnNodeExploded);
|
||||
|
||||
Assert.assertEquals(State.NOT_NULL, returnState.getState(returnVal));
|
||||
}
|
||||
{
|
||||
ExceptionPruningAnalysis<SSAInstruction, ISSABasicBlock> intraSSACFG =
|
||||
NullPointerAnalysis.createIntraproceduralSSACFGAnalyis(ir);
|
||||
intraSSACFG.compute(new NullProgressMonitor());
|
||||
|
||||
Assert.assertEquals(ir.getControlFlowGraph().exit(), intraSSACFG.getCFG().exit());
|
||||
Assert.assertEquals(returnNode, returnNode(intraSSACFG.getCFG()));
|
||||
|
||||
final NullPointerState returnState = intraSSACFG.getState(returnNode);
|
||||
|
||||
Assert.assertEquals(State.NOT_NULL, returnState.getState(returnVal));
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
public static ISSABasicBlock returnNode(ControlFlowGraph<SSAInstruction, ISSABasicBlock> cfg) {
|
||||
Collection<ISSABasicBlock> returnNodes = cfg.getNormalPredecessors(cfg.exit());
|
||||
Assert.assertEquals(1, returnNodes.size());
|
||||
return (ISSABasicBlock) returnNodes.toArray()[0];
|
||||
}
|
||||
|
||||
private static int returnVal(ISSABasicBlock returnNode) {
|
||||
public static int returnVal(ISSABasicBlock returnNode) {
|
||||
final SSAReturnInstruction returnInst = (SSAReturnInstruction) returnNode.getLastInstruction();
|
||||
Assert.assertEquals(1, returnInst.getNumberOfUses());
|
||||
return returnInst.getUse(0);
|
||||
}
|
||||
|
||||
private static IExplodedBasicBlock returnNodeExploded(ISSABasicBlock returnNode, ControlFlowGraph<SSAInstruction, IExplodedBasicBlock> explodedCfg) {
|
||||
public static IExplodedBasicBlock returnNodeExploded(ISSABasicBlock returnNode, ControlFlowGraph<SSAInstruction, IExplodedBasicBlock> explodedCfg) {
|
||||
final IExplodedBasicBlock exit = explodedCfg.exit();
|
||||
for (Iterator<IExplodedBasicBlock> it = explodedCfg.getPredNodes(exit); it.hasNext();) {
|
||||
IExplodedBasicBlock candidate = it.next();
|
||||
|
||||
Loading…
Reference in New Issue
Block a user