Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Appearance settings

DataFlow: Add language-specific predicate for ignoring steps in flow-through calculation #14799

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

Merged
merged 9 commits into from
Dec 6, 2023
Merged

DataFlow: Add language-specific predicate for ignoring steps in flow-through calculation #14799

Changes from 1 commit
Commits
Show all changes
9 commits
Select commit Hold shift + click to select a range
1753a7e
C++: Add tests.
MathiasVP Nov 15, 2023
064f68f
DataFlow: Add a predicate for modifying which dataflow steps particip…
MathiasVP Nov 15, 2023
9049932
C++: Implement the new predicate.
MathiasVP Nov 15, 2023
1771d77
C++: Accept test changes.
MathiasVP Nov 15, 2023
fb6329f
C++: Fix test annotation
MathiasVP Nov 28, 2023
e47ad27
C++: Add Schack's tests.
MathiasVP Nov 28, 2023
339bf13
DataFlow: s/flowThroughStepAllowed/validParameterAliasStep.
MathiasVP Nov 28, 2023
911f154
DataFlow: Adjust QLDoc.
MathiasVP Nov 28, 2023
db0d203
Merge branch 'main' into solve-modify-copy-problem
MathiasVP Dec 5, 2023
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
Prev Previous commit
Next Next commit
C++: Accept test changes.
  • Loading branch information
@MathiasVP
MathiasVP committed Nov 28, 2023
commit 1771d77c23294a2aefad5e20952f1902832f5beb
4 changes: 2 additions & 2 deletions 4 cpp/ql/test/library-tests/dataflow/dataflow-tests/flowOut.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ void modify_copy(int* ptr) { // $ ast-def=ptr
void test_output_copy() {
int x = 0;
modify_copy(&x);
sink(x); // $ SPURIOUS: ir
sink(x); // clean
}

void modify(int* ptr) { // $ ast-def=ptr
Expand All @@ -43,7 +43,7 @@ void modify_copy_of_pointer(int* p, unsigned len) { // $ ast-def=p
void test_modify_copy_of_pointer() {
int x[10];
modify_copy_of_pointer(x, 10);
sink(x[0]); // $ SPURIOUS: ir,ast
sink(x[0]); // $ SPURIOUS: ast // clean
}

void modify_pointer(int* p, unsigned len) { // $ ast-def=p
Expand Down
Morty Proxy This is a proxified and sanitized view of the page, visit original site.