We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 14de39a commit cf9c3d5Copy full SHA for cf9c3d5
csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowDispatch.qll
@@ -20,13 +20,7 @@ private import semmle.code.csharp.frameworks.system.collections.Generic
20
*/
21
DotNet::Callable getCallableForDataFlow(DotNet::Callable c) {
22
exists(DotNet::Callable unboundDecl | unboundDecl = c.getUnboundDeclaration() |
23
- (
24
- result.hasBody()
25
- or
26
- // take synthesized bodies into account, e.g. implicit constructors
27
- // with field initializer assignments
28
- result = any(ControlFlow::Nodes::ElementNode n).getEnclosingCallable()
29
- ) and
+ result.hasBody() and
30
if unboundDecl.getFile().fromSource()
31
then
32
// C# callable with C# implementation in the database
0 commit comments