mirror of
https://github.com/github/codeql.git
synced 2025-12-18 01:33:15 +01:00
21 lines
676 B
Plaintext
21 lines
676 B
Plaintext
/**
|
|
* @name Duplicate
|
|
* @description Insert description here...
|
|
* @kind problem
|
|
* @problem.severity warning
|
|
*/
|
|
|
|
import python
|
|
|
|
import external.CodeDuplication
|
|
|
|
predicate lexically_sorted(DuplicateBlock dup1, DuplicateBlock dup2) {
|
|
dup1.sourceFile().getName() < dup2.sourceFile().getName()
|
|
or
|
|
dup1.sourceFile().getName() = dup2.sourceFile().getName() and dup1.sourceStartLine() < dup2.sourceStartLine()
|
|
}
|
|
|
|
from DuplicateBlock dup1, DuplicateBlock dup2
|
|
where dup1.getEquivalenceClass() = dup2.getEquivalenceClass()
|
|
and lexically_sorted(dup1, dup2)
|
|
select dup1.toString(), dup2.toString(), dup1.sourceFile().getShortName(), dup1.sourceStartLine(), dup1.sourceEndLine() |