From 0fc044dfd574729cb447b4fadc5cece1cc1b5653 Mon Sep 17 00:00:00 2001 From: jorgectf Date: Fri, 7 May 2021 23:03:23 +0200 Subject: [PATCH] Checkout Stdlib.qll --- .../experimental/semmle/python/frameworks/Stdlib.qll | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 python/ql/src/experimental/semmle/python/frameworks/Stdlib.qll diff --git a/python/ql/src/experimental/semmle/python/frameworks/Stdlib.qll b/python/ql/src/experimental/semmle/python/frameworks/Stdlib.qll new file mode 100644 index 00000000000..420caf0d73b --- /dev/null +++ b/python/ql/src/experimental/semmle/python/frameworks/Stdlib.qll @@ -0,0 +1,11 @@ +/** + * Provides classes modeling security-relevant aspects of the standard libraries. + * Note: some modeling is done internally in the dataflow/taint tracking implementation. + */ + +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 experimental.semmle.python.Concepts +private import semmle.python.ApiGraphs