Tom Hvitved
d71f2dee9c
Rust: Add more variable tests
2025-10-30 21:39:28 +01:00
Taus
e702d3bfc8
Python: Add change note
...
I wasn't entirely sure if this should be classified as `deprecated` or
`breaking`, but seeing as these changes technically _could_ break
existing queries (requiring a small rewrite), I opted for the latter.
2025-10-30 15:16:51 +00:00
Asger F
c583b480af
JS: Add pragma[nomagic] just to be safe
...
The DIL is unchanged
2025-10-30 15:31:51 +01:00
Asger F
1f7671cf5e
JS: Ensure integration test contains one valid file
2025-10-30 15:31:51 +01:00
Asger F
0acfacefbf
JS: Recursively delete source archive so emptiness detection works
2025-10-30 15:31:51 +01:00
Asger F
a5819a14be
JS: Fix bad join order in getNextToken()
2025-10-30 15:31:51 +01:00
Asger F
39f74d808b
JS: Add compileForOverlayEval
2025-10-30 15:31:51 +01:00
Simon Friis Vindum
a25ae3922d
Merge pull request #20682 from paldepind/rust/ti-condition
...
Rust: Refactor using shared constraint satisfaction
2025-10-30 15:19:16 +01:00
Taus
820d8e76c4
Python: Remove points-to from Module
2025-10-30 13:59:30 +00:00
Taus
b93ce98612
Python: Remove points-to from Expr
2025-10-30 13:58:59 +00:00
Simon Friis Vindum
c648aa69b8
Rust: Rename predicates
2025-10-30 14:35:17 +01:00
Taus
b434ce460e
Python: Get rid of getLiteralValue
...
This had only two uses in our libraries, so I simply inlined the
predicate body in both places.
2025-10-30 13:30:04 +00:00
Taus
fef08afff9
Python: Remove points-to to from ControlFlowNode
...
Moves the existing points-to predicates to the newly added class
`ControlFlowNodeWithPointsTo` which resides in the `LegacyPointsTo`
module.
(Existing code that uses these predicates should import this module, and
references to `ControlFlowNode` should be changed to
`ControlFlowNodeWithPointsTo`.)
Also updates all existing points-to based code to do just this.
2025-10-30 13:30:04 +00:00
Tom Hvitved
cca458c2ac
Rust: Address review comments and handle ! types in type inference
2025-10-30 13:30:42 +01:00
Geoffrey White
0e7d410163
Merge branch 'main' into macrometric2
2025-10-30 10:19:11 +00:00
Tom Hvitved
5697a7e612
Rust: More type inference tests
2025-10-30 10:43:44 +01:00
Simon Friis Vindum
b189f1fe3f
Rust: Refactor using shared constraint satisfaction
2025-10-30 08:18:12 +01:00
Jeroen Ketema
26f59a8786
Merge pull request #20710 from jketema/swift-rsc
...
Swift: Do not include the embedded resources
2025-10-29 17:38:07 +01:00
Jeroen Ketema
cf2cd20884
Swift: Update resources
2025-10-29 15:54:17 +01:00
Jeroen Ketema
ea6b05eda3
Update docs/codeql/codeql-overview/system-requirements.rst
2025-10-29 15:49:53 +01:00
Tom Hvitved
bc53fee1c5
Rust: Infer more () types
2025-10-29 15:43:00 +01:00
Tom Hvitved
f395162afd
Rust: More type inference tests
2025-10-29 15:41:23 +01:00
Tom Hvitved
3c663d8ebf
Merge pull request #20715 from hvitved/rust/type-inference-overlap-test
...
Rust: Add type inference tests for method resolution overlap
2025-10-29 15:39:07 +01:00
Anders Schack-Mulligen
900d0d2477
C#: Accept test changes for assert split removal.
2025-10-29 15:17:34 +01:00
Tom Hvitved
6ed8bcbcf3
Rust: Add type inference tests for method resolution overlap
2025-10-29 14:53:28 +01:00
Tom Hvitved
e5f1238e26
Merge pull request #20707 from paldepind/rust/ti-self-trait
...
Rust: Improve handling of `Self` type parameter
2025-10-29 13:17:14 +01:00
Anders Schack-Mulligen
51a577a429
Merge pull request #20713 from aschackmull/dataflow/qldoc1
...
Dataflow: Minor drive-by qldoc addition.
2025-10-29 13:13:43 +01:00
Geoffrey White
7a864c5244
Rust: Implement suggestion from review.
2025-10-29 12:13:12 +00:00
Anders Schack-Mulligen
87d89fd00f
C#: Fix CFG for assertion.
2025-10-29 13:04:33 +01:00
Anders Schack-Mulligen
e61ddf59d7
C#: Remove assertion splitting.
2025-10-29 13:04:32 +01:00
Anders Schack-Mulligen
b48d4d4834
C#: Recognize assertions as Guards.
2025-10-29 13:04:32 +01:00
Anders Schack-Mulligen
500fdb8723
Guards: Add support for assertions that exit rather than throw.
2025-10-29 13:04:29 +01:00
Anders Schack-Mulligen
72f1fe5d58
C#: Exclude nullness sources that are deemed non-null.
2025-10-29 13:03:51 +01:00
Anders Schack-Mulligen
0df0816c95
Guards: Minor improvement to implications.
2025-10-29 13:03:51 +01:00
Anders Schack-Mulligen
cbfb8fd110
C#: Accept some test changes.
2025-10-29 13:03:50 +01:00
Anders Schack-Mulligen
7241bedf05
C#: Replace Guards with the new implementation.
2025-10-29 13:03:50 +01:00
Anders Schack-Mulligen
8b3e62652c
Guards: Only prune actually trivial guards.
2025-10-29 13:03:46 +01:00
Owen Mansel-Chan
7ad570b5f5
Pretty print models in test
...
Otherwise the test output changes when unrelated models are added.
2025-10-29 12:03:32 +00:00
Anders Schack-Mulligen
84b8b1c01f
C#: Minor test tweak.
2025-10-29 13:02:08 +01:00
Anders Schack-Mulligen
dc4abc952f
C#: Replace references to getANullCheck.
2025-10-29 13:02:08 +01:00
Anders Schack-Mulligen
46fc006c5f
C#: Update NullCheck test to reflect what nullness use.
2025-10-29 13:02:07 +01:00
Anders Schack-Mulligen
1aa0e7c2da
C#: Make private.
2025-10-29 13:02:07 +01:00
Anders Schack-Mulligen
e3fc3192ac
C#: Remove tests referencing impliesStep.
2025-10-29 13:02:06 +01:00
Anders Schack-Mulligen
9776e8f828
C#: Remove an irrelevant reference to impliesStep.
2025-10-29 13:02:06 +01:00
Anders Schack-Mulligen
4ea90e06a5
Dataflow: Minor drive-by qldoc addition.
2025-10-29 12:58:56 +01:00
Geoffrey White
558ca74e9c
Merge pull request #20702 from geoffw0/gen2
...
Rust: Generalize more models
2025-10-29 11:32:00 +00:00
Geoffrey White
5ca0bd071d
Rust: Exclude skipped files from CallTargetStats and ExprTypeStats as well.
2025-10-29 10:42:04 +00:00
Geoffrey White
25e4b790a3
Rust: Exclude skipped files from MacroCallTargetStats.
2025-10-29 10:42:03 +00:00
Simon Friis Vindum
ce8cffc331
Rust: Address comments
2025-10-29 11:18:02 +01:00
Tom Hvitved
b7293541cd
Merge pull request #20704 from hvitved/rust/fix-bad-joins
...
Rust: Fix two bad joins
2025-10-29 11:11:54 +01:00
