Nora Dimitrijević
20d4e429ca
Add consistency query (exactly one path for every entity)
2025-10-06 11:47:56 +02:00
yoff
1048cf7c5e
Merge pull request #15711 from RasmusWL/tt-content
...
Python: Add type tracking for content
2024-04-09 10:37:43 +02:00
Rasmus Wriedt Larsen
a22b9947c0
Python: Revert IterableSequenceNode as LocalSourceNode
...
When looking things over a bit more, we could actually exclude the steps
that would never be used instead. A much more involved solution, but
more performance oriented and clear in terms of what is supported (at
least until we start supporting type-tracking with more than depth 1
access-path, if that ever happens)
2024-04-02 16:51:00 +02:00
Tom Hvitved
fc55567d90
Merge pull request #15853 from hvitved/dataflow/get-location
...
Data flow: Replace `hasLocationInfo` with `getLocation`
2024-03-18 20:21:46 +01:00
Rasmus Wriedt Larsen
4d78762ba8
Python: Ignore consistency failure
2024-03-14 10:43:28 +01:00
Tom Hvitved
6c0ed28e6b
Python: Implement new data flow interface
2024-03-13 14:41:57 +01:00
Rasmus Wriedt Larsen
800351c7b7
Merge branch 'main' into tt-consistency
2024-03-11 14:12:09 +01:00
Rasmus Wriedt Larsen
adf5a4b1e4
Python: Fix internal consistency failures
2024-03-08 14:13:47 +01:00
Rasmus Wriedt Larsen
87b6592dbc
Python: Accept inconsistency for missing use-use flow
...
At least until we have a proper fix
2024-03-08 13:34:26 +01:00
Rasmus Wriedt Larsen
85a45b0155
Python: Fix comment
...
Co-authored-by: yoff <lerchedahl@gmail.com >
2024-03-04 11:40:17 +01:00
Rasmus Wriedt Larsen
7c60562132
Python: Ignore IterableSequenceNode inconsistencies
2024-03-01 14:22:18 +01:00
Rasmus Wriedt Larsen
bcd5c08ebd
Python: Ignore match-related inconsistencies
2024-03-01 14:15:32 +01:00
Rasmus Wriedt Larsen
1658a1cb80
Python: Ignore SynthDictSplatArgumentNode failures
2024-03-01 14:00:06 +01:00
Rasmus Wriedt Larsen
ff5f794750
Python: Exclude synth preupdate nodes from tt-consistency
...
... and that should be it 👍 (so that's why I'm allowing the tests to
run on all data-flow nodes again)
2024-03-01 10:27:29 +01:00
Rasmus Wriedt Larsen
bbe8c6dcaa
Python: Remove synth postupdate nodes from tt-consistency
2024-03-01 10:23:50 +01:00
Rasmus Wriedt Larsen
9f01ea68f7
Python: Add type-tracking consistency query
...
For now I'm only ignoring stdlib nodes, so it's easy for reviewer to see
why we need to have more excludes :)
2024-03-01 10:19:49 +01:00
Rasmus Wriedt Larsen
d182eae868
Python: Add consistency check for PhaseDependentFlow
...
This would have found the problem in
https://github.com/github/codeql/pull/15755 .
As highlighted in the comment in the code, it's not a perfect solution
since we don't have an automatic way to ensure we don't introduce a new
PhaseDependentFlow use with a new step relation and forget to add it to
this consistency check... but I think this consistency check still adds
value!
2024-03-01 10:01:08 +01:00
Rasmus Lerchedahl Petersen
da4aef80e9
Revert "Python: make it a real consistency check"
...
This reverts commit 45411f4a93
2023-12-20 16:15:17 +01:00
Rasmus Lerchedahl Petersen
45411f4a93
Python: make it a real consistency check
2023-12-20 14:53:37 +01:00
Rasmus Lerchedahl Petersen
d6544cc550
Python: remove consistency exclusion
2023-12-18 15:24:49 +01:00
Rasmus Lerchedahl Petersen
5de1725648
Python: update class name
2023-12-15 23:50:29 +01:00
Rasmus Lerchedahl Petersen
a311582285
Python: Bring back (now simplified) exclusion
2023-12-15 13:28:16 +01:00
Rasmus Lerchedahl Petersen
5b6ea15028
Python: remove unneeded consistency exclusion
2023-12-15 11:09:37 +01:00
Rasmus Lerchedahl Petersen
262d43abcf
Python: Make compile and add comment
2023-12-15 10:28:51 +01:00
Rasmus Lerchedahl Petersen
38e03216f6
Python: allow CaptureArgumentNodes as multiple arguemnts
...
These are the labmda self references. This is similar to
how `BlockParameterArgumentNode` is excluded for Ruby.
It is important that we restrict `call` in this logic.
Otherwise, we get a cartesian product and the consistency
check runs for a very long time...
2023-12-14 10:32:29 +01:00
Rasmus Lerchedahl Petersen
f32d5e422d
Python: typo
2023-12-14 10:28:26 +01:00
Rasmus Lerchedahl Petersen
5471c92e9f
Python: exclusion for summary nodes
...
as in Ruby
2023-12-14 10:28:26 +01:00
Rasmus Lerchedahl Petersen
b513871b9b
Python: add consistency exclusions
2023-12-14 10:27:15 +01:00
Rasmus Wriedt Larsen
2c10160ad4
Python: Highlight we actually want post-update nodes for *args and **kwargs arguments
2023-11-28 14:07:03 +01:00
Rasmus Wriedt Larsen
02f2031239
Python: Ensure other call for super().foo
2023-11-28 14:04:51 +01:00
Rasmus Wriedt Larsen
4a98ed903e
Python: Fix consistency for bound-methods used in list-comp
2023-11-22 14:07:40 +01:00
Rasmus Wriedt Larsen
67b1414177
Python: Highlight even more cases for multipleArgumentCallExclude
2023-11-22 11:25:23 +01:00
Rasmus Wriedt Larsen
f9d7becd04
Python: Make multipleArgumentCallExclude more specific
2023-11-21 15:57:12 +01:00
Rasmus Wriedt Larsen
df9fb141b8
Python: Remove old manual consistency query tests
2023-11-21 11:50:23 +01:00
Rasmus Wriedt Larsen
b6df6b7c99
Python: Add dataflow consistency query
2023-11-21 11:33:28 +01:00
Kasper Svendsen
f41276cb7f
Python: Enable implicit this warnings for remaining packs
2023-06-27 12:00:13 +02:00
Dave Bartolomeo
9d5e5e3ee7
${workspace} all the things
2022-11-01 13:29:05 -04:00
Rasmus Wriedt Larsen
32cd7d6fa7
Add groups to all consistency-queries/qlpack.yml
...
as discussed in PR review
2022-02-07 11:15:48 +01:00
Rasmus Wriedt Larsen
c817ba5718
Python: Add consistency-queries/qlpack.yml
...
But no queries yet
2022-02-04 12:08:54 +01:00
