hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-28 02:05:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

C#: Refactor isIrrelevantOverrideOrImplementation to make it easier to extend it with more methods later.

Browse Source
This commit is contained in:
Michael Nebel
2022-04-01 13:27:05 +02:00
parent 5cb2bd9245
commit 81904cc993
1 changed files with 11 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
csharp/ql/src/utils/model-generator/internal/CaptureModelsSpecific.qll
View File

@@ -22,12 +22,18 @@ class Type = CS::Type;
* is irrelevant to the data flow analysis.
*/
private predicate isIrrelevantOverrideOrImplementation(CS::Callable api) {
exists(System::SystemObjectClass c |
api = c.getGetHashCodeMethod().getAnOverrider*() or
api = c.getEqualsMethod().getAnOverrider*()
exists(CS::Callable exclude, CS::Method m |
(
api = m.getAnOverrider*().getUnboundDeclaration()
or
api = m.getAnUltimateImplementor().getUnboundDeclaration()
) and
exclude = m.getUnboundDeclaration()
|
exists(System::SystemObjectClass c | exclude = [c.getGetHashCodeMethod(), c.getEqualsMethod()])
or
exists(System::SystemIEquatableTInterface i | exclude = i.getEqualsMethod())
)
or
exists(System::IEquatableEqualsMethod equals | equals = api)
}
/**