hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-25 00:35:20 +02:00
Code Issues Packages Projects Releases Wiki Activity

Java: Convert the model generator neutral test to use the combined neutral generator.

Browse Source
This commit is contained in:
Michael Nebel
2025-04-16 10:47:48 +02:00
parent 7e51dae743
commit 71d0409bb7
2 changed files with 1 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
java/ql/test/utils/modelgenerator/dataflow/CaptureNeutralModels.ql
View File

@@ -3,7 +3,7 @@ import utils.modelgenerator.internal.CaptureModels
import utils.test.InlineMadTest
module InlineMadTestConfig implements InlineMadTestConfigSig {
string getCapturedModel(Callable c) { result = Heuristic::captureNoFlow(c) }
string getCapturedModel(Callable c) { result = captureNeutral(c) }
string getKind() { result = "neutral" }
}

1
java/ql/test/utils/modelgenerator/dataflow/p/Pojo.java
View File

@@ -141,7 +141,6 @@ public final class Pojo {
this.stringValue1 = value;
}
// neutral=p;Pojo;copyStringValue;();summary;df-generated
// contentbased-summary=p;Pojo;false;copyStringValue;();;Argument[this].SyntheticField[p.Pojo.stringValue1];Argument[this].SyntheticField[p.Pojo.stringValue2];value;dfc-generated
public void copyStringValue() {
this.stringValue2 = this.stringValue1;