mirror of
https://github.com/github/codeql.git
synced 2026-04-29 02:35:15 +02:00
C#/C++: Autoformat post rebase.
This commit is contained in:
@@ -161,7 +161,8 @@ private predicate instructionTaintStep(Instruction i1, Instruction i2) {
|
||||
i2.(PointerAddInstruction).getLeft() = i1
|
||||
or
|
||||
// Flow from argument to return value
|
||||
i2 = any(CallInstruction call |
|
||||
i2 =
|
||||
any(CallInstruction call |
|
||||
exists(int indexIn |
|
||||
modelTaintToReturnValue(call.getStaticCallTarget(), indexIn) and
|
||||
i1 = getACallArgumentOrIndirection(call, indexIn)
|
||||
@@ -173,7 +174,8 @@ private predicate instructionTaintStep(Instruction i1, Instruction i2) {
|
||||
// together in a single virtual variable.
|
||||
// TODO: Will this work on the test for `TaintedPath.ql`, where the output arg
|
||||
// is a pointer addition expression?
|
||||
i2 = any(WriteSideEffectInstruction outNode |
|
||||
i2 =
|
||||
any(WriteSideEffectInstruction outNode |
|
||||
exists(CallInstruction call, int indexIn, int indexOut |
|
||||
modelTaintToParameter(call.getStaticCallTarget(), indexIn, indexOut) and
|
||||
i1 = getACallArgumentOrIndirection(call, indexIn) and
|
||||
|
||||
@@ -92,7 +92,8 @@ private module VirtualDispatch {
|
||||
)
|
||||
or
|
||||
exists(Variable var, FieldAccess a |
|
||||
var = store
|
||||
var =
|
||||
store
|
||||
.getDestinationAddress()
|
||||
.(FieldAddressInstruction)
|
||||
.getObjectAddress()
|
||||
|
||||
@@ -115,10 +115,10 @@ class PropertyProvider extends IRPropertyProvider {
|
||||
MemoryLocation useLocation, IRBlock predBlock, IRBlock defBlock, int defIndex, Overlap overlap
|
||||
|
|
||||
hasPhiOperandDefinition(_, useLocation, block, predBlock, defBlock, defIndex) and
|
||||
key = "PhiUse[" + useLocation.toString() + " from " + predBlock.getDisplayIndex().toString() +
|
||||
"]" and
|
||||
result = defBlock.getDisplayIndex().toString() + "_" + defIndex + " (" + overlap.toString() +
|
||||
")"
|
||||
key =
|
||||
"PhiUse[" + useLocation.toString() + " from " + predBlock.getDisplayIndex().toString() + "]" and
|
||||
result =
|
||||
defBlock.getDisplayIndex().toString() + "_" + defIndex + " (" + overlap.toString() + ")"
|
||||
)
|
||||
or
|
||||
key = "LiveOnEntry" and
|
||||
|
||||
@@ -52,10 +52,8 @@ abstract class TranslatedLocalVariableDeclaration extends TranslatedVariableInit
|
||||
final override Type getTargetType() { result = getVariableType(getVariable()) }
|
||||
|
||||
final override TranslatedInitialization getInitialization() {
|
||||
result = getTranslatedInitialization(getVariable()
|
||||
.getInitializer()
|
||||
.getExpr()
|
||||
.getFullyConverted())
|
||||
result =
|
||||
getTranslatedInitialization(getVariable().getInitializer().getExpr().getFullyConverted())
|
||||
}
|
||||
|
||||
final override Instruction getInitializationSuccessor() {
|
||||
|
||||
@@ -115,10 +115,10 @@ class PropertyProvider extends IRPropertyProvider {
|
||||
MemoryLocation useLocation, IRBlock predBlock, IRBlock defBlock, int defIndex, Overlap overlap
|
||||
|
|
||||
hasPhiOperandDefinition(_, useLocation, block, predBlock, defBlock, defIndex) and
|
||||
key = "PhiUse[" + useLocation.toString() + " from " + predBlock.getDisplayIndex().toString() +
|
||||
"]" and
|
||||
result = defBlock.getDisplayIndex().toString() + "_" + defIndex + " (" + overlap.toString() +
|
||||
")"
|
||||
key =
|
||||
"PhiUse[" + useLocation.toString() + " from " + predBlock.getDisplayIndex().toString() + "]" and
|
||||
result =
|
||||
defBlock.getDisplayIndex().toString() + "_" + defIndex + " (" + overlap.toString() + ")"
|
||||
)
|
||||
or
|
||||
key = "LiveOnEntry" and
|
||||
|
||||
Reference in New Issue
Block a user