Geoffrey White
|
5a73e0bd09
|
Rust: Re-model std::env sources using models-as-data.
|
2025-01-17 13:39:04 +00:00 |
|
Mathias Vorreiter Pedersen
|
5c494c3f66
|
C++: Infer 'b1 = true' and 'b2 = true' from 'b1 && b2 = true', and infer 'b1 = false' and 'b2 = false' from 'b1 || b2 = false'.
|
2025-01-17 13:07:41 +00:00 |
|
Mathias Vorreiter Pedersen
|
eadccf27ef
|
C++: Add test cases with missing inferred equalities.
|
2025-01-17 13:01:03 +00:00 |
|
Mathias Vorreiter Pedersen
|
d8ec6dd155
|
Merge pull request #18490 from MathiasVP/generate-int-to-bool-conversion-instructions-2
C++: Generate int-to-bool conversions in C code
|
2025-01-17 12:57:55 +00:00 |
|
Mathias Vorreiter Pedersen
|
21f9e6763d
|
C++: Remove an unnecessary conjunct.
|
2025-01-17 12:44:22 +00:00 |
|
Asger F
|
772c3363d2
|
Add dummy extension with an empty diff
|
2025-01-17 13:44:11 +01:00 |
|
Simon Friis Vindum
|
53b63bed00
|
Actions: Implement added predicates in CFG instantiation
|
2025-01-17 13:31:00 +01:00 |
|
Paolo Tranquilli
|
17d2e4a338
|
Merge pull request #18500 from github/redsun82/rust-aggregate-workspaces
Rust: aggregate projects into workspaces
|
2025-01-17 13:23:07 +01:00 |
|
Asger F
|
871cdb014d
|
Ruby: fix TODOs left by the patch query
|
2025-01-17 13:21:54 +01:00 |
|
Asger F
|
4dc632f742
|
Ruby: mass enable diff-informed data flow
|
2025-01-17 13:21:52 +01:00 |
|
Mathias Vorreiter Pedersen
|
b39a932ae1
|
C++: Update comment in the char pred of 'GuardConditionFromNotExpr'.
|
2025-01-17 12:17:47 +00:00 |
|
Simon Friis Vindum
|
4d05b6a0a5
|
Shared: Address review comments for shared basic block library
|
2025-01-17 13:11:49 +01:00 |
|
yoff
|
15a18315b7
|
Merge pull request #18524 from github/redsun82/python-match-fps
Python: add some more FP tests around match
|
2025-01-17 12:55:56 +01:00 |
|
Paolo Tranquilli
|
e6cb376ad8
|
Rust: fix typo
|
2025-01-17 12:31:48 +01:00 |
|
Paolo Tranquilli
|
bbaff8b199
|
Rust: cleanup workspace aggregation
|
2025-01-17 12:19:56 +01:00 |
|
Asger F
|
aa0b9559bf
|
Merge pull request #18472 from asgerf/js/test-suite
JS: Port three tests to use the new post processing-based inline test expectations
|
2025-01-17 12:06:32 +01:00 |
|
Óscar San José
|
8ef4c2c229
|
Remove ImplicitUsings label, not supported by Net 6.0
|
2025-01-17 11:35:34 +01:00 |
|
Óscar San José
|
bb47f5b6de
|
Update csharp target framework to net9.0
|
2025-01-17 11:33:43 +01:00 |
|
Geoffrey White
|
db4370d149
|
Rust: Remove QL models for std::env sources.
|
2025-01-17 10:28:46 +00:00 |
|
Óscar San José
|
b39bfdbb04
|
Upgrade workflows to ubuntu-24
|
2025-01-17 11:22:15 +01:00 |
|
Paolo Tranquilli
|
4ab5650979
|
Python: add some more FP tests around match
|
2025-01-17 11:01:00 +01:00 |
|
Asger F
|
0d52541f0a
|
Merge pull request #18458 from asgerf/js/angular2-xss-through-dom
JS: Add Angular2 DOM sources
|
2025-01-17 10:55:14 +01:00 |
|
Asger F
|
2c65946684
|
JS: Add setOtherInput example
|
2025-01-17 10:29:03 +01:00 |
|
Asger F
|
e983e26f68
|
JS: Add example with safe field
|
2025-01-17 10:28:07 +01:00 |
|
Asger F
|
7b3727b874
|
JS: Add change note
|
2025-01-17 10:27:02 +01:00 |
|
Asger F
|
37062763ae
|
JS: Bump extractor version string
|
2025-01-17 10:27:01 +01:00 |
|
Asger F
|
859783c08b
|
JS: Support [(ngModel)]
|
2025-01-17 10:26:57 +01:00 |
|
Asger F
|
d55c68c1f1
|
JS: Add test case with [(ngModel)]
|
2025-01-17 10:24:16 +01:00 |
|
Asger F
|
97f5559e64
|
JS: Recognise form input from NgForm
|
2025-01-17 10:22:20 +01:00 |
|
Asger F
|
1ec3a62242
|
JS: Add test with NgForm.value
|
2025-01-17 10:20:59 +01:00 |
|
Asger F
|
d4daa21318
|
JS: Add DOM event sources in Angular2 model
|
2025-01-17 10:20:22 +01:00 |
|
Asger F
|
b8ba50a9ac
|
JS: Add Angular test case in XssThroughDom
|
2025-01-17 10:12:42 +01:00 |
|
Asger F
|
6f46a34873
|
JS: Refactor domEventSource() into a Range class
|
2025-01-17 10:12:40 +01:00 |
|
Asger F
|
26a11efc5b
|
Merge branch 'main' into js/test-suite
|
2025-01-17 10:09:06 +01:00 |
|
Anders Schack-Mulligen
|
498bfd2160
|
Merge pull request #18512 from aschackmull/dataflow/join-fix2
Dataflow: Another minor join-order fix
|
2025-01-17 09:09:47 +01:00 |
|
Jeroen Ketema
|
65a11e4e82
|
Merge pull request #18514 from jketema/objc
C++: Remove some Objective-C specific query code
|
2025-01-17 08:18:05 +01:00 |
|
docs-bot
|
01c4dd81f0
|
Add actions queries to generated list
|
2025-01-16 18:02:46 -05:00 |
|
Owen Mansel-Chan
|
45e9957bd9
|
Merge pull request #18438 from github/workflow/coverage/update
Update CSV framework coverage reports
|
2025-01-16 22:58:57 +00:00 |
|
Jeroen Ketema
|
e6eaf5e6ac
|
Merge pull request #18510 from jketema/noreturn
C++: Support more "noreturn" attributes in DefaultOptions
|
2025-01-16 19:09:44 +01:00 |
|
Mathias Vorreiter Pedersen
|
d5b31eb98c
|
C++: Add more tests.
|
2025-01-16 17:25:39 +00:00 |
|
Jeroen Ketema
|
ff0d4955cf
|
C++: Fix change note
|
2025-01-16 17:55:45 +01:00 |
|
Mathias Vorreiter Pedersen
|
d0bd6eb2eb
|
C++: Remove the type restriction on 'GuardConditionFromNotExpr' since this class also applies to C++.
|
2025-01-16 16:55:10 +00:00 |
|
Mathias Vorreiter Pedersen
|
54faba21ba
|
C++: Add more tests.
|
2025-01-16 16:44:29 +00:00 |
|
Owen Mansel-Chan
|
8bfab55df7
|
Merge branch 'main' into workflow/coverage/update
|
2025-01-16 16:38:06 +00:00 |
|
Geoffrey White
|
e5faf92bab
|
Rust: Make QL-for-QL happy (part 2).
|
2025-01-16 16:16:02 +00:00 |
|
Geoffrey White
|
5f9e1c3788
|
Apply suggestions from code review
Co-authored-by: Simon Friis Vindum <paldepind@github.com>
|
2025-01-16 16:14:33 +00:00 |
|
Michael Nebel
|
bae29aeee4
|
C#: Update implications test expected output.
|
2025-01-16 16:57:33 +01:00 |
|
Michael Nebel
|
b6db1a34d6
|
C#: Also make the implicitToString test print the type declaring the ToString call being synthesized.
|
2025-01-16 16:57:32 +01:00 |
|
Michael Nebel
|
aab88da117
|
C#: Update test expected output.
|
2025-01-16 16:57:30 +01:00 |
|
Michael Nebel
|
260ce805d1
|
C#: Also support implicit inherited ToString synthetic calls.
|
2025-01-16 16:57:29 +01:00 |
|