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

CPP: Speed up LeapYear.qll 'ChecksForLeapYearFunctionCall'.

Browse Source
This commit is contained in:
Geoffrey White
2019-07-04 15:06:05 +01:00
parent e079406a5f
commit 70b996f721
1 changed files with 10 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
cpp/ql/src/Likely Bugs/Leap Year/LeapYear.qll
View File

@@ -194,14 +194,21 @@ class StructTmLeapYearFieldAccess extends LeapYearFieldAccess {
}
}
/**
* `Function` that includes an operation that is checking for leap year.
*/
class ChecksForLeapYearFunction extends Function {
ChecksForLeapYearFunction() {
this = any(CheckForLeapYearOperation clyo).getEnclosingFunction()
}
}
/**
* `FunctionCall` that includes an operation that is checking for leap year.
*/
class ChecksForLeapYearFunctionCall extends FunctionCall {
ChecksForLeapYearFunctionCall() {
exists(Function f, CheckForLeapYearOperation clyo | f.getACallToThisFunction() = this |
clyo.getEnclosingFunction() = f
)
this.getTarget() instanceof ChecksForLeapYearFunction
}
}