hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-24 04:36:35 +01:00
Code Issues Packages Projects Releases Wiki Activity

C++: Fix QLDoc.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2023-08-06 20:50:19 +01:00
parent af07efe14f
commit 33e991b037
1 changed files with 1 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/InvalidPointerToDereference.qll
View File

@@ -143,8 +143,7 @@ private module InvalidPointerToDerefBarrier {
}
/**
* Gets an instruction `instr` such that `instr < derefSource - deltaDerefSinkAndDerefAddress`
* for some `derefSource`.
* Gets an address operand whose definition `instr` satisfies `instr < pai`.
*/
AddressOperand getABarrierAddressOperand(PointerArithmeticInstruction pai) {
result.getDef() = getABarrierInstruction(pai)