Add Banned7 package

cpp/common/src/codingstandards/cpp/DynamicMemory.qll

@@ -0,0 +1,32 @@
+/** Provides classes for modeling dynamic memory allocation and deallocation functions. */
+
+import cpp
+
+/**
+ * An `operator new` or `operator new[]` allocation function called by a placement-new expression.
+ *
+ * The operator functions have a `std::size_t` as their first parameter and a
+ * `void*` parameter somewhere in the rest of the parameter list.
+ */
+class PlacementNewOrNewArrayAllocationFunction extends AllocationFunction {
+  PlacementNewOrNewArrayAllocationFunction() {
+    this.getName() in ["operator new", "operator new[]"] and
+    this.getParameter(0).getType().resolveTypedefs*() instanceof Size_t and
+    this.getAParameter().getUnderlyingType() instanceof VoidPointerType
+  }
+}
+
+/**
+ * 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>::deallocate(T*, std::size_t)`
+ * - `std::pmr::memory_resource::allocate(std::size_t, std::size_t)`
+ * - `std::pmr::memory_resource::deallocate(void*, std::size_t, std::size_t)`
+ */
+class AllocateOrDeallocateStdlibMemberFunction extends MemberFunction {
+  AllocateOrDeallocateStdlibMemberFunction() {
+    this.getName() in ["allocate", "deallocate"] and
+    this.getNamespace().getParentNamespace*() instanceof StdNamespace
+  }
+}

cpp/common/src/codingstandards/cpp/exclusions/cpp/Banned7.qll

@@ -0,0 +1,26 @@
+//** THIS FILE IS AUTOGENERATED, DO NOT MODIFY DIRECTLY.  **/
+import cpp
+import RuleMetadata
+import codingstandards.cpp.exclusions.RuleMetadata
+
+newtype Banned7Query = TDynamicMemoryShouldNotBeUsedQuery()
+
+predicate isBanned7QueryMetadata(Query query, string queryId, string ruleId, string category) {
+  query =
+    // `Query` instance for the `dynamicMemoryShouldNotBeUsed` query
+    Banned7Package::dynamicMemoryShouldNotBeUsedQuery() and
+  queryId =
+    // `@id` for the `dynamicMemoryShouldNotBeUsed` query
+    "cpp/misra/dynamic-memory-should-not-be-used" and
+  ruleId = "RULE-21-6-1" and
+  category = "advisory"
+}
+
+module Banned7Package {
+  Query dynamicMemoryShouldNotBeUsedQuery() {
+    //autogenerate `Query` type
+    result =
+      // `Query` type for `dynamicMemoryShouldNotBeUsed` query
+      TQueryCPP(TBanned7PackageQuery(TDynamicMemoryShouldNotBeUsedQuery()))
+  }
+}

cpp/common/src/codingstandards/cpp/exclusions/cpp/RuleMetadata.qll

@@ -7,6 +7,7 @@ import Banned1
 import Banned2
 import Banned3
 import Banned4
+import Banned7
 import BannedAPIs
 import BannedFunctions
 import BannedLibraries
@@ -106,6 +107,7 @@ newtype TCPPQuery =
   TBanned2PackageQuery(Banned2Query q) or
   TBanned3PackageQuery(Banned3Query q) or
   TBanned4PackageQuery(Banned4Query q) or
+  TBanned7PackageQuery(Banned7Query q) or
   TBannedAPIsPackageQuery(BannedAPIsQuery q) or
   TBannedFunctionsPackageQuery(BannedFunctionsQuery q) or
   TBannedLibrariesPackageQuery(BannedLibrariesQuery q) or
@@ -205,6 +207,7 @@ predicate isQueryMetadata(Query query, string queryId, string ruleId, string cat
   isBanned2QueryMetadata(query, queryId, ruleId, category) or
   isBanned3QueryMetadata(query, queryId, ruleId, category) or
   isBanned4QueryMetadata(query, queryId, ruleId, category) or
+  isBanned7QueryMetadata(query, queryId, ruleId, category) or
   isBannedAPIsQueryMetadata(query, queryId, ruleId, category) or
   isBannedFunctionsQueryMetadata(query, queryId, ruleId, category) or
   isBannedLibrariesQueryMetadata(query, queryId, ruleId, category) or

cpp/common/test/includes/standard-library/any

@@ -0,0 +1 @@
+#include <any.h>

cpp/common/test/includes/standard-library/any.h

@@ -0,0 +1,15 @@
+#ifndef _GHLIBCPP_ANY
+#define _GHLIBCPP_ANY
+namespace std {
+
+class any {
+public:
+  any();
+  any(const any &);
+  any(any &&);
+  template <typename T> any(T &&);
+};
+
+} // namespace std
+
+#endif // _GHLIBCPP_ANY

cpp/common/test/includes/standard-library/bitset

@@ -0,0 +1 @@
+#include <bitset.h>

cpp/common/test/includes/standard-library/bitset.h

@@ -0,0 +1,18 @@
+// stubs/bitset
+
+#ifndef _GHLIBCPP_BITSET
+#define _GHLIBCPP_BITSET
+
+#include <cstddef>
+
+namespace std {
+
+template <std::size_t N> class bitset {
+public:
+  bitset();
+  bitset(unsigned long long);
+};
+
+} // namespace std
+
+#endif // _GHLIBCPP_BITSET

cpp/common/test/includes/standard-library/deque.h

@@ -1,10 +1,10 @@
 #ifndef _GHLIBCPP_DEQUE
 #define _GHLIBCPP_DEQUE
-#include <iterator>
-#include <string>
 #include "memory.h"
-#include <initializer_list>
 #include <empty.h>
+#include <initializer_list>
+#include <iterator>
+#include <string>
 
 namespace std {
 template <class T, class Allocator = std::allocator<T>> class deque {
@@ -14,7 +14,9 @@ template <class T, class Allocator = std::allocator<T>> class deque {
   typedef value_type &reference;
   typedef const value_type &const_reference;
 
-  deque() = default;
+  deque();
+  deque(const deque &);
+  deque(deque &&);
   deque(std::initializer_list<T>, const Allocator & = Allocator());
 
   typedef __iterator<T> iterator;
@@ -40,4 +42,4 @@ template <class T, class Allocator = std::allocator<T>> class deque {
 };
 } // namespace std
 
-#endif // _GHLIBCPP_DEQUE
+#endif // _GHLIBCPP_DEQUE

cpp/common/test/includes/standard-library/filesystem

@@ -0,0 +1 @@
+#include <filesystem.h>

cpp/common/test/includes/standard-library/filesystem.h

@@ -0,0 +1,20 @@
+#ifndef _GHLIBCPP_FILESYSTEM
+#define _GHLIBCPP_FILESYSTEM
+
+namespace std {
+namespace filesystem {
+
+class path {
+public:
+    path();
+    path(const path&);
+    path(path&&);
+    path(const char*);
+
+    path operator/(const path&) const;
+};
+
+} // namespace filesystem
+} // namespace std
+
+#endif // _GHLIBCPP_FILESYSTEM

cpp/common/test/includes/standard-library/forward_list

@@ -0,0 +1 @@
+#include <forward_list.h>

cpp/common/test/includes/standard-library/forward_list.h

@@ -0,0 +1,19 @@
+#ifndef _GHLIBCPP_FORWARD_LIST
+#define _GHLIBCPP_FORWARD_LIST
+
+#include <initializer_list>
+#include <memory>
+
+namespace std {
+
+template <typename T, typename Alloc = std::allocator<T>> class forward_list {
+public:
+  forward_list();
+  forward_list(const forward_list &);
+  forward_list(forward_list &&);
+  forward_list(std::initializer_list<T>);
+};
+
+} // namespace std
+
+#endif // _GHLIBCPP_FORWARD_LIST

cpp/common/test/includes/standard-library/fstream.h

@@ -10,12 +10,36 @@ class basic_fstream : public std::basic_iostream<CharT, Traits> {
   // constructors
   basic_fstream();
   explicit basic_fstream(const char *s);
+  basic_fstream(const basic_fstream &);
+  basic_fstream(basic_fstream &&);
   // members
   bool is_open() const;
   void open(const string &s);
   void close();
 };
+
+template <typename CharT, class Traits> class basic_ifstream {
+public:
+  basic_ifstream();
+  basic_ifstream(const basic_ifstream &);
+  basic_ifstream(basic_ifstream &&);
+  basic_ifstream(const char *);
+};
+
+template <typename CharT, class Traits> class basic_ofstream {
+public:
+  basic_ofstream();
+  basic_ofstream(const basic_ofstream &);
+  basic_ofstream(basic_ofstream &&);
+  basic_ofstream(const char *);
+};
+
 using fstream = basic_fstream<char>;
+using wfstream = basic_fstream<wchar_t>;
+using ifstream = basic_ifstream<char>;
+using wifstream = basic_ifstream<wchar_t>;
+using ofstream = basic_ofstream<char>;
+using wofstream = basic_ofstream<wchar_t>;
 } // namespace std
 
-#endif // _GHLIBCPP_FSTREAM
+#endif // _GHLIBCPP_FSTREAM

cpp/common/test/includes/standard-library/functional.h

@@ -45,7 +45,9 @@ template <class F, class T> binder1st<F> bind1st(const F &f, const T &x);
 template <class F, class T> binder2nd<F> bind2nd(const F &f, const T &x);
 
 template <class T> class reference_wrapper {
+public:
   reference_wrapper(T &ref) : ref(addressof(ref)) {}
+  reference_wrapper(const reference_wrapper&);
   reference_wrapper(T &&ref) = delete;
 
   operator T &() const { return *ref; }

cpp/common/test/includes/standard-library/future

@@ -0,0 +1 @@
+#include <future.h>

cpp/common/test/includes/standard-library/future.h

@@ -0,0 +1,57 @@
+#ifndef _GHLIBCPP_FUTURE
+#define _GHLIBCPP_FUTURE
+
+namespace std {
+
+enum class launch {
+    async,
+    deferred
+};
+
+template<typename T>
+class future {
+public:
+    future();
+    future(const future&);
+    future(future&&);
+};
+
+template<typename T>
+class shared_future {
+public:
+    shared_future();
+    shared_future(const shared_future&);
+    shared_future(shared_future&&);
+    shared_future(future<T>&&);
+};
+
+template<typename T>
+class promise {
+public:
+    promise();
+    promise(const promise&);
+    promise(promise&&);
+    future<T> get_future();
+};
+
+template<typename Signature>
+class packaged_task;
+
+template<typename R, typename... Args>
+class packaged_task<R(Args...)> {
+public:
+    packaged_task();
+    packaged_task(const packaged_task&);
+    packaged_task(packaged_task&&);
+    template<typename F> packaged_task(F&&);
+};
+
+template<typename F, typename... Args>
+auto async(F&&, Args&&...) -> future<decltype(declval<F>()(declval<Args>()...))>;
+
+template<typename F, typename... Args>
+auto async(launch, F&&, Args&&...) -> future<decltype(declval<F>()(declval<Args>()...))>;
+
+} // namespace std
+
+#endif // _GHLIBCPP_FUTURE

cpp/common/test/includes/standard-library/istream.h

@@ -92,4 +92,4 @@ getline(basic_istream<charT, traits> &is,
 typedef basic_istream<char> istream;
 } // namespace std
 
-#endif // _LIBCPP_ISTREAM
+#endif // _LIBCPP_ISTREAM

cpp/common/test/includes/standard-library/list

@@ -0,0 +1 @@
+#include <list.h>

cpp/common/test/includes/standard-library/list.h

@@ -0,0 +1,20 @@
+#ifndef _GHLIBCPP_LIST
+
+#define _GHLIBCPP_LIST
+
+#include <initializer_list>
+#include <memory>
+
+namespace std {
+
+template <typename T, typename Alloc = std::allocator<T>> class list {
+public:
+  list();
+  list(const list &);
+  list(list &&);
+  list(std::initializer_list<T>);
+};
+
+} // namespace std
+
+#endif // _GHLIBCPP_LIST

cpp/common/test/includes/standard-library/map

@@ -10,6 +10,10 @@ template <typename _Key, typename _Tp, typename _Compare = std::less<_Key>,
           typename _Alloc = std::allocator<_Key>>
 class multimap {
 public:
+  multimap();
+  multimap(const multimap&);
+  multimap(multimap&&);
+  multimap(std::initializer_list<std::pair<const _Key, _Tp>>);
   typedef std::pair<const _Key, _Tp> value_type;
   typedef std::__iterator<value_type> iterator;
   typedef std::__iterator<value_type> const_iterator;
@@ -18,14 +22,16 @@ public:
   iterator end();
   const_iterator cbegin();
   const_iterator cend();
-
-  multimap();
 };
 
 template <typename _Key, typename _Tp, typename _Compare = std::less<_Key>,
           typename _Alloc = std::allocator<_Key>>
 class map {
 public:
+  map();
+  map(const map&);
+  map(map&&);
+  map(std::initializer_list<std::pair<const _Key, _Tp>>);
   typedef std::pair<const _Key, _Tp> value_type;
   typedef std::__iterator<value_type> iterator;
   typedef std::__iterator<value_type> const_iterator;
@@ -34,7 +40,5 @@ public:
   iterator end();
   const_iterator cbegin();
   const_iterator cend();
-
-  map();
 };
 } // namespace std