Python: model for sys.exc_info

made _easy_ by API graphs :D

Author: yoff

python/ql/src/semmle/python/frameworks/Stdlib.qll

@@ -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
 // ---------------------------------------------------------------------------