hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-24 04:36:35 +01:00
Code Issues Packages Projects Releases Wiki Activity

C#: Fix issue with summaryElement predicate.

Browse Source
This commit is contained in:
Michael Nebel
2022-05-19 13:06:24 +02:00
parent 22b9ef2e7b
commit ff1e6637ac
1 changed files with 1 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -96,9 +96,7 @@ DataFlowType getCallbackReturnType(DataFlowType t, ReturnKind rk) {
* `input`, output specification `output`, kind `kind`, and a flag `generated`
* stating whether the summary is autogenerated.
*/
predicate summaryElement(
SummarizedCallable c, string input, string output, string kind, boolean generated
) {
predicate summaryElement(Callable c, string input, string output, string kind, boolean generated) {
exists(
string namespace, string type, boolean subtypes, string name, string signature, string ext
|