Rasmus Lerchedahl Petersen
b67694b2ab
Python: Remove imprecise container steps
...
- remove `tupleStoreStep` and `dictStoreStep` from `containerStep`
These are imprecise compared to the content being precise.
- add implicit reads to recover taint at sinks
- add implicit read steps for decoders
to supplement the `AdditionalTaintStep`
that now only covers when the full container is tainted.
2026-05-21 16:57:44 +01:00
Kristen Newbury
5503140318
Merge branch 'main' into knewbury01/adjust-actions-queries-untrusted-checkout-second-iteration
2026-05-21 10:49:36 -04:00
Kristen Newbury
a094a8e460
Fix merge conflicts
2026-05-21 10:48:24 -04:00
Kristen Newbury
2f8c0df537
Address review feedback
2026-05-21 10:40:52 -04:00
Óscar San José
c25398ea0c
Merge pull request #21868 from github/copilot/bump-jackson-core-to-2150
...
Bump jackson-core to 2.18.6 in ferstl-depgraph-dependencies (CVE-2025-52999)
2026-05-21 16:18:15 +02:00
Owen Mansel-Chan
7e6b10e8cf
Merge pull request #21879 from owen-mc/shared/cfg/simpleleafnode
...
Shared CFG: update `simpleLeafNode` to exclude those with additional leaf nodes
2026-05-21 14:58:04 +01:00
Owen Mansel-Chan
149bfd19d3
Merge pull request #21880 from owen-mc/shared/cfg/for-loop-stmt-init-update
...
Shared CFG: Make the init and update parts of a for loop statements
2026-05-21 14:57:44 +01:00
Paolo Tranquilli
153fbb0378
Merge pull request #21878 from github/redsun82/windows-diagnostic-path-tests
...
Add Windows file path tests for `relativize_for_diagnostic`
2026-05-21 15:30:25 +02:00
Owen Mansel-Chan
039b5927f0
C#: update ForStmt wrapper class
2026-05-21 13:45:30 +01:00
Owen Mansel-Chan
2070dafeb2
Java: add ForStmt wrapper class
2026-05-21 13:41:29 +01:00
Owen Mansel-Chan
c3bafc75ab
Shared CFG: allow statements for init and update of for loop
2026-05-21 13:40:26 +01:00
Owen Mansel-Chan
19f93cd18b
Shared CFG: update simpleLeafNode to exclude those with additional nodes
2026-05-21 13:31:56 +01:00
Paolo Tranquilli
39becfd7e5
Add Windows file path tests for relativize_for_diagnostic
...
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com >
2026-05-21 14:08:50 +02:00
copilot-swe-agent[bot]
0f3c9ab483
Fix remaining macOS bash 3.2 portability issues in update script (step 5)
2026-05-21 12:07:45 +00:00
Paolo Tranquilli
a84043b627
Merge pull request #21844 from github/redsun82/issue-21802-ruby-absolute-paths-in-sarif-diagnostics-a02887
...
Use relative paths in tree-sitter extractor diagnostics
2026-05-21 14:00:32 +02:00
Owen Mansel-Chan
2280955136
Merge pull request #21800 from knewbury01/knewbury01/adjust-actions-queries-untrusted-checkout-critical-alert
...
Actions: Adjust alert location UntrustedCheckoutCritical
2026-05-21 12:40:29 +01:00
Owen Mansel-Chan
4897757b96
Merge pull request #21875 from github/workflow/coverage/update
...
Update CSV framework coverage reports
2026-05-21 11:09:26 +01:00
copilot-swe-agent[bot]
8170c207bd
Fix macOS bash 3.2 heredoc-in-$() portability issue in update script
2026-05-21 09:57:10 +00:00
copilot-swe-agent[bot]
38a2101e11
update-ferstl-depgraph-dependencies.sh: address review feedback
...
- Use BUILD_REPO/DIST_REPO split so zip contains only runtime deps
(build-lifecycle plugins, test jars, etc. stay in throwaway BUILD_REPO)
- Minimal inline stub pom.xml (no deps) instead of archetype:generate
to avoid polluting DIST_REPO with stub project's own dependencies
- Replace grep -oP (PCRE, unavailable on macOS BSD grep) with Python re
- Use version-aware Python version_key() for max POM version selection
(lexicographic sort fails for e.g. 2.18.10 vs 2.18.6; release > snapshot)
- Write zip to caller's working directory; keep cleanup trap active;
remove `trap - EXIT` which was leaving WORK_DIR behind
2026-05-21 09:41:57 +00:00
github-actions[bot]
fb04cd2212
Add changed framework coverage reports
2026-05-21 00:54:55 +00:00
Mathias Vorreiter Pedersen
a33af09244
C++: Add models for _fscanf_s_l, fwscanf_s and _fwscanf_s_l.
2026-05-20 18:59:04 +01:00
Mathias Vorreiter Pedersen
25d20399f3
C++: Add models for _scanf_s_l, wscanf_s and _wscanf_s_l.
2026-05-20 18:43:07 +01:00
Mathias Vorreiter Pedersen
e6c5f944ba
C++: Add missing format string part in test.
2026-05-20 18:13:35 +01:00
Mathias Vorreiter Pedersen
157424cca3
Merge pull request #21836 from MathiasVP/uncertain-def-more-complete
...
C++: Support reasoning about whether a phi node overwrites the entire buffer
2026-05-20 13:04:37 +01:00
Óscar San José
b9bf81e463
Merge branch 'main' into copilot/bump-jackson-core-to-2150
2026-05-20 13:09:04 +02:00
Michael Nebel
e408540d36
Potential fix for pull request finding
...
Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com >
2026-05-20 11:08:41 +02:00
Michael Nebel
462a7bc423
C#: Add change-note.
2026-05-20 10:59:52 +02:00
Michael Nebel
422a6bd670
C#: Remove the prelim C# 14 footnote from the documentation.
2026-05-20 10:59:10 +02:00
Jack Nørskov Jørgensen
4b095f3129
Merge pull request #21754 from github/jacknojo/add_llm_generated_mads_for_avro
...
Add MaDs for Apache Avro
2026-05-20 08:24:06 +02:00
Geoffrey White
3aa660663e
Merge pull request #21806 from geoffw0/extsensitive
...
Shared: Improvements to SensitiveDataHeuristics.qll
2026-05-19 16:22:03 +01:00
Paolo Tranquilli
c1e26f9ea5
Merge pull request #21847 from github/redsun82/redsun82-python-absolute-paths-in-diagno
...
Python extractor: use relative paths in diagnostic locations
2026-05-19 17:03:35 +02:00
Mathias Vorreiter Pedersen
f5113b1932
C++: Fix internal SCC edges and accept test changes.
2026-05-19 15:39:32 +01:00
Mathias Vorreiter Pedersen
f77d426706
C++: Add test demonstrating broken phi cycle certain'ness.
2026-05-19 15:35:20 +01:00
Mathias Vorreiter Pedersen
c6ce13a012
C++: Simplify recursion in 'PhiCycle::isCertain' and do not restrict the definition to be a 'PhiNode'.
2026-05-19 15:27:23 +01:00
Kristen Newbury
bfc6deeb9b
Adjust wording helpfiles UntrustedCheckoutX all three files
2026-05-19 10:19:00 -04:00
Kristen Newbury
0a876583e5
Adjust name UntrustedCheckoutHigh wording trusted to privileged
2026-05-19 10:12:04 -04:00
Jack Nørskov Jørgensen
aa136a3282
Add change note entry
2026-05-19 16:09:05 +02:00
Óscar San José
8b799f84ed
Do not remove zip file if the process succeeds
2026-05-19 14:30:50 +02:00
Michael Nebel
6825ccc74f
C#: Add change-note.
2026-05-19 14:24:08 +02:00
Michael Nebel
c0273ae94f
C#: Update other affected tests (including database quality).
2026-05-19 14:24:05 +02:00
Michael Nebel
1c01bb32d9
C#: Update test expected output.
2026-05-19 14:24:03 +02:00
Michael Nebel
c3bb5e8eff
C#: Use ref return getters for properties/indexers in write contexts.
2026-05-19 14:24:00 +02:00
Michael Nebel
9d0d4e4912
C#: Add ref return info for accessors.
2026-05-19 14:23:57 +02:00
Michael Nebel
a2ac0ab7d5
C#: Add test case for indexer calls and update test expected for other files.
2026-05-19 14:23:55 +02:00
Michael Nebel
42aaae7cf3
C#: Add test case for property calls and update test expected for other files.
2026-05-19 14:23:52 +02:00
Michael Nebel
30a5769e20
C#: Simplify and streamline the implementation of Prefix and Postfix unary expressions.
2026-05-19 14:20:53 +02:00
Michael Nebel
a72cef6fda
C#: Rename Unary to PrefixUnary.
2026-05-19 14:20:50 +02:00
Michael Nebel
dc80a029cb
C#: Streamline the AddOperatorCall logic for prefix and postfix unary operators.
2026-05-19 14:20:44 +02:00
Michael Nebel
49a435c402
Merge pull request #21827 from michaelnebel/csharp14/userincrementdecrement
...
C# 14: User increment/decrement support.
2026-05-19 14:18:08 +02:00
Jeroen Ketema
96ef59a22a
Merge pull request #21861 from jketema/jketema/swift-6.3.2
...
Swift: Update to Swift 6.3.2
2026-05-19 14:01:25 +02:00