diff --git a/.github/workflows/continuous-integration.yml b/.github/workflows/continuous-integration.yml index 7f09ec0ef6..c856c59803 100644 --- a/.github/workflows/continuous-integration.yml +++ b/.github/workflows/continuous-integration.yml @@ -27,7 +27,7 @@ jobs: - os: ubuntu-latest java: 21 - os: ubuntu-latest - java: 22 + java: 23 fail-fast: false runs-on: ${{ matrix.os }} steps: diff --git a/core/src/main/java/com/ibm/wala/analysis/reflection/GetMethodContext.java b/core/src/main/java/com/ibm/wala/analysis/reflection/GetMethodContext.java index e99ff55ecc..be1f4e7350 100644 --- a/core/src/main/java/com/ibm/wala/analysis/reflection/GetMethodContext.java +++ b/core/src/main/java/com/ibm/wala/analysis/reflection/GetMethodContext.java @@ -37,10 +37,12 @@ * GetMethodContextSelector} should be placed in be placed in front of {@link * JavaLangClassContextInterpreter} and {@link JavaLangClassContextSelector} . * + *

TODO Do the same for {@link Class#getField(String)} and {@link + * Class#getDeclaredField(String)}. + * * @author Michael Heilmann * @see com.ibm.wala.analysis.reflection.GetMethodContextInterpreter - * @see com.ibm.wala.analysis.reflection.GetMethodContextSelector TODO Do the same for {@link - * Class#getField(String)} and {@link Class#getDeclaredField(String)}. + * @see com.ibm.wala.analysis.reflection.GetMethodContextSelector */ public class GetMethodContext implements Context { /** The type abstraction. */ diff --git a/core/src/main/java/com/ibm/wala/dataflow/IFDS/TabulationSolver.java b/core/src/main/java/com/ibm/wala/dataflow/IFDS/TabulationSolver.java index 7f239eeba8..99e4622dbb 100644 --- a/core/src/main/java/com/ibm/wala/dataflow/IFDS/TabulationSolver.java +++ b/core/src/main/java/com/ibm/wala/dataflow/IFDS/TabulationSolver.java @@ -53,8 +53,6 @@ *

  • it stores summary edges at each callee instead of at each call site. * * - *

    - * * @param type of node in the supergraph * @param

    type of a procedure (like a box in an RSM) * @param type of factoids propagated when solving this problem diff --git a/core/src/main/java/com/ibm/wala/ipa/callgraph/impl/ExplicitCallGraph.java b/core/src/main/java/com/ibm/wala/ipa/callgraph/impl/ExplicitCallGraph.java index 7fef1192db..bf0138ba9a 100644 --- a/core/src/main/java/com/ibm/wala/ipa/callgraph/impl/ExplicitCallGraph.java +++ b/core/src/main/java/com/ibm/wala/ipa/callgraph/impl/ExplicitCallGraph.java @@ -226,10 +226,6 @@ protected boolean addTarget(int pc, CGNode tNode) { } } - /** - * @see - * com.ibm.wala.ipa.callgraph.impl.BasicCallGraph.NodeImpl#removeNodeAndEdges(com.ibm.wala.ipa.callgraph.CGNode) - */ public void removeTarget(CGNode target) { allTargets.remove(getCallGraph().getNumber(target)); for (IntIterator it = targets.safeIterateIndices(); it.hasNext(); ) { diff --git a/shrike/src/main/java/com/ibm/wala/shrike/shrikeCT/ClassReader.java b/shrike/src/main/java/com/ibm/wala/shrike/shrikeCT/ClassReader.java index 0444341382..2f588e3b1a 100644 --- a/shrike/src/main/java/com/ibm/wala/shrike/shrikeCT/ClassReader.java +++ b/shrike/src/main/java/com/ibm/wala/shrike/shrikeCT/ClassReader.java @@ -67,8 +67,8 @@ private void parse() throws InvalidClassFileException { if (magic != MAGIC) { throw new InvalidClassFileException(offset, "bad magic number: " + magic); } - // Support class files up through JDK 22 (version 66) - if (majorVersion < 45 || majorVersion > 66) { + // Support class files up through JDK 23 (version 67) + if (majorVersion < 45 || majorVersion > 67) { throw new InvalidClassFileException( offset, "unknown class file version: " + majorVersion + '.' + minorVersion); }