mirror of
https://github.com/github/codeql.git
synced 2026-02-16 06:53:41 +01:00
27 lines
797 B
Plaintext
27 lines
797 B
Plaintext
/**
|
|
* @name Missing call to `__del__` during object destruction
|
|
* @description An omitted call to a super-class `__del__` method may lead to class instances not being cleaned up properly.
|
|
* @kind problem
|
|
* @tags quality
|
|
* reliability
|
|
* correctness
|
|
* performance
|
|
* @problem.severity error
|
|
* @sub-severity low
|
|
* @precision high
|
|
* @id py/missing-call-to-delete
|
|
*/
|
|
|
|
import python
|
|
import MethodCallOrder
|
|
|
|
from ClassObject self, FunctionObject missing
|
|
where
|
|
missing_call_to_superclass_method(self, _, missing, "__del__") and
|
|
not missing.neverReturns() and
|
|
not self.failedInference() and
|
|
not missing.isBuiltin()
|
|
select self,
|
|
"Class " + self.getName() + " may not be cleaned up properly as $@ is not called during deletion.",
|
|
missing, missing.descriptiveString()
|