CPP: Model 'alloca'.

geoffw0 · geoffw0 · commit aae9f8841352 · 2019-11-28T17:27:37.000Z
diff --git 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
       )
     )
   }

Original file line number	Diff line number	Diff line change
`@@ -77,6 +77,9 @@ class MallocAllocationFunction extends AllocationFunction {`
`77`	`77`	`or`
`78`	`78`	`// CoTaskMemAlloc(size)`
`79`	`79`	`name = "CoTaskMemAlloc" and sizeArg = 0`
	`80`	`+ or`
	`81`	`+ // alloca(size)`
	`82`	`+ name = "alloca" and sizeArg = 0`
`80`	`83`	`)`
`81`	`84`	`)`
`82`	`85`	`}`