Checkpoint

Author: jeongsoolee09

cpp/misra/src/rules/RULE-21-6-2/DynamicMemoryManagedManually.ql

@@ -14,7 +14,49 @@
 import cpp
 import codingstandards.cpp.misra
 
-from
+/**
+ * A function that has namespace `std` and has name `allocate` or `deallocate`, including but not limited to:
+ * - `std::allocator<T>::allocate(std::size_t)`
+ * - `std::allocator<T>::dellocate(T*, std::size_t)`
+ * - `std::pmr::memory_resource::allocate(std::size_t, std::size_t)`
+ * - `std::pmr::memory_resource::allocate(std::size_t, std::size_t)`
+ */
+class AllocateOrDeallocateStdlibMemberFunction extends MemberFunction {
+  AllocateOrDeallocateStdlibMemberFunction() {
+    this.getName() in ["allocate", "deallocate"] and
+    this.getNamespace().getParentNamespace*() instanceof StdNamespace
+  }
+}
+
+/**
+ * The `std::aligned_alloc` (`<cstdlib>`) or `::aligned_alloc` (`<stdlib.h>`) function.
+ */
+class AlignedAlloc extends Function {
+  AlignedAlloc() { this.hasGlobalOrStdName("aligned_alloc") }
+}
+
+/**
+ * An expression that wraps `Alloc::isMemoryManagementExpr/0` and adds calls to `aligned_alloc`
+ * to the set detected by it.
+ */
+class MemoryManagementExpr extends Expr {
+  MemoryManagementExpr() {
+    isMemoryManagementExpr(this) or this.(FunctionCall).getTarget() instanceof AlignedAlloc
+  }
+}
+
+from Expr expr
 where
-  not isExcluded(x, Memory5Package::dynamicMemoryManagedManuallyQuery()) and
-select
+  not isExcluded(expr, Memory5Package::dynamicMemoryManagedManuallyQuery()) and
+  (
+    /* ===== 1. The expression is a use of non-placement `new`/ `new[]`, or a `delete`. ===== */
+    /* ===== 2. The expression is a call to malloc / calloc /  or to `free`. ===== */
+    expr instanceof MemoryManagementExpr
+    or
+    /* ===== 3. The expression is a call to a member function named `allocate` or `deallocate` in namespace `std`. ===== */
+    expr.(FunctionCall).getTarget() instanceof AllocateOrDeallocateStdlibMemberFunction
+    or
+    /* ===== 4. The expression is a  ==== */
+    none()
+  )
+select expr, "TODO"