Sandbox::https://github.com/github/codeql/blob/main/python/ql/src/Exceptions/IllegalRaise.ql

Repository navigation

/**

* @name Illegal raise

* @description Raising a non-exception object or type will result in a TypeError being raised instead.

* @kind problem

* @tags quality

* reliability

* error-handling

* @problem.severity error

* @sub-severity high

* @precision very-high

* @id py/illegal-raise

import python

import Raising

import Exceptions.NotImplemented

private import LegacyPointsTo

from Raise r, ClassValue t

where

type_or_typeof(r, t, _) and

not t.isLegalExceptionType() and

not t.failedInference(_) and

not use_of_not_implemented_in_raise(r, _)

select r,

"Illegal class '" + t.getName() + "' raised; will result in a TypeError being raised instead."