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

C++: Update escape analysis tests to new API

Browse Source
This commit is contained in:
Dave Bartolomeo
2020-01-28 10:57:07 -07:00
parent bb9485d548
commit 7013bc6bf4
2 changed files with 12 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
cpp/ql/test/library-tests/ir/escape/escape.ql
View File

@@ -16,9 +16,9 @@ where
exists(IRFunction irFunc |
irFunc = var.getEnclosingIRFunction() and
(
shouldEscape(var) and variableAddressEscapes(var)
shouldEscape(var) and allocationEscapes(var)
or
not shouldEscape(var) and not variableAddressEscapes(var)
not shouldEscape(var) and not allocationEscapes(var)
)
)
select var

18
cpp/ql/test/library-tests/ir/escape/ssa_escape.ql
View File

@@ -1,23 +1,25 @@
import default
import semmle.code.cpp.ir.implementation.aliased_ssa.internal.AliasAnalysis
import semmle.code.cpp.ir.implementation.aliased_ssa.internal.AliasConfiguration
import semmle.code.cpp.ir.implementation.unaliased_ssa.IR
import semmle.code.cpp.ir.implementation.UseSoundEscapeAnalysis
predicate shouldEscape(IRAutomaticUserVariable var) {
exists(string name |
name = var.getVariable().getName() and
name.matches("no_%")
)
class InterestingAllocation extends VariableAllocation {
IRUserVariable userVar;
InterestingAllocation() { userVar = this.getIRVariable() }
final predicate shouldEscape() { userVar.getVariable().getName().matches("no_%") }
}
from IRAutomaticUserVariable var
from InterestingAllocation var
where
exists(IRFunction irFunc |
irFunc = var.getEnclosingIRFunction() and
(
shouldEscape(var) and variableAddressEscapes(var)
var.shouldEscape() and allocationEscapes(var)
or
not shouldEscape(var) and not variableAddressEscapes(var)
not var.shouldEscape() and not allocationEscapes(var)
)
)
select var