Skip to content
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 our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

IrqlLoweredImproperly: Codeql port of c28141 #157

Merged
merged 2 commits into from
Jan 30, 2025

Conversation

jacob-ronstadt
Copy link
Contributor

@jacob-ronstadt jacob-ronstadt commented Jan 14, 2025

Checklist for Pull Requests

  • Description is filled out.
  • Only one query or related query group is in this pull request.
  • The version number on changed queries has been increased via the @version comment in the file header.
  • All unit tests have been run: (Test README.md).
  • Commands codeql database create and codeql database analyze have completed successfully.
  • A .qhelp file has been added for any new queries or updated if changes have been made to an existing query.

@jacob-ronstadt jacob-ronstadt changed the title Codeql port of c28141 IrqlLoweredImproperly: Codeql port of c28141 Jan 23, 2025
Copy link
Contributor Author

Choose a reason for hiding this comment

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

check if this is for more than KeRaiseIrql

@jacob-ronstadt jacob-ronstadt merged commit 9d62d31 into development Jan 30, 2025
6 of 7 checks passed
@jacob-ronstadt jacob-ronstadt deleted the jacob-ronstadt/c28141 branch January 30, 2025 20:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants