Mathias Vorreiter Pedersen
|
775197372c
|
Rust: Fixup queries.
|
2025-04-30 20:34:33 +01:00 |
|
Mathias Vorreiter Pedersen
|
07641e48ab
|
Java: Fixup queries and accept test changes.
|
2025-04-30 20:34:32 +01:00 |
|
Mathias Vorreiter Pedersen
|
cd47379700
|
C#: Fixup queries and accept test changes.
|
2025-04-30 20:34:30 +01:00 |
|
Mathias Vorreiter Pedersen
|
607a1e46da
|
Shared: Generate value-preserving summaries when possible.
|
2025-04-30 20:34:27 +01:00 |
|
Jeroen Ketema
|
2ed48ae571
|
C++: Update expected test results after barrier introduction
|
2025-04-30 20:51:27 +02:00 |
|
Tom Hvitved
|
a3c26b4bfe
|
Rust: Type inference for ? expressions
|
2025-04-30 20:35:11 +02:00 |
|
Tom Hvitved
|
88075c4c8c
|
Rust: Make manual tweaks to Copilot generated code
|
2025-04-30 20:35:10 +02:00 |
|
Tom Hvitved
|
51e70d0c3b
|
Rust: Add Copilot generated test for ? operator expressions
|
2025-04-30 20:35:09 +02:00 |
|
Jeroen Ketema
|
723778fa82
|
C++: Limit flow through sinks and sources in cpp/upcast-array-pointer-arithmetic
|
2025-04-30 20:31:12 +02:00 |
|
Jeroen Ketema
|
359aa02602
|
Merge pull request #19410 from jketema/header-variant
C++: Turn header variant tests that use PCH files into integration tests
|
2025-04-30 20:10:30 +02:00 |
|
yoff
|
e63b38c515
|
python: add change note
|
2025-04-30 20:05:55 +02:00 |
|
yoff
|
cf45e771f3
|
python: remove copied comment
|
2025-04-30 20:01:43 +02:00 |
|
yoff
|
531f2a15a4
|
python: model send_header from http.server
|
2025-04-30 19:58:14 +02:00 |
|
Chuan-kai Lin
|
5bc962c429
|
QL tests: run with --check-diff-informed
|
2025-04-30 10:55:58 -07:00 |
|
Jeroen Ketema
|
3423a1072a
|
C++: Address review comments
|
2025-04-30 19:10:35 +02:00 |
|
Napalys Klicius
|
7fec3aec95
|
Renamed FunctionStyleClass class to StandardClassNode
|
2025-04-30 18:51:46 +02:00 |
|
Napalys Klicius
|
e9ee7134ef
|
Refactor prototype reference retrieval in ClassNode and update expected test output
|
2025-04-30 18:51:39 +02:00 |
|
Owen Mansel-Chan
|
a9132c43d0
|
Fix incorrect CWE tags
|
2025-04-30 16:47:35 +01:00 |
|
Owen Mansel-Chan
|
cf614a596d
|
Fix cwe tags to include leading zero
|
2025-04-30 16:43:03 +01:00 |
|
REDMOND\brodes
|
c80588cda1
|
Adding content to KnownSymmetricCipherAlgorithmql.
|
2025-04-30 11:41:28 -04:00 |
|
Simon Friis Vindum
|
c263d3faf9
|
Rust: Remove predicates unused after refactor
|
2025-04-30 17:39:22 +02:00 |
|
Tom Hvitved
|
302680cfb2
|
Merge pull request #19425 from hvitved/rust/type-inference-debug-predicates
Rust: Add type inference debug predicates
|
2025-04-30 17:03:05 +02:00 |
|
Nicolas Will
|
83617e099f
|
Merge pull request #2 from nicolaswill/knewbury01/JCA-sample
Implement first stage cryptography modelling and queries
|
2025-04-30 16:39:56 +02:00 |
|
Paolo Tranquilli
|
6ecaf65132
|
Rust: fix downgrade script
|
2025-04-30 16:38:13 +02:00 |
|
Nicolas Will
|
27c7bf3047
|
Merge branch 'github:main' into crypto-test
|
2025-04-30 16:35:26 +02:00 |
|
Nicolas Will
|
2b1b90ccc4
|
Merge pull request #4 from nicolaswill/brodes/cipher_operation
Adding a sketch for a CipherOperation concept to model encryption/dec…
|
2025-04-30 16:32:20 +02:00 |
|
Nicolas Will
|
dd2f53f42e
|
Merge pull request #10 from nicolaswill/brodes/key_agreement
Initial progress on key agreement.
|
2025-04-30 16:31:42 +02:00 |
|
Nicolas Will
|
9c87ad8293
|
Merge branch 'brodes/key_agreement' of https://github.com/nicolaswill/codeql into brodes/key_agreement
|
2025-04-30 16:28:35 +02:00 |
|
Nicolas Will
|
7f24a2557d
|
Add modelling for JCA key gen cipher algorithm
|
2025-04-30 16:28:31 +02:00 |
|
Jeroen Ketema
|
edd18dc052
|
C++: Address review comment
|
2025-04-30 16:23:06 +02:00 |
|
Chad Bentz
|
2bef3c3604
|
Adding comprehensive docs for customizing query
|
2025-04-30 09:44:27 -04:00 |
|
Paolo Tranquilli
|
8ffe4d6593
|
Merge branch 'main' into redsun82/rust-expand-attr-macros
|
2025-04-30 15:25:32 +02:00 |
|
Paolo Tranquilli
|
ecd80fbc34
|
Rust: fix QL compilation errors
|
2025-04-30 15:25:01 +02:00 |
|
Jonas Jensen
|
c8e564b2ba
|
Merge pull request #19416 from jbj/ruby-no-diff-informed-regex
Ruby: disable diff-informed mode on regex queries
|
2025-04-30 15:17:20 +02:00 |
|
Tom Hvitved
|
4f5b340278
|
Rust: Add type inference debug predicates
|
2025-04-30 15:12:58 +02:00 |
|
Tom Hvitved
|
389f15e670
|
Merge pull request #19362 from hvitved/rust/crate-extraction-workarounds
Rust: Crate graph extraction workarounds
|
2025-04-30 15:11:26 +02:00 |
|
Napalys Klicius
|
9624a413e4
|
Added change note
|
2025-04-30 14:57:00 +02:00 |
|
Napalys Klicius
|
71f1b82a56
|
Added support for fastify.all
|
2025-04-30 14:54:09 +02:00 |
|
Napalys Klicius
|
6d61766366
|
Added test case for fastify.all
|
2025-04-30 14:50:35 +02:00 |
|
Simon Friis Vindum
|
f584d22b53
|
Rust: Use type inference to insert implicit borrows and derefs
|
2025-04-30 14:43:51 +02:00 |
|
Asger F
|
8ebbfb198e
|
Merge pull request #19412 from asgerf/js/promise-all
JS: Better type-tracking through Promise.all()
|
2025-04-30 14:19:12 +02:00 |
|
Jeroen Ketema
|
c7e4853c38
|
Merge pull request #19269 from jketema/non-second-level-limits
C++: Do not limit second level scopes to the top-level
|
2025-04-30 13:50:36 +02:00 |
|
Napalys Klicius
|
18cea2d6a5
|
Added support for shelljs.cmd and async-shelljs.asyncExec
|
2025-04-30 13:37:02 +02:00 |
|
Napalys Klicius
|
25d04f1cdd
|
Added support for shelljs.which
|
2025-04-30 13:35:17 +02:00 |
|
Napalys Klicius
|
f6fae7ad60
|
Added test cases for cmd, which and asyncExec
|
2025-04-30 13:33:31 +02:00 |
|
Paolo Tranquilli
|
1c1ccdacb8
|
Merge pull request #19418 from github/redsun82/improve-codegen-codeql-requirement-message
Codegen: make missing `codeql` error clearer
|
2025-04-30 12:14:37 +02:00 |
|
Asger F
|
da5d799152
|
JS: Change note
|
2025-04-30 11:59:47 +02:00 |
|
Paolo Tranquilli
|
9958cc7784
|
Codegen: consider windows paths in local codeql binary heuristic
|
2025-04-30 11:43:03 +02:00 |
|
Paolo Tranquilli
|
ba89a5de6f
|
Codegen: make missing codeql error clearer
|
2025-04-30 11:38:52 +02:00 |
|
Tom Hvitved
|
52bd99b852
|
Address review comments
|
2025-04-30 11:04:12 +02:00 |
|