Skip to content

temp - #18230

Draft
hvitved wants to merge 33 commits into
github:mainfrom
hvitved:temp
Draft

temp#18230
hvitved wants to merge 33 commits into
github:mainfrom
hvitved:temp

Conversation

@hvitved

Copy link
Copy Markdown
Contributor

No description provided.

Comment threadjava/ql/src/Security/CWE/CWE-022/TaintedPath.ql Fixed
tausbnand others added 8 commits April 15, 2026 12:54
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
…scripts
- Fix Meta usage: Meta is now abstract with subtypes (PathMeta, KeyValueMeta, TokenTreeMeta, etc.)
- Fix FormatArgsArg: getName() replaced by getArgName() returning FormatArgsArgName
- Add upgrade script (old → new) and downgrade script (new → old)
- Update Definitions.qll, PathResolution.qll, BadCtorInitialization.ql, FormatTemplateVariableAccessConstructor.qll
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Re-run cargo fmt after clippy --fix to ensure consistent formatting.
Re-run codegen to update generated file tracking for MetaImpl.qll.
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Setting proc_macro_processes to 0 causes an index-out-of-bounds panic
in ProcMacroServerPool::new when the proc macro server is enabled.
Use the same defaults as rust-analyzer itself (1 each).
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
tausbnand others added 24 commits April 15, 2026 16:58
- Remove format_args_arg_names from upgrade delete list (table exists in both schemas with different columns)
- Accept updated .expected files for schema changes
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
- Exclude macro-expanded and attribute paths from PathResolutionConsistency
(tokio::main and similar attribute macros resolve to multiple proc macro fns)
- Exclude "macro expansion failed" warnings from ExtractionConsistency
(compile_error! and undefined macros are expected to fail expansion)
- Update pre-existing consistency expectations (net multipleResolvedTargets)
- Update type-inference.expected for new RA results
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Adds upgrade.ql with transformations for all schema changes from
rust-analyzer 0.0.301 to 0.0.328:
- Meta split into PathMeta/KeyValueMeta/TokenTreeMeta/UnsafeMeta
- TraitAlias merged into Trait
- BlockExpr.isTry() -> TryBlockModifier
- StructField.getDefault() -> getDefaultVal() returning ConstArg
- Variant.getDiscriminant() -> getConstArg() returning ConstArg
- FormatArgsArg.getName() -> getArgName() returning FormatArgsArgName
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
….328
rust-analyzer 0.0.317 re-modeled built-in derives (`Debug`, `PartialEq`,
`Eq`, ...) as synthetic impls rather than syntactic macro expansions, so
`Semantics::expand_derive_macro` returns nothing for them and the 0.0.328
upgrade silently dropped their extraction. This regressed queries that
depend on the derived impls (e.g. `rust/insecure-cookie`).
Reconstruct the expansions extractor-side by re-running the still-public
built-in derive expander over the ADT and emitting the resulting `impl`
items. Synthesized nodes are not in the semantics cache, so their source
locations are resolved through the expansion span map instead of
`Semantics::original_range`.
Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com>
Copilot-Session: 86c6ce1d-a625-491a-94ea-eae08d3cc1be
…o-patch
Rust: Restore built-in derive macro expansion under rust-analyzer 0.0.328
Regenerated Cargo.lock, Bazel 3rdparty deps, and CodeQL rust generated files.
Rebased the 0.328 dbscheme upgrade/downgrade scripts onto main's schema chain
(66a489 -> 77e9a70 -> e1bce49 -> M).
Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com>
Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com>
Collapse nested `if let`/`if` into let-chains (edition 2024) in
tree-sitter-extractor and add an explicit `'_` lifetime in yeast, as
required by clippy under the new toolchain.
Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com>
The rust-analyzer 0.0.328 upgrade changed the ra_ap_syntax_bridge import
in rust/extractor/src/translate/base.rs to a single line that exceeds the
max width, causing the rust-code CI job to fail at cargo fmt --check.
Wrap the import so cargo fmt --check passes.
Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com>
// `resolve_derive_macro` yields one entry per derive, including built-in ones for which
// `expand_derive_macro` returns `None`; we use it to recover the built-in expander.
let resolved = semantics.resolve_derive_macro(&meta).unwrap_or_default();
for (i, expanded) in expanded.into_iter().enumerate() {
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentationRubyRustPull requests that update Rust code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants

@hvitved@github-advanced-security@tausbn@redsun82@geoffw0