Taus 3a979ac2f8 Python: Add some CFG-validation queries ...

These use the annotated, self-verifying test files to check various
consistency requirements.

Some of these may be expressing the same thing in different ways, but
it's fairly cheap to keep them around, so I have not attempted to
produce a minimal set of queries for this.

2026-05-12 12:54:25 +00:00

..

ApiGraphs

Remove double space after $ in inline expectations tests

2026-03-04 14:12:42 +00:00

attributes

Python: Fix library tests

2025-11-26 12:30:31 +00:00

classes

Python: Fix library tests

2025-11-26 12:30:31 +00:00

comments

Python: Fix missing newline in .expected

2023-11-15 10:10:23 +01:00

comparisons

Python: Autoformat everything using qlformat.

2020-07-07 15:43:52 +02:00

comprehensions

Python: Update test output

2026-04-14 13:27:31 +02:00

ControlFlow

Python: Add some CFG-validation queries

2026-05-12 12:54:25 +00:00

dataflow

Python: Move Python 3.15 data-flow tests to a separate file

2026-04-17 13:16:46 +00:00

DefUse

Python: Autoformat all .ql files.

2020-03-30 11:59:10 +02:00

dependencies

Python: Fix library tests

2025-11-26 12:30:31 +00:00

descriptors

Python: Fix library tests

2025-11-26 12:30:31 +00:00

encoding

Python: Autoformat everything using qlformat.

2020-07-07 15:43:52 +02:00

essa/ssa-compute

Python: Update all test util paths to point to the new location.

2024-12-12 13:54:30 +01:00

exceptions

Python: Remove points-to dependency from parts of SSA

2025-11-26 12:30:31 +00:00

exprs

Python: Change all remaining occurrences of StrConst

2024-04-22 12:00:09 +00:00

filters

Python: Make test/Filter query more robust

2022-11-22 14:46:29 +01:00

formatting

Make *.expected non-executable

2022-08-24 16:51:50 +01:00

frameworks

Remove double space after $ in inline expectations tests

2026-03-04 14:12:42 +00:00

imports

Python: Fix missing newline in .expected

2023-11-15 10:10:23 +01:00

InlineExpectationsTest/missing-relevant-tag

Python: Update all test util paths to point to the new location.

2024-12-12 13:54:30 +01:00

jump_to_defn

Make *.expected non-executable

2022-08-24 16:51:50 +01:00

locations

Python: Change all remaining occurrences of StrConst

2024-04-22 12:00:09 +00:00

modules

Python: Fix library tests

2025-11-26 12:30:31 +00:00

objects

Python: Fix library tests

2025-11-26 12:30:31 +00:00

overrides

Python: Fix library tests

2025-11-26 12:30:31 +00:00

parameters

Python: Autoformat everything using qlformat.

2020-07-07 15:43:52 +02:00

parentheses

Python: Update all .expected files

2024-04-22 12:00:09 +00:00

PEP695

Python: Add test

2023-11-06 13:50:55 +00:00

PointsTo

Python: Get rid of points-to from Definitions.qll

2025-11-26 12:30:31 +00:00

regex

py: Inline expectation should have space before $

2026-03-04 13:11:38 +00:00

regexparser

python: Inline expectation should have space after $

2026-03-04 12:45:05 +00:00

scopes

Python: Autoformat all .ql files.

2020-03-30 11:59:10 +02:00

state_tracking

Python: Fix library tests

2025-11-26 12:30:31 +00:00

stmts

Python: Fix missing newline in .expected

2023-11-15 10:10:23 +01:00

taint

Python: Fix library tests

2025-11-26 12:30:31 +00:00

threat-models/default

Python: Remove 'response' from default threat-models

2024-08-19 10:54:48 +02:00

thrift

Python: replace src_archive exclusion patterns with *.testproj ones

2024-09-16 14:30:55 +02:00

types

Python: Remove points-to dependency from parts of SSA

2025-11-26 12:30:31 +00:00

variables

Python: Model parameter with default value as DefinitionNode

2023-07-07 11:54:50 +02:00

Yaml

Python: Yaml printAst and tests

2023-04-26 13:41:57 +02:00

options

Python: Remove ignored automatic_locations in qltest options files

2020-02-06 14:28:10 +01:00