Merge branch 'pull-request__nullpointer-bugfixes' of https://github.com/joana-team/WALA
This commit is contained in:
Julian Dolby
commit
2a4d24dc6f
|
|
@ -0,0 +1,66 @@
|
|||
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();
|
||||
callIf2Exception();
|
||||
callIf2NoException();
|
||||
callDynamicIf2Exception();
|
||||
callDynamicIf2NoException();
|
||||
callGetException();
|
||||
callDynamicGetException();
|
||||
}
|
||||
|
||||
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());
|
||||
}
|
||||
|
||||
static B callIf2Exception() {
|
||||
return FieldAccess.testIf2(unknown, null, null);
|
||||
}
|
||||
static B callIf2NoException() {
|
||||
return FieldAccess.testIf2(unknown, new B(), null);
|
||||
}
|
||||
|
||||
static B callDynamicIf2Exception() {
|
||||
FieldAccessDynamic fad = new FieldAccessDynamic();
|
||||
return fad.testIf2(unknown, null, null);
|
||||
}
|
||||
static B callDynamicIf2NoException() {
|
||||
FieldAccessDynamic fad = new FieldAccessDynamic();
|
||||
return fad.testIf2(unknown, new B(), null);
|
||||
}
|
||||
|
||||
static B callGetException() {
|
||||
B b = new B();
|
||||
return FieldAccess.testGet(unknown, b);
|
||||
}
|
||||
|
||||
static B callDynamicGetException() {
|
||||
FieldAccessDynamic fad = new FieldAccessDynamic();
|
||||
B b = new B();
|
||||
return fad.testGet(unknown, b);
|
||||
}
|
||||
|
||||
}
|
||||
|
|
@ -0,0 +1,11 @@
|
|||
package cfg.exc.intra;
|
||||
|
||||
/**
|
||||
* @author Martin Hecker
|
||||
*/
|
||||
|
||||
|
||||
public class B {
|
||||
public int f;
|
||||
public B b;
|
||||
}
|
||||
|
|
@ -0,0 +1,125 @@
|
|||
/**
|
||||
* 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 FieldAccess {
|
||||
|
||||
|
||||
public static B testParam(boolean unknown, B b1, B b2) {
|
||||
b1 = null;
|
||||
return b1;
|
||||
}
|
||||
|
||||
public static B testParam2(boolean unknown, B b1, B b2) {
|
||||
b1.f = 42;
|
||||
return b1;
|
||||
}
|
||||
|
||||
|
||||
public static 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 static B testIf2(boolean unknown, B b1, B b2) {
|
||||
b1.f = 42;
|
||||
|
||||
B b3;
|
||||
if (unknown) {
|
||||
b3 = b1;
|
||||
} else {
|
||||
b3 = b2;
|
||||
}
|
||||
|
||||
return b3;
|
||||
}
|
||||
|
||||
public static 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 static B testIf3(boolean unknown, B b1) {
|
||||
if (unknown) {
|
||||
b1.f = 42;
|
||||
} else {
|
||||
System.out.println("rofl");
|
||||
}
|
||||
|
||||
return b1;
|
||||
}
|
||||
|
||||
public static B testWhile(boolean unknown, B b1) {
|
||||
b1.f = 42;
|
||||
|
||||
B b3 = null;
|
||||
while (unknown) {
|
||||
b3 = b1;
|
||||
}
|
||||
|
||||
return b3;
|
||||
}
|
||||
|
||||
public static B testWhile2(boolean unknown, B b1) {
|
||||
b1.f = 42;
|
||||
|
||||
B b3 = new B();
|
||||
b3.f = 17;
|
||||
|
||||
while (unknown) {
|
||||
b3 = b1;
|
||||
}
|
||||
|
||||
return b3;
|
||||
}
|
||||
|
||||
public static B testGet(boolean unknown, B b1) {
|
||||
b1.f = 42;
|
||||
|
||||
B b3 = b1.b;
|
||||
|
||||
if (unknown) {
|
||||
b3.f = 17;
|
||||
}
|
||||
|
||||
return b3;
|
||||
}
|
||||
|
||||
|
||||
public static void main(String[] args) {
|
||||
|
||||
B b1 = new B();
|
||||
B b2 = new B();
|
||||
final boolean unknown = (args.length == 0);
|
||||
|
||||
testIf(unknown, b1, b2);
|
||||
}
|
||||
}
|
||||
|
|
@ -0,0 +1,126 @@
|
|||
/**
|
||||
* 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 B testGet(boolean unknown, B b1) {
|
||||
b1.f = 42;
|
||||
|
||||
B b3 = b1.b;
|
||||
|
||||
if (unknown) {
|
||||
b3.f = 17;
|
||||
}
|
||||
|
||||
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,271 @@
|
|||
/*******************************************************************************
|
||||
* 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 org.junit.AfterClass;
|
||||
import org.junit.Assert;
|
||||
import org.junit.BeforeClass;
|
||||
import org.junit.Test;
|
||||
|
||||
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.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.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.SSAInstruction;
|
||||
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(CallGraphTestUtil.REGRESSION_EXCLUSIONS), 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.makeNCFABuilder(1, 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());
|
||||
}
|
||||
|
||||
@Test
|
||||
public void testIf2Exception() throws UnsoundGraphException, CancelException, WalaException {
|
||||
MethodReference mr = StringStuff.makeMethodReference("cfg.exc.inter.CallFieldAccess.callIf2Exception()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 testDynamicIf2Exception() throws UnsoundGraphException, CancelException, WalaException {
|
||||
MethodReference mr = StringStuff.makeMethodReference("cfg.exc.inter.CallFieldAccess.callDynamicIf2Exception()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 testIf2NoException() throws UnsoundGraphException, CancelException, WalaException {
|
||||
MethodReference mr = StringStuff.makeMethodReference("cfg.exc.inter.CallFieldAccess.callIf2NoException()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 testDynamicIf2NoException() throws UnsoundGraphException, CancelException, WalaException {
|
||||
MethodReference mr = StringStuff.makeMethodReference("cfg.exc.inter.CallFieldAccess.callDynamicIf2NoException()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 testGetException() throws UnsoundGraphException, CancelException, WalaException {
|
||||
MethodReference mr = StringStuff.makeMethodReference("cfg.exc.inter.CallFieldAccess.callGetException()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 testDynamicGetException() throws UnsoundGraphException, CancelException, WalaException {
|
||||
MethodReference mr = StringStuff.makeMethodReference("cfg.exc.inter.CallFieldAccess.callDynamicGetException()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());
|
||||
}
|
||||
}
|
||||
|
|
@ -0,0 +1,746 @@
|
|||
/*******************************************************************************
|
||||
* 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.intra;
|
||||
|
||||
import java.util.ArrayList;
|
||||
import java.util.Collection;
|
||||
import java.util.Iterator;
|
||||
import java.util.List;
|
||||
|
||||
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.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.util.TestConstants;
|
||||
import com.ibm.wala.core.tests.util.WalaTestCase;
|
||||
import com.ibm.wala.ipa.callgraph.AnalysisCache;
|
||||
import com.ibm.wala.ipa.callgraph.AnalysisScope;
|
||||
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.SSACFG;
|
||||
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.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 intra-procedurel NullpointerException-Analysis {@link IntraprocNullPointerAnalysis}
|
||||
*
|
||||
*/
|
||||
public class NullPointerExceptionIntraTest extends WalaTestCase {
|
||||
|
||||
private static AnalysisScope scope;
|
||||
|
||||
private static ClassHierarchy cha;
|
||||
|
||||
@BeforeClass
|
||||
public static void beforeClass() throws Exception {
|
||||
|
||||
scope = AnalysisScopeReader.readJavaScope(TestConstants.WALA_TESTDATA,
|
||||
(new FileProvider()).getFile("J2SEClassHierarchyExclusions.txt"), NullPointerExceptionIntraTest.class.getClassLoader());
|
||||
ClassLoaderFactory factory = new ClassLoaderFactoryImpl(scope.getExclusions());
|
||||
|
||||
try {
|
||||
cha = ClassHierarchy.make(scope, factory);
|
||||
} catch (ClassHierarchyException e) {
|
||||
throw new Exception();
|
||||
}
|
||||
}
|
||||
|
||||
@AfterClass
|
||||
public static void afterClass() throws Exception {
|
||||
Warnings.clear();
|
||||
scope = null;
|
||||
cha = null;
|
||||
}
|
||||
|
||||
public static void main(String[] args) {
|
||||
justThisTest(NullPointerExceptionIntraTest.class);
|
||||
}
|
||||
|
||||
@Test
|
||||
public void testParam() throws UnsoundGraphException, CancelException {
|
||||
MethodReference mr = StringStuff.makeMethodReference("cfg.exc.intra.FieldAccess.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 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");
|
||||
|
||||
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 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 {
|
||||
MethodReference mr = StringStuff.makeMethodReference("cfg.exc.intra.FieldAccess.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 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");
|
||||
|
||||
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 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");
|
||||
|
||||
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 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");
|
||||
|
||||
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 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 {
|
||||
MethodReference mr = StringStuff.makeMethodReference("cfg.exc.intra.FieldAccess.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 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");
|
||||
|
||||
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 testDynamicWhile2() throws UnsoundGraphException, CancelException {
|
||||
MethodReference mr = StringStuff.makeMethodReference("cfg.exc.intra.FieldAccessDynamic.testWhile2(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.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 testGet() throws UnsoundGraphException, CancelException {
|
||||
MethodReference mr = StringStuff.makeMethodReference("cfg.exc.intra.FieldAccess.testGet(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 testDynamicGet() throws UnsoundGraphException, CancelException {
|
||||
MethodReference mr = StringStuff.makeMethodReference("cfg.exc.intra.FieldAccessDynamic.testGet(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));
|
||||
}
|
||||
}
|
||||
|
||||
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];
|
||||
}
|
||||
|
||||
public static int returnVal(ISSABasicBlock returnNode) {
|
||||
final SSAReturnInstruction returnInst = (SSAReturnInstruction) returnNode.getLastInstruction();
|
||||
Assert.assertEquals(1, returnInst.getNumberOfUses());
|
||||
return returnInst.getUse(0);
|
||||
}
|
||||
|
||||
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();
|
||||
if (candidate.getInstruction() == returnNode.getLastInstruction()) {
|
||||
return candidate;
|
||||
}
|
||||
}
|
||||
Assert.assertTrue(false);
|
||||
return null;
|
||||
}
|
||||
}
|
||||
|
|
@ -7,6 +7,7 @@ import com.ibm.wala.cfg.exc.intra.NullPointerState;
|
|||
import com.ibm.wala.cfg.exc.intra.NullPointerState.State;
|
||||
import com.ibm.wala.ssa.IR;
|
||||
import com.ibm.wala.ssa.ISSABasicBlock;
|
||||
import com.ibm.wala.ssa.SSACFG;
|
||||
import com.ibm.wala.ssa.SSAInstruction;
|
||||
import com.ibm.wala.types.TypeReference;
|
||||
import com.ibm.wala.util.CancelException;
|
||||
|
|
@ -35,10 +36,11 @@ public class IntraproceduralNullPointerAnalysis {
|
|||
|
||||
final int maxVarNum = ir.getSymbolTable().getMaxValueNumber();
|
||||
final int[] paramValNum = ir.getParameterValueNumbers();
|
||||
SSACFG cfg = ir.getControlFlowGraph();
|
||||
final NullPointerFrameWork<ISSABasicBlock> problem = new NullPointerFrameWork<ISSABasicBlock>(
|
||||
ir.getControlFlowGraph(), ir);
|
||||
cfg, ir);
|
||||
this.solver = new NullPointerSolver<ISSABasicBlock>(problem, maxVarNum,
|
||||
paramValNum, ir);
|
||||
paramValNum, ir, cfg.entry());
|
||||
try {
|
||||
this.solver.solve(NO_PROGRESS_MONITOR);
|
||||
} catch (final CancelException e) {
|
||||
|
|
|
|||
|
|
@ -137,7 +137,7 @@ public class IntraprocNullPointerAnalysis<T extends ISSABasicBlock> {
|
|||
final NullPointerFrameWork<T> problem = new NullPointerFrameWork<T>(cfg, ir);
|
||||
final int[] paramValNum = ir.getParameterValueNumbers();
|
||||
|
||||
solver = new NullPointerSolver<T>(problem, maxVarNum, paramValNum, initialState, ir);
|
||||
solver = new NullPointerSolver<T>(problem, maxVarNum, paramValNum, cfg.entry(), ir, initialState);
|
||||
|
||||
solver.solve(progress);
|
||||
|
||||
|
|
@ -194,7 +194,7 @@ public class IntraprocNullPointerAnalysis<T extends ISSABasicBlock> {
|
|||
// empty IR ... so states have not changed and we can return the initial state as a save approximation
|
||||
return new NullPointerState(maxVarNum, ir.getSymbolTable(), initialState);
|
||||
} else {
|
||||
return solver.getIn(block);
|
||||
return solver.getOut(block);
|
||||
}
|
||||
}
|
||||
|
||||
|
|
@ -224,7 +224,7 @@ public class IntraprocNullPointerAnalysis<T extends ISSABasicBlock> {
|
|||
SSAInstruction instr = NullPointerTransferFunctionProvider.getRelevantInstruction(bb);
|
||||
|
||||
if (instr != null) {
|
||||
currentState = solver.getIn(bb);
|
||||
currentState = getState(bb);
|
||||
currentBlock = bb;
|
||||
instr.visit(this);
|
||||
currentState = null;
|
||||
|
|
@ -259,6 +259,7 @@ public class IntraprocNullPointerAnalysis<T extends ISSABasicBlock> {
|
|||
assert instr.isPEI();
|
||||
|
||||
if (instr instanceof SSAAbstractInvokeInstruction) {
|
||||
assert ((SSAAbstractInvokeInstruction) instr).isStatic();
|
||||
return mState != null && !mState.throwsException((SSAAbstractInvokeInstruction) instr);
|
||||
} else {
|
||||
Collection<TypeReference> exc = instr.getExceptionTypes();
|
||||
|
|
|
|||
|
|
@ -10,6 +10,7 @@
|
|||
*******************************************************************************/
|
||||
package com.ibm.wala.cfg.exc.intra;
|
||||
|
||||
import com.ibm.wala.cfg.exc.intra.NullPointerState.State;
|
||||
import com.ibm.wala.dataflow.graph.DataflowSolver;
|
||||
import com.ibm.wala.ssa.IR;
|
||||
import com.ibm.wala.ssa.ISSABasicBlock;
|
||||
|
|
@ -24,16 +25,18 @@ public class NullPointerSolver<B extends ISSABasicBlock> extends DataflowSolver<
|
|||
|
||||
private final int maxVarNum;
|
||||
private final ParameterState parameterState;
|
||||
private final B entry;
|
||||
private final IR ir;
|
||||
|
||||
public NullPointerSolver(NullPointerFrameWork<B> problem, int maxVarNum, int[] paramVarNum, IR ir) {
|
||||
this(problem, maxVarNum, paramVarNum, ParameterState.createDefault(ir.getMethod()), ir);
|
||||
public NullPointerSolver(NullPointerFrameWork<B> problem, int maxVarNum, int[] paramVarNum, IR ir, B entry) {
|
||||
this(problem, maxVarNum, paramVarNum, entry, ir, ParameterState.createDefault(ir.getMethod()));
|
||||
}
|
||||
|
||||
public NullPointerSolver(NullPointerFrameWork<B> problem, int maxVarNum, int[] paramVarNum, ParameterState initialState, IR ir) {
|
||||
public NullPointerSolver(NullPointerFrameWork<B> problem, int maxVarNum, int[] paramVarNum, B entry, IR ir, ParameterState initialState) {
|
||||
super(problem);
|
||||
this.maxVarNum = maxVarNum;
|
||||
this.parameterState = initialState;
|
||||
this.entry = entry;
|
||||
this.ir = ir;
|
||||
}
|
||||
|
||||
|
|
@ -50,7 +53,11 @@ public class NullPointerSolver<B extends ISSABasicBlock> extends DataflowSolver<
|
|||
*/
|
||||
@Override
|
||||
protected NullPointerState makeNodeVariable(B n, boolean IN) {
|
||||
return new NullPointerState(maxVarNum, ir.getSymbolTable(), parameterState);
|
||||
if (IN && n.equals(entry)) {
|
||||
return new NullPointerState(maxVarNum, ir.getSymbolTable(), parameterState, State.BOTH);
|
||||
} else {
|
||||
return new NullPointerState(maxVarNum, ir.getSymbolTable(), parameterState, State.UNKNOWN);
|
||||
}
|
||||
}
|
||||
|
||||
@Override
|
||||
|
|
|
|||
|
|
@ -11,6 +11,8 @@
|
|||
|
||||
package com.ibm.wala.cfg.exc.intra;
|
||||
|
||||
import java.util.Collection;
|
||||
|
||||
import com.ibm.wala.dataflow.graph.AbstractMeetOperator;
|
||||
import com.ibm.wala.fixpoint.AbstractVariable;
|
||||
import com.ibm.wala.fixpoint.FixedPointConstants;
|
||||
|
|
@ -27,7 +29,7 @@ public class NullPointerState extends AbstractVariable<NullPointerState> {
|
|||
|
||||
/*
|
||||
* Inital state is UNKNOWN.
|
||||
* Lattice: UNKNOWN < { NULL, NOT_NULL } < BOTH
|
||||
* Lattice: BOTH < { NULL, NOT_NULL } < UNKNOWN
|
||||
*/
|
||||
public enum State { UNKNOWN, BOTH, NULL, NOT_NULL };
|
||||
|
||||
|
|
@ -35,6 +37,10 @@ public class NullPointerState extends AbstractVariable<NullPointerState> {
|
|||
private final State[] vars;
|
||||
|
||||
NullPointerState(int maxVarNum, SymbolTable symbolTable, ParameterState parameterState) {
|
||||
this(maxVarNum, symbolTable, parameterState, State.UNKNOWN);
|
||||
}
|
||||
|
||||
NullPointerState(int maxVarNum, SymbolTable symbolTable, ParameterState parameterState, State defaultState) {
|
||||
this.vars = new State[maxVarNum + 1];
|
||||
|
||||
// Initialize the states
|
||||
|
|
@ -46,7 +52,7 @@ public class NullPointerState extends AbstractVariable<NullPointerState> {
|
|||
vars[i] = State.NOT_NULL;
|
||||
}
|
||||
} else {
|
||||
vars[i] = State.UNKNOWN;
|
||||
vars[i] = defaultState;
|
||||
}
|
||||
}
|
||||
|
||||
|
|
@ -95,6 +101,10 @@ public class NullPointerState extends AbstractVariable<NullPointerState> {
|
|||
return IndentityFunction.INSTANCE;
|
||||
}
|
||||
|
||||
static UnaryOperator<NullPointerState> phisFunction(Collection<UnaryOperator<NullPointerState>> phiFunctions) {
|
||||
return new OperatorUtil.UnaryOperatorSequence<>(phiFunctions);
|
||||
}
|
||||
|
||||
boolean isNeverNull(int varNum) {
|
||||
assert varNum > 0 && varNum < vars.length;
|
||||
|
||||
|
|
@ -167,42 +177,6 @@ public class NullPointerState extends AbstractVariable<NullPointerState> {
|
|||
return changed;
|
||||
}
|
||||
|
||||
/**
|
||||
* This is a intersect operator for the NullPointerState variables. It is used by the
|
||||
* phi values.
|
||||
* <pre>
|
||||
* ? == unknown, 1 == not null, 0 == null, * == both
|
||||
*
|
||||
* meet | ? | 0 | 1 | * | <- rhs
|
||||
* -----|---|---|---|---|
|
||||
* ? | ? | ? | ? | * |
|
||||
* -----|---|---|---|---|
|
||||
* 0 | ? | 0 | * | * |
|
||||
* -----|---|---|---|---|
|
||||
* 1 | ? | * | 1 | * |
|
||||
* -----|---|---|---|---|
|
||||
* * | * | * | * | * |
|
||||
* ----------------------
|
||||
* ^
|
||||
* |
|
||||
* lhs
|
||||
* </pre>
|
||||
*/
|
||||
boolean intersect(final int varNum, final State state) {
|
||||
final State lhs = vars[varNum];
|
||||
|
||||
if (lhs != State.BOTH && state != lhs) {
|
||||
if (state != State.BOTH && (lhs == State.UNKNOWN || state == State.UNKNOWN)){
|
||||
vars[varNum] = State.UNKNOWN;
|
||||
return true;
|
||||
} else {
|
||||
vars[varNum] = State.BOTH;
|
||||
return true;
|
||||
}
|
||||
} else {
|
||||
return false;
|
||||
}
|
||||
}
|
||||
|
||||
boolean nullify(int varNum) {
|
||||
if (vars[varNum] != State.NULL) {
|
||||
|
|
@ -336,15 +310,17 @@ public class NullPointerState extends AbstractVariable<NullPointerState> {
|
|||
|
||||
@Override
|
||||
public byte evaluate(NullPointerState lhs, NullPointerState rhs) {
|
||||
byte state = FixedPointConstants.NOT_CHANGED;
|
||||
|
||||
for (int from : fromVars) {
|
||||
if (lhs.intersect(varNum, rhs.vars[from])) {
|
||||
state = FixedPointConstants.CHANGED;
|
||||
}
|
||||
boolean changed = false;
|
||||
if (!lhs.equals(rhs)) {
|
||||
lhs.copyState(rhs);
|
||||
changed = true;
|
||||
}
|
||||
|
||||
return state;
|
||||
lhs.vars[varNum] = State.UNKNOWN;
|
||||
for (int from : fromVars) {
|
||||
changed |= lhs.meet(varNum, rhs.vars[from]);
|
||||
}
|
||||
|
||||
return (changed ? FixedPointConstants.CHANGED : FixedPointConstants.NOT_CHANGED);
|
||||
}
|
||||
|
||||
/* (non-Javadoc)
|
||||
|
|
@ -385,7 +361,7 @@ public class NullPointerState extends AbstractVariable<NullPointerState> {
|
|||
*/
|
||||
@Override
|
||||
public String toString() {
|
||||
StringBuffer str = new StringBuffer("Meet(" + varNum + ", [");
|
||||
StringBuffer str = new StringBuffer("PhiValueMeet(" + varNum + ", [");
|
||||
|
||||
for (int i = 0; i < fromVars.length; i++) {
|
||||
str.append(fromVars[i]);
|
||||
|
|
@ -399,6 +375,7 @@ public class NullPointerState extends AbstractVariable<NullPointerState> {
|
|||
|
||||
}
|
||||
|
||||
|
||||
private static class NullifyFunction extends UnaryOperator<NullPointerState> {
|
||||
|
||||
private final int varNum;
|
||||
|
|
@ -549,7 +526,5 @@ public class NullPointerState extends AbstractVariable<NullPointerState> {
|
|||
public String toString() {
|
||||
return "Id";
|
||||
}
|
||||
|
||||
}
|
||||
|
||||
}
|
||||
|
|
|
|||
|
|
@ -11,6 +11,9 @@
|
|||
|
||||
package com.ibm.wala.cfg.exc.intra;
|
||||
|
||||
import java.util.ArrayList;
|
||||
import java.util.Iterator;
|
||||
|
||||
import com.ibm.wala.cfg.ControlFlowGraph;
|
||||
import com.ibm.wala.cfg.Util;
|
||||
import com.ibm.wala.dataflow.graph.AbstractMeetOperator;
|
||||
|
|
@ -90,6 +93,7 @@ class NullPointerTransferFunctionProvider<T extends ISSABasicBlock> implements I
|
|||
public UnaryOperator<NullPointerState> getEdgeTransferFunction(T src, T dst) {
|
||||
SSAInstruction instr = getRelevantInstruction(src);
|
||||
|
||||
assert !(instr instanceof SSAPhiInstruction);
|
||||
if (instr != null && cfg.hasEdge(src, dst)) {
|
||||
instr.visit(visitor);
|
||||
if (visitor.noIdentity) {
|
||||
|
|
@ -133,8 +137,21 @@ class NullPointerTransferFunctionProvider<T extends ISSABasicBlock> implements I
|
|||
* @see com.ibm.wala.dataflow.graph.ITransferFunctionProvider#getNodeTransferFunction(java.lang.Object)
|
||||
*/
|
||||
@Override
|
||||
public UnaryOperator<NullPointerState> getNodeTransferFunction(T node) {
|
||||
throw new UnsupportedOperationException("We do not have such a thing dude!");
|
||||
public UnaryOperator<NullPointerState> getNodeTransferFunction(final T node) {
|
||||
final ArrayList<UnaryOperator<NullPointerState>> phiTransferFunctions = new ArrayList<>(1);
|
||||
for (final Iterator<SSAPhiInstruction> phiIterator = node.iteratePhis(); phiIterator.hasNext(); ) {
|
||||
final SSAPhiInstruction phi = phiIterator.next();
|
||||
int[] uses = new int[phi.getNumberOfUses()];
|
||||
for (int i = 0; i < uses.length; i++) {
|
||||
uses[i] = phi.getUse(i);
|
||||
}
|
||||
phiTransferFunctions.add(NullPointerState.phiValueMeetFunction(phi.getDef(), uses));
|
||||
}
|
||||
if (phiTransferFunctions.size() > 0) {
|
||||
return NullPointerState.phisFunction(phiTransferFunctions);
|
||||
} else {
|
||||
return NullPointerState.identityFunction();
|
||||
}
|
||||
}
|
||||
|
||||
/* (non-Javadoc)
|
||||
|
|
@ -150,7 +167,7 @@ class NullPointerTransferFunctionProvider<T extends ISSABasicBlock> implements I
|
|||
*/
|
||||
@Override
|
||||
public boolean hasNodeTransferFunctions() {
|
||||
return false;
|
||||
return true;
|
||||
}
|
||||
|
||||
private static class TransferFunctionSSAVisitor implements IVisitor {
|
||||
|
|
|
|||
|
|
@ -0,0 +1,73 @@
|
|||
package com.ibm.wala.cfg.exc.intra;
|
||||
|
||||
import java.util.Arrays;
|
||||
import java.util.Collection;
|
||||
|
||||
import com.ibm.wala.fixpoint.FixedPointConstants;
|
||||
import com.ibm.wala.fixpoint.IVariable;
|
||||
import com.ibm.wala.fixpoint.UnaryOperator;
|
||||
|
||||
/**
|
||||
* Combinators for {@link UnaryOperator}
|
||||
*
|
||||
* @author Martin Hecker, martin.hecker@kit.edu
|
||||
*/
|
||||
public class OperatorUtil {
|
||||
|
||||
/**
|
||||
* An operator of the form lhs = op_1(op_2(..op_n(rhs)..))
|
||||
*
|
||||
* @author Martin Hecker, martin.hecker@kit.edu
|
||||
*/
|
||||
public static class UnaryOperatorSequence<T extends IVariable> extends UnaryOperator<T> {
|
||||
|
||||
final UnaryOperator<T>[] operators;
|
||||
|
||||
@SuppressWarnings("unchecked")
|
||||
public UnaryOperatorSequence(Collection<UnaryOperator<T>> operators) {
|
||||
if (operators.size() == 0 ) throw new IllegalArgumentException("Empty Operator-Sequence");
|
||||
this.operators = operators.toArray(new UnaryOperator[operators.size()]);
|
||||
}
|
||||
|
||||
public UnaryOperatorSequence(UnaryOperator<T>... operators) {
|
||||
if (operators.length == 0 ) throw new IllegalArgumentException("Empty Operator-Sequence");
|
||||
this.operators = Arrays.copyOf(operators, operators.length);
|
||||
}
|
||||
|
||||
@Override
|
||||
public boolean equals(Object o) {
|
||||
if (this == o) return true;
|
||||
if (o == null) return false;
|
||||
if (getClass() != o.getClass()) return false;
|
||||
|
||||
UnaryOperatorSequence other = (UnaryOperatorSequence) o;
|
||||
return operators.equals(other.operators);
|
||||
}
|
||||
|
||||
@Override
|
||||
public int hashCode() {
|
||||
return operators.hashCode();
|
||||
}
|
||||
|
||||
@Override
|
||||
public String toString() {
|
||||
return Arrays.toString(operators);
|
||||
}
|
||||
|
||||
@Override
|
||||
public byte evaluate(T lhs, T rhs) {
|
||||
assert (operators.length > 0);
|
||||
int result = operators[0].evaluate(lhs, rhs);
|
||||
|
||||
for (int i = 1 ; i < operators.length; i++) {
|
||||
byte changed = operators[i].evaluate(lhs, lhs);
|
||||
result = ((result | changed) & FixedPointConstants.CHANGED_MASK)
|
||||
| ((result | changed) & FixedPointConstants.SIDE_EFFECT_MASK)
|
||||
| ((result & changed) & FixedPointConstants.FIXED_MASK);
|
||||
}
|
||||
|
||||
return (byte) result;
|
||||
}
|
||||
}
|
||||
|
||||
}
|
||||
|
|
@ -27,7 +27,7 @@ import com.ibm.wala.fixpoint.AbstractVariable;
|
|||
public class ParameterState extends AbstractVariable<ParameterState> {
|
||||
/*
|
||||
* Inital state is UNKNOWN.
|
||||
* Lattice: UNKNOWN < { NULL, NOT_NULL } < BOTH
|
||||
* Lattice: BOTH < { NULL, NOT_NULL } < UNKNOWN
|
||||
*
|
||||
* public enum State { UNKNOWN, BOTH, NULL, NOT_NULL }; as defined in NullPointerState
|
||||
*
|
||||
|
|
@ -60,7 +60,7 @@ public class ParameterState extends AbstractVariable<ParameterState> {
|
|||
*/
|
||||
public ParameterState(NullPointerState state, int[] parameterNumbers) {
|
||||
//by convention the first ssa vars are the parameters
|
||||
for (int i=1; i < parameterNumbers.length; i++){
|
||||
for (int i=0; i < parameterNumbers.length; i++){
|
||||
params.put(i, state.getState(parameterNumbers[i]));
|
||||
}
|
||||
}
|
||||
|
|
@ -69,8 +69,8 @@ public class ParameterState extends AbstractVariable<ParameterState> {
|
|||
State prev = params.get(varNum);
|
||||
if (prev != null) {
|
||||
switch (prev) {
|
||||
case BOTH:
|
||||
if (state != State.BOTH) {
|
||||
case UNKNOWN:
|
||||
if (state != State.UNKNOWN) {
|
||||
throw new IllegalArgumentException("Try to set " + prev + " to " + state);
|
||||
}
|
||||
break;
|
||||
|
|
@ -101,7 +101,10 @@ public class ParameterState extends AbstractVariable<ParameterState> {
|
|||
*/
|
||||
public State getState(int varNum) {
|
||||
State state = params.get(varNum);
|
||||
return (state == null ? State.UNKNOWN : state);
|
||||
if (state == null) {
|
||||
throw new IllegalArgumentException("No mapping for variable " + varNum + "in ParameterState " + this.toString());
|
||||
}
|
||||
return state;
|
||||
}
|
||||
|
||||
@Override
|
||||
|
|
|
|||
Loading…
Reference in New Issue