hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-20 10:46:30 +01:00
Code Issues Packages Projects Releases Wiki Activity

C++: Accept autoformat and test changes

Browse Source
This commit is contained in:
Jonas Jensen
2020-01-31 20:58:53 +01:00
parent 83f807f182
commit e2da98ae24
3 changed files with 14 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
cpp/ql/src/semmle/code/cpp/ir/dataflow/DefaultTaintTracking.qll
View File

@@ -154,8 +154,8 @@ private predicate instructionTaintStep(Instruction i1, Instruction i2) {
// Until we have from through indirections across calls, we'll take flow out
// of the parameter and into its indirection.
exists(IRFunction f, Parameter parameter |
initializeParameter(f, parameter, i1) and
initializeIndirection(f, parameter, i2)
i1 = getInitializeParameter(f, parameter) and
i2 = getInitializeIndirection(f, parameter)
)
or
// Until we have flow through indirections across calls, we'll take flow out
@@ -193,15 +193,15 @@ private predicate instructionTaintStep(Instruction i1, Instruction i2) {
}
pragma[noinline]
private predicate initializeIndirection(IRFunction f, Parameter p, InitializeIndirectionInstruction instr) {
instr.getParameter() = p and
instr.getEnclosingIRFunction() = f
private InitializeIndirectionInstruction getInitializeIndirection(IRFunction f, Parameter p) {
result.getParameter() = p and
result.getEnclosingIRFunction() = f
}
pragma[noinline]
private predicate initializeParameter(IRFunction f, Parameter p, InitializeParameterInstruction instr) {
instr.getParameter() = p and
instr.getEnclosingIRFunction() = f
private InitializeParameterInstruction getInitializeParameter(IRFunction f, Parameter p) {
result.getParameter() = p and
result.getEnclosingIRFunction() = f
}
/**