iframe-proxy | Sunbelt Computer Software

133 lines (116 loc) · 3.73 KB
 * @name Access to unsupported JDK-internal API
 * @description Use of unsupported JDK-internal APIs may cause compatibility issues
 *              when upgrading to newer versions of Java, in particular Java 9.
 * @kind problem
 * @problem.severity recommendation
 * @precision high
 * @id java/jdk-internal-api-access
 * @tags maintainability
import java
import JdkInternals
import JdkInternalsReplacement
predicate importedType(Import i, RefType t) {
  i.(ImportType).getImportedType() = t or
  i.(ImportStaticTypeMember).getTypeHoldingImport() = t or
  i.(ImportStaticOnDemand).getTypeHoldingImport() = t or
  i.(ImportOnDemandFromType).getTypeHoldingImport() = t
predicate importedPackage(Import i, Package p) {
  i.(ImportOnDemandFromPackage).getPackageHoldingImport() = p
predicate typeReplacement(RefType t, string repl) {
  exists(string old | jdkInternalReplacement(old, repl) | t.getQualifiedName() = old)
predicate packageReplacementForType(RefType t, string repl) {
  exists(string old, string pkgName |
    jdkInternalReplacement(old, repl) and t.getPackage().getName() = pkgName
    pkgName = old or
    pkgName.prefix(old.length() + 1) = old + "."
predicate packageReplacement(Package p, string repl) {
  exists(string old | jdkInternalReplacement(old, repl) |
    p.getName() = old or
    p.getName().prefix(old.length() + 1) = old + "."
predicate replacement(RefType t, string repl) {
  typeReplacement(t, repl)
  not typeReplacement(t, _) and packageReplacementForType(t, repl)
abstract class JdkInternalAccess extends Element {
  abstract string getAccessedApi();
  abstract string getReplacement();
class JdkInternalTypeAccess extends JdkInternalAccess, TypeAccess {
  JdkInternalTypeAccess() { jdkInternalApi(this.getType().(RefType).getPackage().getName()) }
  override string getAccessedApi() { result = getType().(RefType).getQualifiedName() }
  override string getReplacement() {
    exists(RefType t | this.getType() = t |
        replacement(t, result)
        not replacement(t, _) and result = "unknown"
class JdkInternalImport extends JdkInternalAccess, Import {
  JdkInternalImport() {
    exists(RefType t | importedType(this, t) | jdkInternalApi(t.getPackage().getName()))
    exists(Package p | importedPackage(this, p) | jdkInternalApi(p.getName()))
  override string getAccessedApi() {
    exists(RefType t | result = t.getQualifiedName() | importedType(this, t))
    exists(Package p | result = p.getName() | importedPackage(this, p))
  override string getReplacement() {
    exists(RefType t |
      importedType(this, t) and
        replacement(t, result)
        not replacement(t, _) and result = "unknown"
    exists(Package p |
      importedPackage(this, p) and
        packageReplacement(p, result)
        not packageReplacement(p, _) and result = "unknown"
predicate jdkPackage(Package p) {
  exists(string pkgName |
    p.getName() = pkgName or
    p.getName().prefix(pkgName.length() + 1) = pkgName + "."
    pkgName = "com.sun" or
    pkgName = "sun" or
    pkgName = "java" or
    pkgName = "javax" or
    pkgName = "com.oracle.net" or
    pkgName = "genstubs" or
    pkgName = "jdk" or
    pkgName = "build.tools" or
    pkgName = "org.omg.CORBA" or
    pkgName = "org.ietf.jgss"
from JdkInternalAccess ta, string repl, string msg
  repl = ta.getReplacement() and
  (if repl = "unknown" then msg = "" else msg = " (" + repl + ")") and
  not jdkInternalApi(ta.getCompilationUnit().getPackage().getName()) and
  not jdkPackage(ta.getCompilationUnit().getPackage())
select ta, "Access to unsupported JDK-internal API '" + ta.getAccessedApi() + "'." + msg
Sunbelt Computer Software

PL/B Language Development and Support

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Sunbelt Computer Software

PL/B Language Development and Support

Uh oh!

FilesExpand file tree

JdkInternalAccess.ql

Latest commit

History

JdkInternalAccess.ql

File metadata and controls
