File tree Expand file tree Collapse file tree
microsoft/Likely Bugs/Memory Management/UseAfterFree Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1414 workflow_dispatch :
1515
1616env :
17- CODEQL_VERSION : 2.23.3
17+ CODEQL_VERSION : 2.24.2
1818
1919jobs :
2020 build :
Original file line number Diff line number Diff line change 11---
22lockVersion : 1.0.0
33dependencies :
4+ codeql/controlflow :
5+ version : 2.0.24
46 codeql/cpp-all :
5- version : 4.2 .0
7+ version : 7.0 .0
68 codeql/dataflow :
7- version : 2.0.5
9+ version : 2.0.24
810 codeql/mad :
9- version : 1.0.21
11+ version : 1.0.40
12+ codeql/quantum :
13+ version : 0.0.18
1014 codeql/rangeanalysis :
11- version : 1.0.21
15+ version : 1.0.40
1216 codeql/ssa :
13- version : 1.1.0
17+ version : 2.0.16
1418 codeql/suite-helpers :
15- version : 1.0.21
19+ version : 1.0.40
1620 codeql/tutorial :
17- version : 1.0.21
21+ version : 1.0.40
1822 codeql/typeflow :
19- version : 1.0.21
23+ version : 1.0.40
2024 codeql/typetracking :
21- version : 2.0.5
25+ version : 2.0.24
2226 codeql/util :
23- version : 2.0.8
27+ version : 2.0.27
2428 codeql/xml :
25- version : 1.0.21
29+ version : 1.0.40
2630 microsoft/cpp-queries :
27- version : 0.0.4
31+ version : 0.0.5
2832compiled : false
Original file line number Diff line number Diff line change @@ -34,11 +34,11 @@ predicate areExpressionsGuardedBySimilarConditionsThatMayCallReturnStatement( Ex
3434 gc1 .controls ( e1 .getBasicBlock ( ) , _) and
3535 gc2 .controls ( exitExpr .getBasicBlock ( ) , b ) and
3636 gc2 .controls ( e2 .getBasicBlock ( ) , b .booleanNot ( ) ) and
37- gc1 .getEnclosingFunction ( ) = gc2 .getEnclosingFunction ( ) and
38- gc1 .getASuccessor * ( ) = gc2 and
37+ gc1 .( Expr ) . getEnclosingFunction ( ) = gc2 . ( Expr ) .getEnclosingFunction ( ) and
38+ gc1 .( Expr ) . getASuccessor * ( ) = gc2 . ( Expr ) and
3939 forall ( Variable v |
40- v .getAnAccess ( ) = gc1 .getAChild ( ) |
41- v .getAnAccess ( ) = gc2 .getAChild ( ) ) and
40+ v .getAnAccess ( ) = gc1 .( Expr ) . getAChild ( ) |
41+ v .getAnAccess ( ) = gc2 .( Expr ) . getAChild ( ) ) and
4242 exitExpr .getEnclosingElement ( ) instanceof ReturnStmt
4343 )
4444}
Original file line number Diff line number Diff line change 1- # Copyright (c) Microsoft Corporation.
2- # Licensed under the MIT license.
3-
1+ ---
2+ library : false
3+ warnOnImplicitThis : false
4+ compileForOverlayEval : false
45name : microsoft/windows-drivers
56version : 1.8.2
7+ description : CodeQL queries designed for Windows device driver development.
68dependencies :
7- codeql/cpp-all : ^4.2 .0
8- microsoft/cpp-queries : ^0.0.4
9+ codeql/cpp-all : ^7.0 .0
10+ microsoft/cpp-queries : ^0.0.5
911suites : windows-driver-suites
10- defaultSuiteFile : windows-driver-suites/recommended.qls
1112extractor : cpp
12- licenses : MIT
13- description : CodeQL queries designed for Windows device driver development.
13+ defaultSuiteFile : windows-driver-suites/recommended.qls
You can’t perform that action at this time.
0 commit comments