Add rules for operator new and delete

Author: lucic71

rules/new/src.cpp

@@ -0,0 +1,12 @@
+// Copyright (c) 2022-present INESC-ID.
+// Distributed under the MIT license that can be found in the LICENSE file.
+
+#include <new>
+
+void *f1(std::size_t a0) { return ::operator new(a0); }
+
+void f2(void *a0) { return ::operator delete(a0); }
+
+void *f3(std::size_t a0) { return ::operator new[](a0); }
+
+void f4(void *a0) { return ::operator delete[](a0); }

rules/new/tgt_refcount.rs

@@ -0,0 +1,20 @@
+// Copyright (c) 2022-present INESC-ID.
+// Distributed under the MIT license that can be found in the LICENSE file.
+
+use libcc2rs::*;
+
+fn f1(a0: usize) -> AnyPtr {
+    libcc2rs::malloc_refcount(a0)
+}
+
+fn f2(a0: AnyPtr) {
+    libcc2rs::free_refcount(a0)
+}
+
+fn f3(a0: usize) -> AnyPtr {
+    libcc2rs::malloc_refcount(a0)
+}
+
+fn f4(a0: AnyPtr) {
+    libcc2rs::free_refcount(a0)
+}

rules/new/tgt_unsafe.rs

@@ -0,0 +1,18 @@
+// Copyright (c) 2022-present INESC-ID.
+// Distributed under the MIT license that can be found in the LICENSE file.
+
+unsafe fn f1(a0: usize) -> *mut ::libc::c_void {
+    libcc2rs::malloc_unsafe(a0)
+}
+
+unsafe fn f2(a0: *mut ::libc::c_void) {
+    libcc2rs::free_unsafe(a0)
+}
+
+unsafe fn f3(a0: usize) -> *mut ::libc::c_void {
+    libcc2rs::malloc_unsafe(a0)
+}
+
+unsafe fn f4(a0: *mut ::libc::c_void) {
+    libcc2rs::free_unsafe(a0)
+}