Skip to content

C++: add table relating specifiers and parameters #19215

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
IdrissRio wants to merge 2 commits into from
Closed

C++: add table relating specifiers and parameters #19215

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
a16dd1f
C++: add table relating specifiers and parameters
IdrissRio Apr 3, 2025
553436d
C++: Add upgrade and downgrade scripts
IdrissRio Apr 3, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2,449 changes: 2,449 additions & 0 deletions cpp/downgrades/4dfb1d755c39fd5235cfadda75ee53de1b1ed08b/old.dbscheme
View file
Open in desktop

Large diffs are not rendered by default.

2,444 changes: 2,444 additions & 0 deletions cpp/downgrades/4dfb1d755c39fd5235cfadda75ee53de1b1ed08b/semmlecode.cpp.dbscheme
View file
Open in desktop

Large diffs are not rendered by default.

3 changes: 3 additions & 0 deletions cpp/downgrades/4dfb1d755c39fd5235cfadda75ee53de1b1ed08b/upgrade.properties
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
description: Expose static specifier to parameters
compatibility: partial
paramspecifiers.rel: delete
5 changes: 5 additions & 0 deletions cpp/ql/lib/semmle/code/cpp/Parameter.qll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -49,6 +49,11 @@ class Parameter extends LocalScopeVariable, @parameter {
result = "(unnamed parameter " + this.getIndex().toString() + ")"
}

/** Gets a specifier for this parameter. */
override Specifier getASpecifier() {
paramspecifiers(underlyingElement(this), unresolveElement(result))
}

override string getAPrimaryQlClass() { result = "Parameter" }

/**
Expand Down
5 changes: 5 additions & 0 deletions cpp/ql/lib/semmlecode.cpp.dbscheme
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1005,6 +1005,11 @@ specifiers(
unique string str: string ref
);

paramspecifiers(
int param_id: @parameter ref,
int spec_id: @specifier ref
);

typespecifiers(
int type_id: @type ref,
int spec_id: @specifier ref
Expand Down
Loading