From aae9f8841352e47741dc698d072692f7cfbefd6d Mon Sep 17 00:00:00 2001
From: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
Date: Thu, 28 Nov 2019 17:27:37 +0000
Subject: [PATCH] CPP: Model 'alloca'.

---
 .../src/semmle/code/cpp/models/implementations/Allocation.qll  | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/cpp/ql/src/semmle/code/cpp/models/implementations/Allocation.qll b/cpp/ql/src/semmle/code/cpp/models/implementations/Allocation.qll
index b3e903323cf..4f49d695378 100644
--- a/cpp/ql/src/semmle/code/cpp/models/implementations/Allocation.qll
+++ b/cpp/ql/src/semmle/code/cpp/models/implementations/Allocation.qll
@@ -77,6 +77,9 @@ class MallocAllocationFunction extends AllocationFunction {
         or
         // CoTaskMemAlloc(size)
         name = "CoTaskMemAlloc" and sizeArg = 0
+        or
+        // alloca(size)
+        name = "alloca" and sizeArg = 0
       )
     )
   }