Checkout Stdlib.qll

This commit is contained in:
jorgectf
2021-05-07 23:03:23 +02:00
parent e7bdc73420
commit 0fc044dfd5

View File

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