FazBrowse GitHub Viewer
|
Trending
|
URL:
|
Home
Tools:
[Download Repo ZIP]
[View Raw Code]
[Original HTTPS Page]
codeql/python/ql/src/Exceptions/NotImplemented.qll at codeql-cli-2.11.3 · github/codeql · GitHub
github
/
codeql
Public
Notifications
You must be signed in to change notification settings
Fork
2.1k
Star
10.1k
Code
Issues
1k
Pull requests
468
Discussions
Actions
Projects
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Discussions
Actions
Projects
Security and quality
Insights
Expand file tree
Breadcrumbs
codeql
/
python
/
ql
/
src
/
Exceptions
/
NotImplemented.qll
Copy path
More file actions
More file actions
Latest commit
History
History
History
10 lines (9 loc) · 341 Bytes
Breadcrumbs
codeql
/
python
/
ql
/
src
/
Exceptions
/
NotImplemented.qll
Copy path
File metadata and controls
10 lines (9 loc) · 341 Bytes
Raw
Copy raw file
Download raw file
Open symbols panel
Edit and raw actions
1
2
3
4
5
6
7
8
9
10
import
python
/** Holds if `notimpl` refers to `NotImplemented` or `NotImplemented()` in the `raise` statement */
predicate
use_of_not_implemented_in_raise
(
Raise
raise
,
Expr
notimpl
)
{
notimpl
.
pointsTo
(
Value
::
named
(
"NotImplemented"
)
)
and
(
notimpl
=
raise
.
getException
(
)
or
notimpl
=
raise
.
getException
(
)
.
(
Call
)
.
getFunc
(
)
)
}
Back
|
FazBrowse Home
|
New Git URL