From 851f9b2ef37b40e53a9cbfdd0036a35274c352b6 Mon Sep 17 00:00:00 2001 From: Stephan Gocht Date: Fri, 23 Oct 2015 14:56:02 +0200 Subject: [PATCH] Added comments. --- .../tests/arraybounds/ArrayboundsAnalysisTest.java | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/com.ibm.wala.core.tests/src/com/ibm/wala/core/tests/arraybounds/ArrayboundsAnalysisTest.java b/com.ibm.wala.core.tests/src/com/ibm/wala/core/tests/arraybounds/ArrayboundsAnalysisTest.java index 58c5d6696..872d49e8f 100644 --- a/com.ibm.wala.core.tests/src/com/ibm/wala/core/tests/arraybounds/ArrayboundsAnalysisTest.java +++ b/com.ibm.wala.core.tests/src/com/ibm/wala/core/tests/arraybounds/ArrayboundsAnalysisTest.java @@ -28,6 +28,19 @@ import com.ibm.wala.ssa.IRFactory; import com.ibm.wala.types.TypeReference; import com.ibm.wala.util.config.AnalysisScopeReader; +/** + * The test data should be grouped, according to the behavior of the analysis. + * All array accesses of a class are to be detected as "in bound" or all are to + * be detected as "not in bound". + * + * This test will only check if all found accesses behave accordingly and if the + * number of array accesses is as expected. + * + * So there is no explicit check for specific lines. + * + * @author Stephan Gocht + * + */ public class ArrayboundsAnalysisTest { private static ClassLoader CLASS_LOADER = ArrayboundsAnalysisTest.class.getClassLoader();