Michael Nebel
|
37b3ca036a
|
Python: Freeze the quality queries in the security-and-quality suite.
|
2025-06-26 14:45:05 +02:00 |
|
Michael Nebel
|
d926a6a47d
|
Go: Freeze the quality queries in the security-and-quality suite.
|
2025-06-26 14:35:21 +02:00 |
|
Michael Nebel
|
7fecf7466f
|
Ruby: Freeze the quality queries in the security-and-quality suite.
|
2025-06-26 14:26:28 +02:00 |
|
Michael Nebel
|
145ada53f2
|
C#/Java/JavaScript: Re-factor query suites to use the new selector.
|
2025-06-26 14:19:27 +02:00 |
|
Michael Nebel
|
3efbed56b0
|
Shared: Modify the frozen selector to only include security queries.
|
2025-06-26 14:09:43 +02:00 |
|
Michael Nebel
|
1fbf3a39fb
|
Shared: Add a copy of the security-and-quality selector.
|
2025-06-26 14:05:46 +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 |
|
Anders Schack-Mulligen
|
1d4c8197ec
|
Java: Fix assert CFG by properly tagging the false successor.
|
2025-06-26 10:18:14 +02:00 |
|
Anders Schack-Mulligen
|
4d2c67857f
|
Merge pull request #19573 from aschackmull/guardslib
Shared/Java: Add shared Guards library and switch Java to use it.
|
2025-06-26 09:28:32 +02:00 |
|
Anders Schack-Mulligen
|
6f4adb8892
|
Shared: address review comments.
|
2025-06-26 07:17:37 +02:00 |
|
Anders Schack-Mulligen
|
5ddddaecdc
|
Java: Add change note.
|
2025-06-26 07:17:36 +02:00 |
|
Anders Schack-Mulligen
|
4645856f09
|
Java: document FP
|
2025-06-26 07:17:36 +02:00 |
|
Anders Schack-Mulligen
|
73810a6d85
|
Java: Fix perf issue.
|
2025-06-26 07:17:35 +02:00 |
|
Anders Schack-Mulligen
|
5a34a1a51b
|
Shared: Try caching.
|
2025-06-26 07:17:35 +02:00 |
|
Anders Schack-Mulligen
|
d4c897f8e2
|
Java: Fix perf issue.
|
2025-06-26 07:17:35 +02:00 |
|
Anders Schack-Mulligen
|
42b1b12aa1
|
Java: Fix qltests
|
2025-06-26 07:17:34 +02:00 |
|
Anders Schack-Mulligen
|
5c0dcd980d
|
Java: Switch to the shared Guards library.
|
2025-06-26 07:17:34 +02:00 |
|
Anders Schack-Mulligen
|
cc13193cb6
|
Java: Replace some references to basicNullGuard.
|
2025-06-26 07:17:33 +02:00 |
|
Anders Schack-Mulligen
|
0607fefc57
|
Java: Refactor integerGuard.
|
2025-06-26 07:17:33 +02:00 |
|
Anders Schack-Mulligen
|
a2778eee75
|
Java: Refactor clearlyNotNullExpr into a base case that does not rely on SSA.
|
2025-06-26 07:17:32 +02:00 |
|
Anders Schack-Mulligen
|
22d5dc999a
|
Shared: Bugfix for unique value implication.
|
2025-06-26 07:17:32 +02:00 |
|
Anders Schack-Mulligen
|
378209a6ad
|
Shared: Simplify and improve joins.
|
2025-06-26 07:17:31 +02:00 |
|
Anders Schack-Mulligen
|
b19bff9a4e
|
Shared: Switch case guards to be the case statements.
|
2025-06-26 07:17:31 +02:00 |
|
Anders Schack-Mulligen
|
f772493f4c
|
Shared: Elaborate qldoc.
|
2025-06-26 07:17:31 +02:00 |
|
Anders Schack-Mulligen
|
73ae613b7a
|
Shared: Many tweaks to Guards.
|
2025-06-26 07:17:30 +02:00 |
|
Anders Schack-Mulligen
|
c212d0ac8f
|
Shared: Improve shared guards lib.
|
2025-06-26 07:17:30 +02:00 |
|
Anders Schack-Mulligen
|
16c5b57953
|
Shared: Extend the shared Guards library with support for exception branch points.
|
2025-06-26 07:17:29 +02:00 |
|
Anders Schack-Mulligen
|
14b87f97b9
|
Shared: Extend the shared Guards library with support for custom wrappers.
|
2025-06-26 07:17:29 +02:00 |
|
Anders Schack-Mulligen
|
1d75008eba
|
Shared: Add a shared Guards library inspired by the Java and C# versions.
|
2025-06-26 07:17:28 +02:00 |
|
Anders Schack-Mulligen
|
994c1f6427
|
Java: Add hasInputFromBlock predicate in BaseSSA.
|
2025-06-26 07:17:28 +02:00 |
|
Anders Schack-Mulligen
|
a0c849139c
|
Java: Add guards-logic qltest with inline expectation.
|
2025-06-26 07:17:28 +02:00 |
|
Jami
|
aa65f54b1d
|
Merge pull request #19882 from owen-mc/go/avoid-deprecated-class
Go: Avoid using deprecated class
|
2025-06-25 21:16:08 -04:00 |
|
Owen Mansel-Chan
|
9663ecad21
|
Avoid using deprecated class
|
2025-06-26 01:46:14 +01:00 |
|
Owen Mansel-Chan
|
0f07ab58cf
|
Merge pull request #19654 from owen-mc/go/fix-definedtype-getbasetype
Go: fix `DefinedType.getBaseType`
|
2025-06-26 00:19:19 +01:00 |
|
Owen Mansel-Chan
|
d7b1d7bef4
|
Merge pull request #19677 from owen-mc/go/better-class-names-and-helpers
Go: Improve two class names and add some helper predicates
|
2025-06-26 00:17:32 +01:00 |
|
Chris Smowton
|
2291e10ce6
|
Fix typo
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
|
2025-06-25 21:38:22 +02:00 |
|
Paolo Tranquilli
|
6803bf3861
|
Merge pull request #19851 from github/redsun82/rust-emission-trait
Rust: refactor `pre_emit!` and `post_emit!` to a trait
|
2025-06-25 19:22:29 +02:00 |
|
Nora Dimitrijević
|
942cfc3bd6
|
Merge pull request #19842 from d10c/d10c/convert-java-tests-to-qlref
Java: convert remaining `java-code-scanning.qls` query tests to `.qlref`
|
2025-06-25 16:02:28 +02:00 |
|
Paolo Tranquilli
|
6a0140d3c9
|
Rust: fix Const test
|
2025-06-25 14:42:03 +02:00 |
|
Paolo Tranquilli
|
ab2e7082f3
|
Merge branch 'main' into redsun82/codegen-use-one-test-file
|
2025-06-25 14:31:17 +02:00 |
|
Paolo Tranquilli
|
b8b57365c3
|
Merge pull request #19876 from github/redsun82/rust-qltest-setup-nightly-toolchain
Rust: fix parallel execution of tests using the nightly toolchain
|
2025-06-25 14:30:22 +02:00 |
|