FilesExpand file tree

 main

/

DeadMethod.ql

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

38 lines (36 loc) · 1.36 KB

 main

/

DeadMethod.ql

Copy path

Top

File metadata and controls

• Code
• Blame

38 lines (36 loc) · 1.36 KB

Raw

Copy raw file

Download raw file

Open symbols panel

Edit and raw actions

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

33

34

35

36

37

38

/**

* @name Dead method

* @description Dead methods add unnecessary complexity.

* @kind problem

* @problem.severity recommendation

* @precision medium

* @id java/dead-function

* @tags maintainability

* useless-code

* external/cwe/cwe-561

*/

import java

import semmle.code.java.deadcode.DeadCode

from DeadMethod c, Callable origin, string reason

where

not c.isInDeadScope() and

if exists(DeadRoot deadRoot | deadRoot = getADeadRoot(c) | deadRoot.getSourceDeclaration() != c)

then (

// We've found a dead root that is not this callable (or an instantiation thereof).

origin = getADeadRoot(c).getSourceDeclaration() and

reason = " is only used from dead code originating at $@."

) else (

origin = c and

if

exists(Callable cause | cause = possibleLivenessCause(c) and not cause instanceof DeadRoot |

cause.getSourceDeclaration() = c

implies

possibleLivenessCause(cause).getSourceDeclaration() != c

)

then

// There are no dead roots that are not this callable (or an instantiation thereof), and at least one

// liveness cause (ignoring trivial cycles between a parameterized callable and its source declaration).

reason = " is only used from, or in, a dead-code cycle."

else reason = " is entirely unused."

)

select c, "The method " + c.getName() + reason, origin, origin.getName()