C#: Filter out explicit and implicit conversion operators, when creating summaries.

michaelnebel · michaelnebel · commit 04960fc0c603 · 2022-03-30T15:09:26.000+02:00
diff --git a/csharp/ql/src/utils/model-generator/internal/CaptureModelsSpecific.qll b/csharp/ql/src/utils/model-generator/internal/CaptureModelsSpecific.qll
@@ -21,6 +21,7 @@ class Type = CS::Type;
  */
 private predicate isRelevantForModels(CS::Callable api) {
   [api.(CS::Modifiable), api.(CS::Accessor).getDeclaration()].isEffectivelyPublic() and
+  not api instanceof CS::ConversionOperator and
   not api instanceof Util::MainMethod
 }
 

Original file line number	Diff line number	Diff line change
`@@ -21,6 +21,7 @@ class Type = CS::Type;`
`21`	`21`	`*/`
`22`	`22`	`private predicate isRelevantForModels(CS::Callable api) {`
`23`	`23`	`[api.(CS::Modifiable), api.(CS::Accessor).getDeclaration()].isEffectivelyPublic() and`
	`24`	`+ not api instanceof CS::ConversionOperator and`
`24`	`25`	`not api instanceof Util::MainMethod`
`25`	`26`	`}`
`26`	`27`