Sandbox::https://github.com/github/codeql/blob/codeql-cli/v2.27.2/python/ql/src/Exceptions/Raising.qll

Repository navigation

13 lines (12 loc) · 529 Bytes

import python

private import LegacyPointsTo

/** Whether the raise statement 'r' raises 'type' from origin 'orig' */

predicate type_or_typeof(Raise r, ClassValue type, AstNode orig) {

exists(ExprWithPointsTo exception | exception = r.getRaised() |

exception.pointsTo(type, orig)

not exists(ClassValue exc_type | exception.pointsTo(exc_type)) and

not type = ClassValue::type() and // First value is an unknown exception type

exists(Value val | exception.pointsTo(val, orig) | val.getClass() = type)

)

}