Skip to content

Commit 4f72977

Browse files
michaelnebelhvitved
authored andcommitted
C#: Also extract callable from FlowSummary SummarizedCallable in DataFlowCallable.
1 parent 3fa990a commit 4f72977

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowDispatch.qll

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -256,7 +256,9 @@ newtype TDataFlowCallable =
256256

257257
class DataFlowCallable extends TDataFlowCallable {
258258
/** Get the underlying source code callable, if any. */
259-
DotNet::Callable asCallable() { this = TDotNetCallable(result) }
259+
DotNet::Callable asCallable() {
260+
this = TDotNetCallable(result) or this = TSummarizedCallable(result)
261+
}
260262

261263
/** Get the underlying summarized callable, if any. */
262264
FlowSummary::SummarizedCallable asSummarizedCallable() { this = TSummarizedCallable(result) }

0 commit comments

Comments
 (0)