You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: docs/codeql/codeql-language-guides/codeql-library-for-python.rst
+2-18Lines changed: 2 additions & 18 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -8,7 +8,7 @@ When you need to analyze a Python program, you can make use of the large collect
8
8
About the CodeQL library for Python
9
9
-----------------------------------
10
10
11
-
The CodeQL library for each programming language uses classes with abstractions and predicates to present data in an object-oriented form.
11
+
The CodeQL library for each programming language uses classes with abstractions and predicates to present data in an object-oriented form.
12
12
13
13
Each CodeQL library is implemented as a set of QL modules, that is, files with the extension ``.qll``. The module ``python.qll`` imports all the core Python library modules, so you can include the complete library by beginning your query with:
14
14
@@ -21,7 +21,6 @@ The CodeQL library for Python incorporates a large number of classes. Each class
21
21
- **Syntactic** - classes that represent entities in the Python source code.
22
22
- **Control flow** - classes that represent entities from the control flow graphs.
23
23
- **Type inference** - classes that represent the inferred values and types of entities in the Python source code.
24
-
- **Taint tracking** - classes that represent the source, sinks and kinds of taint used to implement taint-tracking queries.
25
24
26
25
Syntactic classes
27
26
-----------------
@@ -294,7 +293,7 @@ The classes in the control-flow part of the library are:
294
293
Type-inference classes
295
294
----------------------
296
295
297
-
The CodeQL library for Python also supplies some classes for accessing the inferred types of values. The classes ``Value`` and ``ClassValue`` allow you to query the possible classes that an expression may have at runtime.
296
+
The CodeQL library for Python also supplies some classes for accessing the inferred types of values. The classes ``Value`` and ``ClassValue`` allow you to query the possible classes that an expression may have at runtime.
298
297
299
298
Example
300
299
^^^^^^^
@@ -324,24 +323,9 @@ Summary
324
323
325
324
For more information about these classes, see ":doc:`Pointer analysis and type inference in Python <pointer-analysis-and-type-inference-in-python>`."
326
325
327
-
Taint-tracking classes
328
-
----------------------
329
-
330
-
The CodeQL library for Python also supplies classes to specify taint-tracking analyses. The ``Configuration`` class can be overridden to specify a taint-tracking analysis, by specifying source, sinks, sanitizers and additional flow steps. For those analyses that require additional types of taint to be tracked the ``TaintKind`` class can be overridden.
For more information about these classes, see ":doc:`Analyzing data flow and tracking tainted data in Python <analyzing-data-flow-and-tracking-tainted-data-in-python>`."
0 commit comments