Movatterモバイル変換


[0]ホーム

URL:


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

Sign up
Appearance settings

Implement C package: Declarations8#189

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.

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

Already on GitHub?Sign in to your account

Merged
knewbury01 merged 11 commits intogithub:mainfromknewbury01:knewbury01/Declarations8
Feb 22, 2023

Conversation

@knewbury01
Copy link
Collaborator

@knewbury01knewbury01 commentedFeb 14, 2023
edited by lcartey
Loading

Description

Decl8

Change request type

  • Release or process automation (GitHub workflows, internal scripts)
  • Internal documentation
  • External documentation
  • Query files (.ql,.qll,.qls or unit tests)
  • External scripts (analysis report or other code shipped as part of a release)

Rules with added or modified queries

  • No rules added
  • Queries have been added for the following rules:
    • DCL30-C
  • Queries have been modified for the following rules:
    • rule number here

Release change checklist

A change note (development_handbook.md#change-notes) is required for any pull request which modifies:

  • The structure or layout of the release artifacts.
  • The evaluation performance (memory, execution time) of an existing query.
  • The results of an existing query in any circumstance.

If you are only adding new rule queries, a change note is not required.

Author: Is a change note required?

  • Yes
  • No

🚨🚨🚨
Reviewer: Confirm that format ofshared queries (not the .qll file, the
.ql file that imports it) is valid by running them within VS Code.

  • Confirmed

Reviewer: Confirm that either a change note is not required or the change note is required and has been added.

  • Confirmed

Query development review checklist

For PRs that add new queries or modify existing queries, the following checklist should be completed by both the author and reviewer:

Author

  • Have all the relevant rule package description files been checked in?
  • Have you verified that the metadata properties of each new query is set appropriately?
  • Do all the unit tests contain both "COMPLIANT" and "NON_COMPLIANT" cases?
  • Are the alert messages properly formatted and consistent with thestyle guide?
  • Have you run the queries on OpenPilot and verified that the performance and results are acceptable?
    As a rule of thumb, predicates specific to the query should take no more than 1 minute, and for simple queries be under 10 seconds. If this is not the case, this should be highlighted and agreed in the code review process.
  • Does the query have an appropriate level of in-query comments/documentation?
  • Have you considered/identified possible edge cases?
  • Does the query not reinvent features in the standard library?
  • Can the query be simplified further (not golfed!)

Reviewer

  • Have all the relevant rule package description files been checked in?
  • Have you verified that the metadata properties of each new query is set appropriately?
  • Do all the unit tests contain both "COMPLIANT" and "NON_COMPLIANT" cases?
  • Are the alert messages properly formatted and consistent with thestyle guide?
  • Have you run the queries on OpenPilot and verified that the performance and results are acceptable?
    As a rule of thumb, predicates specific to the query should take no more than 1 minute, and for simple queries be under 10 seconds. If this is not the case, this should be highlighted and agreed in the code review process.
  • Does the query have an appropriate level of in-query comments/documentation?
  • Have you considered/identified possible edge cases?
  • Does the query not reinvent features in the standard library?
  • Can the query be simplified further (not golfed!)

@knewbury01knewbury01 self-assigned thisFeb 14, 2023
@knewbury01
Copy link
CollaboratorAuthor

Notes DCL30-C

I chose to implement a specific subset of cases for this rule, as opposed to the general title/description of the rule. The examples in the wiki only describe the cases that I chose to cover and the tool comparison part of the wiki/logistics details described confirm that handling more general cases is a more difficult problem

This query was very close to several pre-existing queries...

  1. the C++ ruleM7-5-1 covers one specific part of the cases that I chose to cover (however C does not have references so I opted to write one query to unify the cases and omit the unnecessary reference bits)
  2. the out of the box queries -ReturnStackAllocatedMemory andStackAddressEscapes also cover pretty similar scenarios, however as I said, I chose to unify the results into one query and additionallyStackAddressEscapes has the same FP that my version does so I think maybe the results are not too different?

possible expansions

if it seems necessary for this query to cover more of the ways that storage durations can conflict or lead to undefined behaviour , possiblythis query for thread storage durations could be a shared query split for the thread case specifically

@lcartey
Copy link
Contributor

There is actually an even closer shared query we've written:DoNotCopyAddressOfAutoStorageObjectToOtherObject.qll

This is used in:

  • M7-5-2AssignmentOfEscapingAutoStorage.ql
  • Rule 18.6AutomaticStorageObjectAddressCopiedToOtherObject.ql

I think the query you've written covers essentially the same topics, so I think I would recommend replacing your query with an import query for the same library. The shared query could be extended if it doesn't cover all the cases (return statements?).

knewbury01 reacted with thumbs up emoji

@knewbury01
Copy link
CollaboratorAuthor

knewbury01 commentedFeb 15, 2023
edited
Loading

There is actually an even closer shared query we've written:DoNotCopyAddressOfAutoStorageObjectToOtherObject.qll

This is used in:

  • M7-5-2AssignmentOfEscapingAutoStorage.ql
  • Rule 18.6AutomaticStorageObjectAddressCopiedToOtherObject.ql

I think the query you've written covers essentially the same topics, so I think I would recommend replacing your query with an import query for the same library. The shared query could be extended if it doesn't cover all the cases (return statements?).

@lcartey, thanks for the review! I took a look,

I thinkDCL30-C ==M7-5-1 +M7-5-2 (this one is actually using the out of the box equivalent for stack addresses that I found, but is the refined for our purposes version, so thank you for the much better find!)

I have now split and use the shared lib for theM7-5-2 part

however now that I look at theM7-5-1 implementation , I still think that maybe my version of it makes more sense for C (omitting the references stuff and using dataflow instead of not), unless you think that both need an update?

Copy link
Contributor

@lcarteylcartey left a comment

Choose a reason for hiding this comment

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

Just some minor stylistic comments, otherwise looks good to me!

@knewbury01knewbury01 merged commit1d839c3 intogithub:mainFeb 22, 2023
Sign up for freeto join this conversation on GitHub. Already have an account?Sign in to comment

Reviewers

1 more reviewer

@lcarteylcarteylcartey approved these changes

Reviewers whose approvals may not affect merge requirements

Assignees

@knewbury01knewbury01

Labels

None yet

Projects

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@knewbury01@lcartey

[8]ページ先頭

©2009-2025 Movatter.jp