Skip to content

Commit 7c9d41d

Browse files
committed
C++: Make 'SizeBarrier' private as promised.
1 parent 835b5e3 commit 7c9d41d

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/AllocationToInvalidPointer.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -96,7 +96,7 @@ predicate hasSize(HeuristicAllocationExpr alloc, DataFlow::Node n, int state) {
9696
* but because there's a strict comparison that compares `n` against the size of the allocation this
9797
* snippet is fine.
9898
*/
99-
module SizeBarrier {
99+
private module SizeBarrier {
100100
private module SizeBarrierConfig implements DataFlow::ConfigSig {
101101
predicate isSource(DataFlow::Node source) {
102102
// The sources is the same as in the sources for the second

0 commit comments

Comments
 (0)