Skip to content

Commit 78535dc

Browse files
committed
C++: Autoformat.
1 parent dc00643 commit 78535dc

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

cpp/ql/src/experimental/Security/CWE/CWE-193/InvalidPointerDeref.ql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -96,7 +96,7 @@ predicate hasSize(AllocationExpr alloc, DataFlow::Node n, string state) {
9696
* We do this by splitting the task up into two configurations:
9797
* 1. `AllocToInvalidPointerConf` find flow from `malloc(size)` to `begin + size`, and
9898
* 2. `InvalidPointerToDerefConf` finds flow from `begin + size` to an `end` (on line 3).
99-
*
99+
*
100100
* Finally, the range-analysis library will find a load from (or store to) an address that
101101
* is non-strictly upper-bounded by `end` (which in this case is `*p`).
102102
*/

0 commit comments

Comments
 (0)