hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-19 18:33:16 +01:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #2977 from BekaValentine/python-objectapi-to-valueapi-catchingbaseexception

Browse Source 
Python: ObjectAPI to ValueAPI: CatchingBaseException
This commit is contained in:
Taus
2020-03-09 22:54:50 +01:00
committed by GitHub
parent 9fae2faaeb b33b222db8
commit b51e2a9e80
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
python/ql/src/Exceptions/CatchingBaseException.ql
View File

@@ -19,7 +19,7 @@ predicate doesnt_reraise(ExceptStmt ex) {
}
predicate catches_base_exception(ExceptStmt ex) {
ex.getType().refersTo(theBaseExceptionType())
ex.getType().pointsTo(ClassValue::baseException())
or
not exists(ex.getType())
}