mirror of
https://github.com/github/codeql.git
synced 2025-12-28 14:46:33 +01:00
32 lines
2.0 KiB
ReStructuredText
32 lines
2.0 KiB
ReStructuredText
.. _codeql-for-python:
|
|
|
|
CodeQL for Python
|
|
=================
|
|
|
|
Experiment and learn how to write effective and efficient queries for CodeQL databases generated from Python codebases.
|
|
|
|
.. toctree::
|
|
:hidden:
|
|
|
|
basic-query-for-python-code
|
|
codeql-library-for-python
|
|
functions-in-python
|
|
expressions-and-statements-in-python
|
|
pointer-analysis-and-type-inference-in-python
|
|
analyzing-control-flow-in-python
|
|
analyzing-data-flow-and-tracking-tainted-data-in-python
|
|
|
|
- :doc:`Basic query for Python code <basic-query-for-python-code>`: Learn to write and run a simple CodeQL query using LGTM.
|
|
|
|
- :doc:`CodeQL library for Python <codeql-library-for-python>`: When you need to analyze a Python program, you can make use of the large collection of classes in the CodeQL library for Python.
|
|
|
|
- :doc:`Functions in Python <functions-in-python>`: You can use syntactic classes from the standard CodeQL library to find Python functions and identify calls to them.
|
|
|
|
- :doc:`Expressions and statements in Python <expressions-and-statements-in-python>`: You can use syntactic classes from the CodeQL library to explore how Python expressions and statements are used in a codebase.
|
|
|
|
- :doc:`Analyzing control flow in Python <analyzing-control-flow-in-python>`: You can write CodeQL queries to explore the control-flow graph of a Python program, for example, to discover unreachable code or mutually exclusive blocks of code.
|
|
|
|
- :doc:`Pointer analysis and type inference in Python <pointer-analysis-and-type-inference-in-python>`: At runtime, each Python expression has a value with an associated type. You can learn how an expression behaves at runtime by using type-inference classes from the standard CodeQL library.
|
|
|
|
- :doc:`Analyzing data flow and tracking tainted data in Python <analyzing-data-flow-and-tracking-tainted-data-in-python>`: You can use CodeQL to track the flow of data through a Python program. Tracking user-controlled, or tainted, data is a key technique for security researchers.
|