Index: clang-tidy/safety/SafetyTidyModule.cpp
===================================================================
--- clang-tidy/safety/SafetyTidyModule.cpp
+++ clang-tidy/safety/SafetyTidyModule.cpp
@@ -10,6 +10,19 @@
 #include "../ClangTidy.h"
 #include "../ClangTidyModule.h"
 #include "../ClangTidyModuleRegistry.h"
+#include "../cppcoreguidelines/ProTypeMemberInitCheck.h"
+#include "../cppcoreguidelines/SpecialMemberFunctionsCheck.h"
+#include "../google/DefaultArgumentsCheck.h"
+#include "../google/ExplicitConstructorCheck.h"
+#include "../misc/NewDeleteOverloadsCheck.h"
+#include "../misc/NoexceptMoveConstructorCheck.h"
+#include "../misc/UndelegatedConstructor.h"
+#include "../misc/UseAfterMoveCheck.h"
+#include "../modernize/UseEqualsDefaultCheck.h"
+#include "../modernize/UseEqualsDeleteCheck.h"
+#include "../modernize/UseOverrideCheck.h"
+#include "../readability/FunctionSizeCheck.h"
+#include "../readability/IdentifierNamingCheck.h"
 #include "NoAssemblerCheck.h"
 
 namespace clang {
@@ -19,8 +32,32 @@
 class SafetyModule : public ClangTidyModule {
 public:
   void addCheckFactories(ClangTidyCheckFactories &CheckFactories) override {
-    CheckFactories.registerCheck<NoAssemblerCheck>(
-        "safety-no-assembler");
+    CheckFactories.registerCheck<google::ExplicitConstructorCheck>(
+        "safety-explicit-conversions");
+    CheckFactories.registerCheck<readability::FunctionSizeCheck>(
+        "safety-function-size");
+    CheckFactories.registerCheck<readability::IdentifierNamingCheck>(
+        "safety-identifier-naming");
+    CheckFactories.registerCheck<misc::UseAfterMoveCheck>(
+        "safety-invalid-access-moved");
+    CheckFactories.registerCheck<cppgoreguidelines::ProTypeMemberInitCheck>(
+        "safety-member-init");
+    CheckFactories.registerCheck<misc::NewDeleteOverloadsCheck>(
+        "safety-new-delete-operators");
+    CheckFactories.registerCheck<misc::NoexceptMoveConstructorCheck>(
+        "safety-noexcept-move");
+    CheckFactories.registerCheck<NoAssemblerCheck>("safety-no-assembler");
+    CheckFactories
+        .registerCheck<cppgoreguidelines::SpecialMemberFunctionsCheck>(
+            "safety-special-member-functions");
+    CheckFactories.registerCheck<misc::UndelegatedConstructor>(
+        "safety-undelegated-constructor");
+    CheckFactories.registerCheck<modernize::UseEqualsDefaultCheck>(
+        "safety-use-equals-default");
+    CheckFactories.registerCheck<modernize::UseEqualsDeleteCheck>(
+        "safety-use-equals-delete");
+    CheckFactories.registerCheck<modernize::UseOverrideCheck>(
+        "safety-use-override");
   }
 };
 
Index: docs/ReleaseNotes.rst
===================================================================
--- docs/ReleaseNotes.rst
+++ docs/ReleaseNotes.rst
@@ -67,6 +67,11 @@
 
   Finds misleading indentation where braces should be introduced or the code should be reformatted.
 
+- New `safety` module
+
+  Adds checks that implement the High Integrity C++ Coding Standard and other safety
+  standards. Many checks are aliased to other modules.
+
 - New `safety-no-assembler
   <http://clang.llvm.org/extra/clang-tidy/checks/safety-no-assembler.html>`_ check
 
Index: docs/clang-tidy/checks/safety-explicit-conversions.rst
===================================================================
--- /dev/null
+++ docs/clang-tidy/checks/safety-explicit-conversions.rst
@@ -0,0 +1,6 @@
+.. title:: clang-tidy - safety-explicit-conversions
+
+safety-explicit-conversions
+===========================
+
+This check is an alias for `google-explicit-constructor <google-explicit-constructor.hml>`_.
Index: docs/clang-tidy/checks/safety-function-size.rst
===================================================================
--- /dev/null
+++ docs/clang-tidy/checks/safety-function-size.rst
@@ -0,0 +1,6 @@
+.. title:: clang-tidy - safety-function-size
+
+safety-function-size
+====================
+
+This check is an alias for `readability-function-size <readability-function-size.hml>`_.
Index: docs/clang-tidy/checks/safety-identifier-naming.rst
===================================================================
--- /dev/null
+++ docs/clang-tidy/checks/safety-identifier-naming.rst
@@ -0,0 +1,6 @@
+.. title:: clang-tidy - safety-identifier-naming
+
+safety-identifier-naming
+========================
+
+This check is an alias for `readability-identifier-naming <readability-identifier-naming.hml>`_.
Index: docs/clang-tidy/checks/safety-invalid-access-moved.rst
===================================================================
--- /dev/null
+++ docs/clang-tidy/checks/safety-invalid-access-moved.rst
@@ -0,0 +1,6 @@
+.. title:: clang-tidy - safety-invalid-access-moved
+
+safety-invalid-access-moved
+===========================
+
+This check is an alias for `misc-use-after-move <misc-use-after-move.hml>`_.
Index: docs/clang-tidy/checks/safety-member-init.rst
===================================================================
--- /dev/null
+++ docs/clang-tidy/checks/safety-member-init.rst
@@ -0,0 +1,6 @@
+.. title:: clang-tidy - safety-member-init
+
+safety-member-init
+==================
+
+This check is an alias for `cppcoreguidelines-pro-type-member-init <cppcoreguidelines-pro-type-member-init.hml>`_.
Index: docs/clang-tidy/checks/safety-new-delete-operators.rst
===================================================================
--- /dev/null
+++ docs/clang-tidy/checks/safety-new-delete-operators.rst
@@ -0,0 +1,6 @@
+.. title:: clang-tidy - safety-new-delete-operators
+
+safety-new-delete-operators
+===========================
+
+This check is an alias for `misc-new-delete-overloads <misc-new-delete-overloads.hml>`_.
Index: docs/clang-tidy/checks/safety-noexcept-move.rst
===================================================================
--- /dev/null
+++ docs/clang-tidy/checks/safety-noexcept-move.rst
@@ -0,0 +1,6 @@
+.. title:: clang-tidy - safety-noexcept-move
+
+safety-noexcept-move
+====================
+
+This check is an alias for `misc-noexcept-moveconstructor <misc-noexcept-moveconstructor.hml>`_.
Index: docs/clang-tidy/checks/safety-special-member-functions.rst
===================================================================
--- /dev/null
+++ docs/clang-tidy/checks/safety-special-member-functions.rst
@@ -0,0 +1,6 @@
+.. title:: clang-tidy - safety-special-member-functions
+
+safety-special-member-functions
+===============================
+
+This check is an alias for `cppcoreguidelines-special-member-functions <cppcoreguidelines-special-member-functions.hml>`_.
Index: docs/clang-tidy/checks/safety-undelegated-constructor.rst
===================================================================
--- /dev/null
+++ docs/clang-tidy/checks/safety-undelegated-constructor.rst
@@ -0,0 +1,6 @@
+.. title:: clang-tidy - safety-undelegated-construtor
+
+safety-undelegated-constructor
+==============================
+
+This check is an alias for `misc-undelegated-constructor <misc-undelegated-constructor.hml>`_.
Index: docs/clang-tidy/checks/safety-use-equals-default.rst
===================================================================
--- /dev/null
+++ docs/clang-tidy/checks/safety-use-equals-default.rst
@@ -0,0 +1,6 @@
+.. title:: clang-tidy - safety-use-equals-defaults
+
+safety-use-equals-default
+=========================
+
+This check is an alias for `modernize-use-equals-default <modernize-use-equals-default.hml>`_.
Index: docs/clang-tidy/checks/safety-use-equals-delete.rst
===================================================================
--- /dev/null
+++ docs/clang-tidy/checks/safety-use-equals-delete.rst
@@ -0,0 +1,6 @@
+.. title:: clang-tidy - safety-use-equals-delete
+
+safety-use-equals-delete
+========================
+
+This check is an alias for `modernize-use-equals-delete <modernize-use-equals-delete.hml>`_.
Index: docs/clang-tidy/checks/safety-use-override.rst
===================================================================
--- /dev/null
+++ docs/clang-tidy/checks/safety-use-override.rst
@@ -0,0 +1,6 @@
+.. title:: clang-tidy - safety-use-override
+
+safety-use-override
+===================
+
+This check is an alias for `modernize-use-override <modernize-use-override.hml>`_.