Skip to content

Commit 4012758

Browse files
committed
Make manual neutral summary models block generated summary models
1 parent 5b04a71 commit 4012758

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

go/ql/lib/semmle/go/dataflow/ExternalFlow.qll

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -434,6 +434,10 @@ private class SummarizedCallableAdapter extends SummarizedCallable {
434434
exists(Provenance provenance |
435435
summaryElement(this, input, output, kind, provenance, model) and
436436
provenance.isGenerated()
437+
) and
438+
not exists(Provenance provenance |
439+
neutralElement(this, "summary", provenance) and
440+
provenance.isManual()
437441
)
438442
}
439443

0 commit comments

Comments
 (0)