Python: model for sys.exc_info

made _easy_ by API graphs :D
This commit is contained in:
Rasmus Lerchedahl Petersen
2021-02-05 14:53:37 +01:00
parent 0ea2f457a1
commit e3002aa1bf

View File

@@ -7,6 +7,7 @@ private import python
private import semmle.python.dataflow.new.DataFlow
private import semmle.python.dataflow.new.TaintTracking
private import semmle.python.dataflow.new.RemoteFlowSources
private import semmle.python.ApiGraphs
private import semmle.python.Concepts
private import PEP249
@@ -1788,6 +1789,11 @@ private class Exception extends ExceptionSource::Range {
}
}
/** A call to `sys.exc_info` */
private class SysExcInfoCall extends ErrorInfoSource::Range, DataFlow::CfgNode {
SysExcInfoCall() { this = API::moduleImport("sys").getMember("exc_info").getACall() }
}
// ---------------------------------------------------------------------------
// OTHER
// ---------------------------------------------------------------------------