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

Merge pull request #5493 from yoff/python-add-experimental-structure

Browse Source 
Python: Add stub structure to `experimental` for external contributions
This commit is contained in:
Rasmus Wriedt Larsen
2021-03-24 14:11:13 +01:00
committed by GitHub
parent a1ccbcdaf1 61cff8faed
commit 1473778bb8
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.
*/
private 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