hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-02 12:15:17 +02:00
Code Issues Packages Projects Releases Wiki Activity

Java: autoformat

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2022-10-13 11:12:59 +02:00
parent ac3379657d
commit 51dfb319f5
2 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
java/ql/lib/semmle/code/java/dataflow/internal/DataFlowDispatch.qll
View File

@@ -9,9 +9,7 @@ private import semmle.code.java.dispatch.internal.Unification
private module DispatchImpl {
private predicate hasHighConfidenceTarget(Call c) {
exists(SummarizedCallable sc |
sc.getACall() = c and not sc.isAutoGenerated()
)
exists(SummarizedCallable sc | sc.getACall() = c and not sc.isAutoGenerated())
or
exists(Callable srcTgt |
srcTgt = VirtualDispatch::viableCallable(c) and

4
java/ql/lib/semmle/code/java/dataflow/internal/FlowSummaryImplSpecific.qll
View File

@@ -64,7 +64,9 @@ private boolean isGenerated(string provenance) {
* `input`, output specification `output`, kind `kind`, and a flag `generated`
* stating whether the summary is autogenerated.
*/
predicate summaryElement(SummarizedCallableBase c, string input, string output, string kind, boolean generated) {
predicate summaryElement(
SummarizedCallableBase c, string input, string output, string kind, boolean generated
) {
exists(
string namespace, string type, boolean subtypes, string name, string signature, string ext,
string provenance