hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-29 10:45:15 +02:00
Code Issues Packages Projects Releases Wiki Activity

Python: Add files to experimental

Browse Source
This commit is contained in:
Rasmus Lerchedahl Petersen
2021-03-22 21:42:06 +01:00
parent 34e25624e0
commit 198a4ca79b
3 changed files with 31 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
python/ql/src/experimental/semmle/python/Concepts.qll Normal file
View File

@@ -0,0 +1,15 @@
/**
* This version resides in the experimental area and provides a space for
* external contributors to place new concepts, keeping to our preferred
* structure while remaining in the experimental area.
*
* Provides abstract classes representing generic concepts such as file system
* access or system command execution, for which individual framework libraries
* provide concrete subclasses.
*/
import python
private import semmle.python.dataflow.new.DataFlow
private import semmle.python.dataflow.new.RemoteFlowSources
private import semmle.python.dataflow.new.TaintTracking
private import experimental.semmle.python.Frameworks

5
python/ql/src/experimental/semmle/python/Frameworks.qll Normal file
View File

@@ -0,0 +1,5 @@
/**
* Helper file that imports all framework modeling.
*/
private import experimental.semmle.python.frameworks.Stdlib

11
python/ql/src/experimental/semmle/python/frameworks/Stdlib.qll Normal file
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