Skip to content

C++: Add localExprFlow and localExprTaint#1806

Merged
rdmarsh2 merged 4 commits into
github:masterfrom
jbj:localExprFlow
Sep 4, 2019
Merged

C++: Add localExprFlow and localExprTaint#1806
rdmarsh2 merged 4 commits into
github:masterfrom
jbj:localExprFlow

Conversation

@jbj

@jbj jbj commented Aug 23, 2019

Copy link
Copy Markdown
Contributor

Cc @lukecartey: this is for https://jira.semmle.com/browse/ODASA-8053.

For comparison, the corresponding PR for Java is #1795.

The localExprTaint predicate for IR-based taint tracking will follow in a separate PR.

@jbj jbj added the C++ label Aug 23, 2019
@jbj jbj requested a review from a team as a code owner August 23, 2019 07:36
@jbj jbj added the WIP This is a work-in-progress, do not merge yet! label Aug 28, 2019
@jbj

jbj commented Aug 28, 2019

Copy link
Copy Markdown
Contributor Author

Change note needs to move to 1.23.

@jbj jbj removed the WIP This is a work-in-progress, do not merge yet! label Aug 30, 2019
@jbj

jbj commented Aug 30, 2019

Copy link
Copy Markdown
Contributor Author

Rebased to move change note to 1.23.

@rdmarsh2 rdmarsh2 left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM. Still needs docs review.

@rdmarsh2

Copy link
Copy Markdown
Contributor

Actually, one docs thing I just noticed - localFlow is mentioned in the file header comment in DataFlow.qll. This should be mentioned there as well.

@jbj

jbj commented Sep 2, 2019

Copy link
Copy Markdown
Contributor Author

@rdmarsh2 I've added two commits to improve docs.

@semmledocs-ac, can you do doc review on this PR? The QLDoc for the new predicates is mostly copied from either the corresponding predicates in Java or similar predicates around it, so we need to consider consistency if that should change.

@semmledocs-ac semmledocs-ac left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants