Geoffrey White
|
1945fb8258
|
Rust: Accept changes to query suites.
|
2025-07-21 21:09:42 +01:00 |
|
Geoffrey White
|
43ac82f6a3
|
Rust: Update consistency check .expected files.
|
2025-07-21 21:01:01 +01:00 |
|
Geoffrey White
|
d53dada67f
|
Rust: Update barrier logic to use getCanonicalPath.
|
2025-07-21 20:56:48 +01:00 |
|
Geoffrey White
|
ec3ad85504
|
Rust: Add another test case for barriers (that still functions).
|
2025-07-21 20:53:37 +01:00 |
|
Geoffrey White
|
796cb193fc
|
Rust: Accept test regressions with new format MaD.
|
2025-07-21 17:24:19 +01:00 |
|
Geoffrey White
|
fc8a662f0d
|
Rust: Update the models.
|
2025-07-21 17:24:07 +01:00 |
|
Geoffrey White
|
0ec10e5c30
|
Rust: Corrections after the merge.
|
2025-07-21 12:12:23 +01:00 |
|
Geoffrey White
|
c2ddf25f11
|
Merge branch 'main' into constcrypto
|
2025-07-17 16:13:58 +01:00 |
|
Mathias Vorreiter Pedersen
|
a9fb49a2c3
|
Merge pull request #20066 from MathiasVP/dont-summarize-function-pointer-calls
C++: Don't wrap calls through function pointers in `FunctionWithWrappers`
|
2025-07-16 14:57:14 +01:00 |
|
Mathias Vorreiter Pedersen
|
8b953e4f22
|
C++: No need for 'resolveCall' anymore.
|
2025-07-16 14:28:04 +01:00 |
|
Mathias Vorreiter Pedersen
|
df4b338c5d
|
C++: Add change notes.
|
2025-07-16 14:11:09 +01:00 |
|
Mathias Vorreiter Pedersen
|
ca913b452c
|
C++: Don't summarize calls through function pointers in FunctionWithWrappers.
|
2025-07-16 11:51:46 +01:00 |
|
Jeroen Ketema
|
200d46f5c7
|
Merge pull request #20060 from jketema/typeid-fix
C++: Fix typeid IR translation
|
2025-07-16 12:40:03 +02:00 |
|
Chris Smowton
|
d6a3b2e91f
|
Merge pull request #20065 from smowton/smowton/fix/web.config
C#: Make web.config match case insensitive (with change note)
|
2025-07-16 09:52:34 +01:00 |
|
Michael Nebel
|
c5357ff556
|
Merge pull request #20008 from Hug0Vincent/csharp
feat: add getASupertype() predicate in ValueOrRefType.
|
2025-07-16 10:39:57 +02:00 |
|
Chris Smowton
|
a537c0091e
|
change note
|
2025-07-16 09:06:38 +01:00 |
|
Geoffrey White
|
d264fb5865
|
Merge pull request #20042 from geoffw0/sinknoise
Rust: Make rust/summary/query-sinks less noisy
|
2025-07-16 08:36:16 +01:00 |
|
Hugo
|
8c82405b5b
|
Update 2025-06-10-getasupertype.md
|
2025-07-16 00:35:30 +02:00 |
|
Hugo
|
6384cf2e4f
|
Update predicate name
|
2025-07-16 00:35:14 +02:00 |
|
Jeroen Ketema
|
529712122c
|
C++: Address review comments
|
2025-07-15 22:15:11 +02:00 |
|
James Frank
|
b9acaa0cbd
|
Make web.config match case insensitive
|
2025-07-15 15:34:42 -04:00 |
|
Jeroen Ketema
|
a08d594371
|
C++: Introduce TypeidInstruction base class
|
2025-07-15 21:31:24 +02:00 |
|
Jeroen Ketema
|
58aa7588e5
|
Merge pull request #20059 from MathiasVP/no-more-as-expr-inUncontrolledProcessOperation
C++: Reduce duplication in `cpp/uncontrolled-process-operation`
|
2025-07-15 21:17:08 +02:00 |
|
Jeroen Ketema
|
54f11ca611
|
C++: Fix typo in comment
|
2025-07-15 20:40:57 +02:00 |
|
Jeroen Ketema
|
70bff4e726
|
C++: Fix typeid IR translation
|
2025-07-15 20:24:17 +02:00 |
|
Chris Smowton
|
16f3fc6c33
|
Merge pull request #20056 from github/smowton/fix/tainted-path-is-local
Golang: Mark filepath.IsLocal as a tainted-path sanitizer guard
|
2025-07-15 17:40:07 +01:00 |
|
Mathias Vorreiter Pedersen
|
327c4b345d
|
Merge pull request #20058 from jketema/typeid-test
C++: Add test showing that the IR translation for `typeid` is broken
|
2025-07-15 16:55:16 +01:00 |
|
Chris Smowton
|
b71f9ae240
|
Fix function qname
|
2025-07-15 16:37:30 +01:00 |
|
Jeroen Ketema
|
477edd215c
|
C++: Add test showing that the IR translation for typeid is broken
|
2025-07-15 17:29:00 +02:00 |
|
Kasper Svendsen
|
9c3e275e66
|
Merge pull request #20011 from kaspersv/kaspersv/discard-xml
Overlay: Add XML and Java property discarding
|
2025-07-15 16:13:38 +02:00 |
|
Chris Smowton
|
ac72f8523a
|
Change note
|
2025-07-15 14:51:19 +01:00 |
|
Chris Smowton
|
c8eefb7c5c
|
Golang: Mark filepath.IsLocal as a tainted-path sanitizer guard
|
2025-07-15 14:47:17 +01:00 |
|
Kasper Svendsen
|
f84a3084f0
|
Address review comment about ignored QL variable
Co-authored-by: Anders Schack-Mulligen <aschackmull@users.noreply.github.com>
|
2025-07-15 15:34:08 +02:00 |
|
Anders Schack-Mulligen
|
b13f11883c
|
Merge pull request #20054 from aschackmull/java/fixup-control-char-query
Java: Restrict results to source literals.
|
2025-07-15 15:28:46 +02:00 |
|
Anders Schack-Mulligen
|
9e87095bed
|
Java: Restrict results to source literals.
|
2025-07-15 14:54:02 +02:00 |
|
Nick Rolfe
|
16e9e8e836
|
Merge pull request #20049 from github/nickrolfe/java-deleted-files
Java: use `overlayChangedFiles` in discard prediactes
|
2025-07-15 07:42:54 -04:00 |
|
Nick Rolfe
|
c199d0cbbe
|
Java: use overlayChangedFiles in discard prediactes
|
2025-07-15 10:10:32 +01:00 |
|
Mathias Vorreiter Pedersen
|
29cceeba1a
|
C++: Don't use asExpr to mark the sink in 'cpp/uncontrolled-process-operation'.
|
2025-07-14 18:08:58 +01:00 |
|
Jeroen Ketema
|
2ed54d52ad
|
Merge pull request #20040 from MathiasVP/fix-global-variable-recursion-fp
C++: Fix global variable dataflow FP
|
2025-07-14 18:59:34 +02:00 |
|
Geoffrey White
|
26dae8144c
|
Rust: Make rust/summary/query-sinks less noisy and thus more useful. This is the one in the DCA meta queries output, not the grand total used in metrics.
|
2025-07-14 17:26:43 +01:00 |
|
Jeroen Ketema
|
d33cd71685
|
Merge pull request #20030 from github/tausbn/javascript-ignore-tsconfig-outdirs-that-exclude-everything
JavaScript: Ignore `outDir`s that would exclude everything
|
2025-07-14 17:36:30 +02:00 |
|
Paolo Tranquilli
|
85d1e06335
|
Merge pull request #20039 from github/redsun82/kotlin-plugin-test
Kotlin: tweak plugin test
|
2025-07-14 17:20:27 +02:00 |
|
Mathias Vorreiter Pedersen
|
c83895fdd2
|
Merge branch 'main' into fix-global-variable-recursion-fp
|
2025-07-14 16:08:46 +01:00 |
|
Mathias Vorreiter Pedersen
|
1d36405084
|
C++: Accept path changes.
|
2025-07-14 15:47:06 +01:00 |
|
Mathias Vorreiter Pedersen
|
a825213c05
|
C++: Fix FP by not generating a global def entry node for variable 'v' in the 'IRfunction' for 'v' itself.
|
2025-07-14 15:22:52 +01:00 |
|
Mathias Vorreiter Pedersen
|
46627c677d
|
C++: Add FP in dataflow through global variables.
|
2025-07-14 15:20:08 +01:00 |
|
Simon Friis Vindum
|
87a8dccf7a
|
Merge pull request #20037 from paldepind/rust/type-inference-rename-expectations
Rust: Rename type inference test inline expectation tag
|
2025-07-14 15:54:18 +02:00 |
|
Paolo Tranquilli
|
31d0897f74
|
Kotlin: disable bazel cache in plugin test
|
2025-07-14 15:30:11 +02:00 |
|
Nick Rolfe
|
c941e917e7
|
Merge pull request #19731 from github/nickrolfe/ruby-compile-for-overlay-eval
Ruby: enable overlay compilation
|
2025-07-14 08:20:28 -04:00 |
|
Simon Friis Vindum
|
72854537f4
|
Merge branch 'main' into rust/type-inference-rename-expectations
|
2025-07-14 14:15:59 +02:00 |
|