Files
codeql/python/ql/src/Exceptions/RaisingTuple.ql
2018-11-19 15:10:42 +00:00

18 lines
624 B
Plaintext

/**
* @name Raising a tuple
* @description Raising a tuple will result in all but the first element being discarded
* @kind problem
* @tags maintainability
* @problem.severity warning
* @sub-severity high
* @precision very-high
* @id py/raises-tuple
*/
import python
from Raise r, AstNode origin
where r.getException().refersTo(_, theTupleType(), origin) and
major_version() = 2 /* Raising a tuple is a type error in Python 3, so is handled by the IllegalRaise query. */
select r, "Raising $@ will result in the first element (recursively) being raised and all other elements being discarded.", origin, "a tuple"