mirror of
https://github.com/github/codeql.git
synced 2026-01-21 02:14:45 +01:00
76 lines
2.2 KiB
Plaintext
76 lines
2.2 KiB
Plaintext
/**
|
|
* @name Incomplete ordering
|
|
* @description Class defines one or more ordering method but does not define all 4 ordering comparison methods
|
|
* @kind problem
|
|
* @tags reliability
|
|
* correctness
|
|
* @problem.severity warning
|
|
* @sub-severity low
|
|
* @precision very-high
|
|
* @id py/incomplete-ordering
|
|
*/
|
|
|
|
import python
|
|
|
|
predicate total_ordering(Class cls) {
|
|
exists(Attribute a | a = cls.getADecorator() |
|
|
a.getName() = "total_ordering")
|
|
or
|
|
exists(Name n | n = cls.getADecorator() |
|
|
n.getId() = "total_ordering")
|
|
}
|
|
|
|
string ordering_name(int n) {
|
|
result = "__lt__" and n = 1 or
|
|
result = "__le__" and n = 2 or
|
|
result = "__gt__" and n = 3 or
|
|
result = "__ge__" and n = 4
|
|
}
|
|
|
|
predicate overrides_ordering_method(ClassValue c, string name) {
|
|
name = ordering_name(_) and
|
|
(
|
|
c.declaresAttribute(name)
|
|
or
|
|
exists(ClassValue sup |
|
|
sup = c.getASuperType() and not sup = Value::named("object") |
|
|
sup.declaresAttribute(name)
|
|
)
|
|
)
|
|
}
|
|
|
|
string unimplemented_ordering(ClassValue c, int n) {
|
|
not c = Value::named("object") and
|
|
not overrides_ordering_method(c, result) and
|
|
result = ordering_name(n)
|
|
}
|
|
|
|
string unimplemented_ordering_methods(ClassValue c, int n) {
|
|
n = 0 and result = "" and exists(unimplemented_ordering(c, _))
|
|
or
|
|
exists(string prefix, int nm1 |
|
|
n = nm1 + 1 and prefix = unimplemented_ordering_methods(c, nm1) |
|
|
prefix = "" and result = unimplemented_ordering(c, n)
|
|
or
|
|
result = prefix and not exists(unimplemented_ordering(c, n)) and n < 5
|
|
or
|
|
prefix != "" and result = prefix + " or " + unimplemented_ordering(c, n)
|
|
)
|
|
}
|
|
|
|
Value ordering_method(ClassValue c, string name) {
|
|
/* If class doesn't declare a method then don't blame this class (the superclass will be blamed). */
|
|
name = ordering_name(_) and result = c.declaredAttribute(name)
|
|
}
|
|
|
|
from ClassValue c, Value ordering, string name
|
|
where not c.failedInference(_) and
|
|
not total_ordering(c.getScope())
|
|
and ordering = ordering_method(c, name) and
|
|
exists(unimplemented_ordering(c, _))
|
|
|
|
select c, "Class " + c.getName() + " implements $@, but does not implement " + unimplemented_ordering_methods(c, 4) + ".",
|
|
ordering, name
|
|
|
|
|