FilesExpand file tree

 master

/

NotImplemented.qll

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

10 lines (9 loc) · 355 Bytes

 master

/

NotImplemented.qll

Copy path

Top

File metadata and controls

• Code
• Blame

10 lines (9 loc) · 355 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()

)

}