iframe-proxy | Sunbelt Computer Software

36 lines (34 loc) · 1.02 KB

 * @name Dead field
 * @description Fields that are never read are likely unnecessary.
 * @kind problem
 * @problem.severity recommendation
 * @precision medium
 * @id java/dead-field
 * @tags quality
 *       maintainability
 *       useless-code
 *       external/cwe/cwe-561
import java
import semmle.code.java.deadcode.DeadCode
from DeadField f, Element origin, string reason
  not f.getFile().isKotlinSourceFile() and
  not origin.getFile().isKotlinSourceFile() and
  not f.isInDeadScope() and
  if f.getAnAccess() instanceof FieldRead
    if exists(getADeadRoot(f.getAnAccess().(FieldRead).getEnclosingCallable()))
      origin = getADeadRoot(f.getAnAccess().(FieldRead).getEnclosingCallable()) and
      reason = " is only read from dead code originating at $@."
    ) else (
      origin = f and
      reason = " is only read from a dead-code cycle."
    origin = f and
    reason = " is entirely unread."
select f, "The field " + f.getName() + reason, origin, origin.getName()

Sunbelt Computer Software

PL/B Language Development and Support

Navigation Menu

Uh oh!

Sunbelt Computer Software

PL/B Language Development and Support

Uh oh!

FilesExpand file tree

DeadField.ql

Latest commit

History

DeadField.ql

File metadata and controls