Mathias Vorreiter Pedersen
|
c604a93d16
|
C++: Add failing tests with 'CAtlList'.
|
2024-11-27 16:41:26 +00:00 |
|
Mathias Vorreiter Pedersen
|
0f8df1cd9f
|
C++: Add MaD model for 'CAtlArray'.
|
2024-11-27 16:41:24 +00:00 |
|
Mathias Vorreiter Pedersen
|
1cd426e9f9
|
C++: Add failing tests with 'CAtlArray'.
|
2024-11-27 16:41:23 +00:00 |
|
Mathias Vorreiter Pedersen
|
4f2cd81f9e
|
C++: Accept test changes.
|
2024-11-27 16:41:22 +00:00 |
|
Mathias Vorreiter Pedersen
|
c00f84d74a
|
C++: Work around the 'wrong' function name for conversion operators.
|
2024-11-27 16:41:20 +00:00 |
|
Mathias Vorreiter Pedersen
|
2c7d0dec7d
|
C++: Accept test changes.
|
2024-11-27 16:41:19 +00:00 |
|
Mathias Vorreiter Pedersen
|
763b991408
|
C++: Add models.
|
2024-11-27 16:41:18 +00:00 |
|
Mathias Vorreiter Pedersen
|
749602c982
|
C++: Add failing tests with CA2AEX and friends.
|
2024-11-27 16:41:17 +00:00 |
|
Mathias Vorreiter Pedersen
|
f688470324
|
C++: Since isConstructedFrom only holds for templates we need to explicitly handle the case where the function (or class) is not a template.
|
2024-11-27 16:41:16 +00:00 |
|
Mathias Vorreiter Pedersen
|
bf36f00bb0
|
C++: Add model. Observe that flow still fails.
|
2024-11-27 15:49:41 +00:00 |
|
Mathias Vorreiter Pedersen
|
16e5fa34d1
|
C++: Add failing tests with U_STRINGorID.
|
2024-11-27 15:49:39 +00:00 |
|
Mathias Vorreiter Pedersen
|
fe9feb900d
|
C++: We will need all these types.
|
2024-11-27 15:49:38 +00:00 |
|
Paolo Tranquilli
|
5c2a6b8865
|
Merge pull request #18083 from github/redsun82/rust-canonical-enum
Rust: add extended canonical paths on enum variants
|
2024-11-27 15:22:07 +01:00 |
|
Paolo Tranquilli
|
a8188598b0
|
Merge branch 'main' into redsun82/rust-canonical-enum
|
2024-11-27 15:01:47 +01:00 |
|
Mathias Vorreiter Pedersen
|
d86fea5ba5
|
Merge pull request #18114 from MathiasVP/actually-check-func-name-in-mad
C++: Actually check function names in MaD
|
2024-11-27 11:22:10 +00:00 |
|
Anders Schack-Mulligen
|
df2e2e503a
|
Merge pull request #17901 from aschackmull/java/allowlist-sanitizer
Java: Add a default taint sanitizer for contains-checks on lists of constants
|
2024-11-27 11:09:05 +01:00 |
|
Owen Mansel-Chan
|
c580046f8c
|
Merge pull request #18121 from github/workflow/coverage/update
Update CSV framework coverage reports
|
2024-11-27 09:37:19 +00:00 |
|
Simon Friis Vindum
|
46abb9083b
|
Merge pull request #18115 from paldepind/rust-rename-expr
Rust: Rename `expr` on `CallExpr` and `LetExpr`
|
2024-11-27 09:41:04 +01:00 |
|
Anders Schack-Mulligen
|
5ef496dd1b
|
Java: Add more qldoc.
|
2024-11-27 09:07:35 +01:00 |
|
Anders Schack-Mulligen
|
85778f7fea
|
Java: Fix semantic merge conflict in expected file.
|
2024-11-27 08:53:41 +01:00 |
|
Simon Friis Vindum
|
8f886c6603
|
Merge pull request #18088 from paldepind/rust-self-parameters
Rust: Handle `self` parameters in variables and SSA library
|
2024-11-27 08:42:58 +01:00 |
|
github-actions[bot]
|
89b2a6b726
|
Add changed framework coverage reports
|
2024-11-27 00:21:55 +00:00 |
|
Owen Mansel-Chan
|
553bc8c13d
|
Merge pull request #18108 from owen-mc/go/mad/model-slices-package
Go: model `slices` package (skipping functions that involve iterating over a function)
|
2024-11-26 21:24:22 +00:00 |
|
Simon Friis Vindum
|
92427ab0c1
|
Merge branch 'main' into rust-rename-expr
|
2024-11-26 17:40:47 +01:00 |
|
Owen Mansel-Chan
|
141259c003
|
Update go/ql/lib/ext/slices.model.yml
Co-authored-by: Chris Smowton <smowton@github.com>
|
2024-11-26 14:48:20 +00:00 |
|
Simon Friis Vindum
|
7ab5663fa6
|
Rust: Address PR feedback
|
2024-11-26 15:42:19 +01:00 |
|
Simon Friis Vindum
|
d30f3e2822
|
Rust: Renamed expr on CallExpr and LetExpr
|
2024-11-26 15:22:14 +01:00 |
|
Mathias Vorreiter Pedersen
|
e42c7452ef
|
C++: Cleanup conjuncts. This doesn't change any behavior.
|
2024-11-26 13:57:51 +00:00 |
|
Mathias Vorreiter Pedersen
|
39b61598e9
|
C++: Accept test changes.
|
2024-11-26 13:57:38 +00:00 |
|
Mathias Vorreiter Pedersen
|
f7cf5af720
|
C++: Actually check the function name.
|
2024-11-26 13:56:22 +00:00 |
|
Jami
|
36acfeb305
|
Merge pull request #18087 from jcogs33/jcogs33/java-sha2
Java: add SHA-384 to list of secure crypto algorithms
|
2024-11-26 08:51:58 -05:00 |
|
yoff
|
6d6f269e6c
|
Merge pull request #17997 from yoff/java/inline-range-tests
|
2024-11-26 14:48:07 +01:00 |
|
Tom Hvitved
|
0c6b4cdb8f
|
Merge pull request #18078 from hvitved/rust/variant-flow
Rust: Data flow through variants
|
2024-11-26 14:45:00 +01:00 |
|
Mathias Vorreiter Pedersen
|
f65f11b404
|
C++: Add a test for a somewhat embarrasing bug: MaD didn't check the function name in some cases.
|
2024-11-26 13:43:42 +00:00 |
|
Taus
|
047e9742a0
|
Merge pull request #18086 from github/tausbn/add-vscode-task-for-creating-change-notes
Add script and VSCode task for creating change notes
|
2024-11-26 13:55:21 +01:00 |
|
Taus
|
5279857d06
|
Fix comment
|
2024-11-26 12:48:20 +00:00 |
|
Taus
|
adbd4d35ed
|
Add support for both query and library change notes
|
2024-11-26 12:39:17 +00:00 |
|
Anders Schack-Mulligen
|
a6fc41ec4b
|
Java: Accept consistency failure.
|
2024-11-26 13:25:44 +01:00 |
|
Anders Schack-Mulligen
|
38eb3e4952
|
Java: Adjust expected output.
|
2024-11-26 13:25:44 +01:00 |
|
Anders Schack-Mulligen
|
2ff2d25784
|
Java: Cherry-pick test from https://github.com/github/codeql/pull/17051
|
2024-11-26 13:25:43 +01:00 |
|
Anders Schack-Mulligen
|
408a38d9fb
|
Java: Address review comment, include addFirst,addLast.
|
2024-11-26 13:25:43 +01:00 |
|
Anders Schack-Mulligen
|
0d45f0efb2
|
Java: Accept consistency check result.
|
2024-11-26 13:25:43 +01:00 |
|
Anders Schack-Mulligen
|
2b1caa8a35
|
Java: Add test.
|
2024-11-26 13:25:42 +01:00 |
|
Anders Schack-Mulligen
|
5a4b720322
|
Java: Add change note.
|
2024-11-26 13:25:42 +01:00 |
|
Anders Schack-Mulligen
|
6f32c4129d
|
Java: Add a default taint sanitizer for contains-checks on lists of constants.
|
2024-11-26 13:25:41 +01:00 |
|
Anders Schack-Mulligen
|
7f86f8cac7
|
Java: Prepare TypeFlow for separate instantiation of universal flow.
|
2024-11-26 13:25:41 +01:00 |
|
Owen Mansel-Chan
|
bcc89ecb7c
|
Add change note
|
2024-11-26 12:07:32 +00:00 |
|
Owen Mansel-Chan
|
196634ecdb
|
Model slices package
Skipping functions that involve iterators for now.
|
2024-11-26 12:01:09 +00:00 |
|
Tom Hvitved
|
8c111382ad
|
Address review comments
|
2024-11-26 13:00:59 +01:00 |
|
Owen Mansel-Chan
|
47eb407be9
|
Update Go version in stdlib tests
|
2024-11-26 12:00:10 +00:00 |
|