Jami Cogswell
|
42904113b4
|
Java: add qhelp references
|
2025-06-29 22:50:10 -04:00 |
|
Jami Cogswell
|
87ab4d0160
|
Java: remove java/run-method-called-on-java-lang-thread-directly
using existing query java/call-to-thread-run instead
|
2025-06-29 22:42:31 -04:00 |
|
Jami Cogswell
|
12e7bbbae8
|
Java: update existing tests to services tests
|
2025-06-29 22:41:47 -04:00 |
|
Jami Cogswell
|
1172f82a4b
|
Java: update existing tests to inline expectations
|
2025-06-29 22:21:41 -04:00 |
|
Jami Cogswell
|
e266918871
|
Java: add previous-id
|
2025-06-29 22:21:06 -04:00 |
|
Jami Cogswell
|
7a2023b863
|
Java: move original files
|
2025-06-29 22:13:49 -04:00 |
|
Nicolas Will
|
38fdf7eea0
|
Merge pull request #19880 from bdrodes/operation_step_refactor
Crypto: Refactor OpenSSL operation step data-flow logic
|
2025-06-27 17:19:11 +02:00 |
|
Kasper Svendsen
|
e02affd327
|
Merge pull request #19901 from github/kaspersv/overlay-guards-inline
Overlay: Add missing `overlay[caller?]` annotation
|
2025-06-27 15:13:09 +02:00 |
|
REDMOND\brodes
|
9f0c62b572
|
Crypto: Address PR comments.
|
2025-06-27 08:33:01 -04:00 |
|
Ben Rodes
|
122a004851
|
Update cpp/ql/lib/experimental/quantum/OpenSSL/AlgorithmInstances/MACAlgorithmInstance.qll
Co-authored-by: Nicolas Will <nicolaswill@github.com>
|
2025-06-27 08:28:05 -04:00 |
|
Nicolas Will
|
976364fcaa
|
Merge branch 'main' into operation_step_refactor
|
2025-06-27 12:05:14 +02:00 |
|
Kasper Svendsen
|
6038396115
|
Merge pull request #19898 from kaspersv/kaspersv/shared-overlay-annotation
Overlay: Add overlay annotation to shared lib
|
2025-06-27 11:18:55 +02:00 |
|
Jeroen Ketema
|
ad5ee1c498
|
Merge pull request #19894 from jketema/pretty
C++: Pretty print MaD ids in test output
|
2025-06-27 11:00:52 +02:00 |
|
Kasper Svendsen
|
5096ce405f
|
Overlay: Add missing overlay[caller?] annotation
|
2025-06-27 10:50:28 +02:00 |
|
Tom Hvitved
|
3fb8758ae1
|
Merge pull request #19886 from hvitved/rust/dataflow-caching
Rust: Cache `DataFlow::Node.{toString,getLocation}`
|
2025-06-27 10:33:50 +02:00 |
|
Michael Nebel
|
2f208bddb6
|
Merge pull request #19877 from michaelnebel/csharp/microsoftdatasqlclient
C#: Models for Microsoft.Data.SqlClient.
|
2025-06-27 10:24:38 +02:00 |
|
Nora Dimitrijević
|
f568d41264
|
Merge pull request #19888 from d10c/d10c/missing-diff-informed-tests
Java, Ruby: add missing .qlref tests
|
2025-06-27 09:28:41 +02:00 |
|
Tom Hvitved
|
db0fc7be5d
|
Merge pull request #19881 from hvitved/rust/dataflow-traits
Rust: Data flow through trait methods
|
2025-06-27 08:55:48 +02:00 |
|
Kasper Svendsen
|
2863c7094a
|
Overlay: Add overlay annotation to shared lib
|
2025-06-27 08:54:05 +02:00 |
|
Jonas Jensen
|
b446fe74c2
|
Merge pull request #19846 from jbj/diff-informed-CleartextStorageCookie
Java: Diff-informed CleartextStorageCookie.ql
|
2025-06-27 08:45:11 +02:00 |
|
Kasper Svendsen
|
da1b99b921
|
Merge pull request #19779 from github/kaspersv/overlay-java-annotations
Overlay: Add overlay annotations to Java & shared libraries
|
2025-06-27 08:26:33 +02:00 |
|
Joe Farebrother
|
4cbaeb10e9
|
Merge pull request #19641 from joefarebrother/python-qual-file-not-closed
Python: Improve performance of FileNotClosed query by using basic block reachability
|
2025-06-26 23:35:38 +01:00 |
|
Jeroen Ketema
|
0996e6083e
|
C++: Pretty print MaD ids in test output
|
2025-06-26 23:38:32 +02:00 |
|
REDMOND\brodes
|
0aee4f76f9
|
Crypto: Minor change to force CI/CD checks to restart, prior ql check failures do not make sense.
|
2025-06-26 16:35:01 -04:00 |
|
REDMOND\brodes
|
dc8d22a468
|
Crypto: Fix JCA to account for new key gen instance API in model.qll.
|
2025-06-26 15:48:10 -04:00 |
|
REDMOND\brodes
|
505d8806c7
|
Crypto: Add key input support for the graph for key generation operations.
|
2025-06-26 11:51:49 -04:00 |
|
Nicolas Will
|
c54e68c855
|
Merge branch 'main' into pr/19880
|
2025-06-26 16:47:38 +02:00 |
|
Jeroen Ketema
|
ec09d36667
|
Merge pull request #19832 from ebickle/feature/oracle-model
C++: Support SQL Injection sinks for Oracle Call Interface (OCI)
|
2025-06-26 16:33:55 +02:00 |
|
Nicolas Will
|
0a97357216
|
Merge pull request #19814 from bdrodes/codescanning_fixes_cpp
Crypto: Fix QL-for-QL alerts and refactor type standardization
|
2025-06-26 16:33:19 +02:00 |
|
Eric Bickle
|
1142efbc03
|
Merge branch 'main' into feature/oracle-model
|
2025-06-26 06:48:40 -07:00 |
|
Eric Bickle
|
3083bdb0b4
|
C++: Update MaD line numbers in flow.expected
|
2025-06-26 06:47:24 -07:00 |
|
Tom Hvitved
|
9a48459951
|
Add change note
|
2025-06-26 15:14:08 +02:00 |
|
Nicolas Will
|
652e7ba15b
|
Merge branch 'main' into codescanning_fixes_cpp
|
2025-06-26 14:54:36 +02:00 |
|
Nick Rolfe
|
5a176d6fbd
|
Merge pull request #19878 from github/nickrolfe/ql-overlay
Ruby/Rust/QL: simplify generation of overlay-related tables/predicates
|
2025-06-26 08:10:10 -04:00 |
|
Tom Hvitved
|
b70aa804e5
|
Rust: Cache DataFlow::Node.{toString,getLocation}
|
2025-06-26 13:49:37 +02:00 |
|
Nora Dimitrijević
|
89f1ee0301
|
Ruby: add meta/TaintedNodes.ql test
|
2025-06-26 13:22:07 +02:00 |
|
Nora Dimitrijević
|
e0b3a2c5f9
|
Java: convert ArbitraryApkInstallation test to .qlref
|
2025-06-26 13:22:05 +02:00 |
|
Kasper Svendsen
|
712e64e4a8
|
Overlay: Add overlay annotations to shared Guards library
|
2025-06-26 13:19:49 +02:00 |
|
Kasper Svendsen
|
9d2dd782d9
|
Merge remote-tracking branch 'github/main' into kaspersv/overlay-java-annotations
|
2025-06-26 13:18:25 +02:00 |
|
Jeroen Ketema
|
a5737dded3
|
Merge branch 'main' into feature/oracle-model
|
2025-06-26 12:48:55 +02:00 |
|
Tamás Vajk
|
ae36f94d5e
|
Merge pull request #19844 from tamasvajk/tamasvajk/threadpoolexecutor
Java: Add `java/javautilconcurrentscheduledthreadpoolexecutor` query for zero thread pool size
|
2025-06-26 12:36:09 +02:00 |
|
Paolo Tranquilli
|
afc78ced50
|
Merge pull request #19874 from github/redsun82/codegen-use-one-test-file
Codegen: use one generated test file per directory
|
2025-06-26 11:59:40 +02:00 |
|
Anders Schack-Mulligen
|
321a4afd5c
|
Merge pull request #19883 from aschackmull/java/fix-assert-cfg
Java: Fix assert CFG by properly tagging the false successor.
|
2025-06-26 11:43:27 +02:00 |
|
Tamas Vajk
|
1bd543a8a2
|
Improve readability of the ID
|
2025-06-26 11:36:32 +02:00 |
|
Tamás Vajk
|
1e0dd2a935
|
Apply suggestion from @michaelnebel
Co-authored-by: Michael Nebel <michaelnebel@github.com>
|
2025-06-26 11:34:43 +02:00 |
|
Anders Schack-Mulligen
|
7750f1244c
|
Merge pull request #19884 from aschackmull/guards/eqtest-refactor
Guards: Refactor EqualityTest interface.
|
2025-06-26 11:04:55 +02:00 |
|
Anders Schack-Mulligen
|
c091fc585b
|
Java: Account for AssertionError possibly not being extracted.
|
2025-06-26 11:03:59 +02:00 |
|
Anders Schack-Mulligen
|
326f2b0498
|
Java: Accept qltest change showing FP removal.
|
2025-06-26 11:03:39 +02:00 |
|
Anders Schack-Mulligen
|
f07d9dda39
|
Guards: Refactor EqualityTest interface.
|
2025-06-26 10:26:40 +02:00 |
|
Jeroen Ketema
|
b16e710d3b
|
Merge pull request #19870 from jketema/jketema/stats
C++: Update stats file after DCA and extractor changes
|
2025-06-26 10:21:35 +02:00 |
|