-
Notifications
You must be signed in to change notification settings - Fork 1.5k
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#/Java: Content based model generation improvements. #17521
base: main
Are you sure you want to change the base?
Conversation
…t more than three summaries.
ReturnNodeExt() { | ||
kind = DataFlowImplCommon::getValueReturnPosition(this).getKind() or | ||
kind = DataFlowImplCommon::getParamReturnPosition(this, _).getKind() | ||
private import csharp as CS |
Check warning
Code scanning / CodeQL
Names only differing by case Warning
private import CaptureModelsSpecific | ||
private import CaptureModelsPrinting | ||
private import java as J | ||
private import semmle.code.java.dataflow.DataFlow |
Check warning
Code scanning / CodeQL
Redundant import Warning
semmle.code.java.dataflow.TaintTracking
private import semmle.code.java.dataflow.internal.FlowSummaryImpl as FlowSummaryImpl | ||
private import semmle.code.java.dataflow.internal.ModelExclusions | ||
private import semmle.code.java.dataflow.internal.TaintTrackingImplSpecific | ||
private import semmle.code.java.dataflow.SSA as Ssa |
Check warning
Code scanning / CodeQL
Names only differing by case Warning
*/ | ||
|
||
private import codeql.dataflow.DataFlow | ||
private import codeql.dataflow.TaintTracking as Tt |
Check warning
Code scanning / CodeQL
Names only differing by case Warning
In this PR we make the following model generator improvements.