Files
codeql/python/ql/examples/snippets/raise_exception.ql
2020-03-30 11:59:10 +02:00

17 lines
409 B
Plaintext

/**
* @id py/examples/raise-exception
* @name Raise exception of a class
* @description Finds places where we raise AnException or one of its subclasses
* @tags throw
* raise
* exception
*/
import python
from Raise raise, ClassValue ex
where
ex.getName() = "AnException" and
raise.getException().pointsTo(ex.getASuperType())
select raise, "Don't raise instances of 'AnException'"