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
C++: Use alias analysis in IR dataflow #16463
base: main
Are you sure you want to change the base?
Conversation
@@ -12,54 +12,107 @@ | |||
private import semmle.code.cpp.ir.implementation.raw.internal.TranslatedInitialization | |||
private import DataFlowPrivate | |||
import SsaInternalsCommon | |||
private import semmle.code.cpp.ir.implementation.aliased_ssa.internal.AliasedSSA as AliasedSSA |
Check warning
Code scanning / CodeQL
Names only differing by case Warning
@@ -8,6 +8,8 @@ | |||
private import DataFlowPrivate | |||
private import TypeFlow | |||
private import semmle.code.cpp.ir.ValueNumbering | |||
private import semmle.code.cpp.ir.implementation.aliased_ssa.internal.AliasedSSA as AliasedSSA |
Check warning
Code scanning / CodeQL
Names only differing by case Warning
@@ -12,54 +12,107 @@ | |||
private import semmle.code.cpp.ir.implementation.raw.internal.TranslatedInitialization | |||
private import DataFlowPrivate | |||
import SsaInternalsCommon | |||
private import semmle.code.cpp.ir.implementation.aliased_ssa.internal.AliasedSSA as AliasedSSA |
Check warning
Code scanning / CodeQL
Acronyms should be PascalCase/camelCase. Warning
@@ -8,6 +8,8 @@ | |||
private import DataFlowPrivate | |||
private import TypeFlow | |||
private import semmle.code.cpp.ir.ValueNumbering | |||
private import semmle.code.cpp.ir.implementation.aliased_ssa.internal.AliasedSSA as AliasedSSA |
Check warning
Code scanning / CodeQL
Acronyms should be PascalCase/camelCase. Warning
*/ | ||
module Stages { | ||
private import semmle.code.cpp.ir.dataflow.internal.SsaInternalsCommon as SsaInternalsCommon | ||
private import semmle.code.cpp.ir.implementation.aliased_ssa.internal.AliasedSSA as AliasedSSA |
Check warning
Code scanning / CodeQL
Acronyms should be PascalCase/camelCase. Warning
*/ | ||
module Stages { | ||
private import semmle.code.cpp.ir.dataflow.internal.SsaInternalsCommon as SsaInternalsCommon | ||
private import semmle.code.cpp.ir.implementation.aliased_ssa.internal.AliasedSSA as AliasedSSA |
Check warning
Code scanning / CodeQL
Names only differing by case Warning
48cd8dd
to
743c669
Compare
No description provided.