Update VAST and PASTA (#572)

* Update to latest VAST codegen.

* Bootstrap with latest vast.

* Re-bootstrap with some method renaming, and more wrappers.

* Bootstrap PASTA.

* Bump PASTA.

* Bump RocksDB and Abseil.

* Downgrade back to C++20, as RocksDB doesn't compile as C++23.

CMakeLists.txt

@@ -1,6 +1,5 @@
 #
 # Copyright (c) 2021-present, Trail of Bits, Inc.
-# All rights reserved.
 #
 # This source code is licensed in accordance with the terms specified in
 # the LICENSE file found in the root directory of this source tree.

bin/Bootstrap/Bootstrap.cpp

@@ -1,5 +1,4 @@
 // Copyright (c) 2023-present, Trail of Bits, Inc.
-// All rights reserved.
 //
 // This source code is licensed in accordance with the terms specified in
 // the LICENSE file found in the root directory of this source tree.

bin/Bootstrap/Bootstrap.h

@@ -1,5 +1,4 @@
 // Copyright (c) 2023-present, Trail of Bits, Inc.
-// All rights reserved.
 //
 // This source code is licensed in accordance with the terms specified in
 // the LICENSE file found in the root directory of this source tree.

bin/Bootstrap/CMakeLists.txt

@@ -1,6 +1,5 @@
 #
 # Copyright (c) 2022-present, Trail of Bits, Inc.
-# All rights reserved.
 #
 # This source code is licensed in accordance with the terms specified in
 # the LICENSE file found in the root directory of this source tree.
@@ -23,7 +22,7 @@ target_link_libraries("mx-bootstrap"
 
 target_compile_features("mx-bootstrap"
   PUBLIC
-    cxx_std_20
+    "cxx_std_${CMAKE_CXX_STANDARD}"
 )
 
 set_target_properties("mx-bootstrap"

bin/Bootstrap/PASTA.cpp

@@ -1,5 +1,4 @@
 // Copyright (c) 2022-present, Trail of Bits, Inc.
-// All rights reserved.
 //
 // This source code is licensed in accordance with the terms specified in
 // the LICENSE file found in the root directory of this source tree.
@@ -923,7 +922,6 @@ bool CodeGenerator::RunOnEnum(pasta::EnumDecl enum_decl) {
   std::ofstream os(include_dir / dir_name / (enum_name + ".h"), std::ios::trunc | std::ios::out);
   os
       << "// Copyright (c) 2022-present, Trail of Bits, Inc.\n"
-      << "// All rights reserved.\n"
       << "//\n"
       << "// This source code is licensed in accordance with the terms specified in\n"
       << "// the LICENSE file found in the root directory of this source tree.\n\n"
@@ -2028,7 +2026,6 @@ MethodListPtr CodeGenerator::RunOnClass(
                    std::ios::trunc | std::ios::out);
   os
       << "// Copyright (c) 2022-present, Trail of Bits, Inc.\n"
-      << "// All rights reserved.\n"
       << "//\n"
       << "// This source code is licensed in accordance with the terms specified in\n"
       << "// the LICENSE file found in the root directory of this source tree.\n\n"
@@ -3980,7 +3977,6 @@ void CodeGenerator::RunOnClassHierarchies(void) {
 
   schema_os
       << "# Copyright (c) 2022-present, Trail of Bits, Inc.\n"
-      << "# All rights reserved.\n"
       << "#\n"
       << "# This source code is licensed in accordance with the terms specified in\n"
       << "# the LICENSE file found in the root directory of this source tree.\n\n"
@@ -3991,7 +3987,6 @@ void CodeGenerator::RunOnClassHierarchies(void) {
 
   lib_pasta_cpp_os
       << "// Copyright (c) 2022-present, Trail of Bits, Inc.\n"
-      << "// All rights reserved.\n"
       << "//\n"
       << "// This source code is licensed in accordance with the terms specified in\n"
       << "// the LICENSE file found in the root directory of this source tree.\n\n"
@@ -4003,7 +3998,6 @@ void CodeGenerator::RunOnClassHierarchies(void) {
 
   serialize_inc_os
       << "// Copyright (c) 2022-present, Trail of Bits, Inc.\n"
-      << "// All rights reserved.\n"
       << "//\n"
       << "// This source code is licensed in accordance with the terms specified in\n"
       << "// the LICENSE file found in the root directory of this source tree.\n\n"
@@ -4183,7 +4177,6 @@ void CodeGenerator::RunOnClassHierarchies(void) {
 
   serialize_h_os
       << "// Copyright (c) 2022-present, Trail of Bits, Inc.\n"
-      << "// All rights reserved.\n"
       << "//\n"
       << "// This source code is licensed in accordance with the terms specified in\n"
       << "// the LICENSE file found in the root directory of this source tree.\n\n"
@@ -4196,7 +4189,6 @@ void CodeGenerator::RunOnClassHierarchies(void) {
 
   serialize_cpp_os
       << "// Copyright (c) 2022-present, Trail of Bits, Inc.\n"
-      << "// All rights reserved.\n"
       << "//\n"
       << "// This source code is licensed in accordance with the terms specified in\n"
       << "// the LICENSE file found in the root directory of this source tree.\n\n"
@@ -4226,7 +4218,6 @@ void CodeGenerator::RunOnClassHierarchies(void) {
 
   ast_h_os
       << "// Copyright (c) 2022-present, Trail of Bits, Inc.\n"
-      << "// All rights reserved.\n"
       << "//\n"
       << "// This source code is licensed in accordance with the terms specified in\n"
       << "// the LICENSE file found in the root directory of this source tree.\n\n"
@@ -4235,7 +4226,6 @@ void CodeGenerator::RunOnClassHierarchies(void) {
 
   frontend_h_os
       << "// Copyright (c) 2022-present, Trail of Bits, Inc.\n"
-      << "// All rights reserved.\n"
       << "//\n"
       << "// This source code is licensed in accordance with the terms specified in\n"
       << "// the LICENSE file found in the root directory of this source tree.\n\n"
@@ -4249,7 +4239,6 @@ void CodeGenerator::RunOnClassHierarchies(void) {
 
   lib_pasta_h_os
       << "// Copyright (c) 2022-present, Trail of Bits, Inc.\n"
-      << "// All rights reserved.\n"
       << "//\n"
       << "// This source code is licensed in accordance with the terms specified in\n"
       << "// the LICENSE file found in the root directory of this source tree.\n\n"
@@ -4310,7 +4299,6 @@ void CodeGenerator::RunOnClassHierarchies(void) {
 
     fs
         << "// Copyright (c) 2022-present, Trail of Bits, Inc.\n"
-        << "// All rights reserved.\n"
         << "//\n"
         << "// This source code is licensed in accordance with the terms specified in\n"
         << "// the LICENSE file found in the root directory of this source tree.\n\n"

bin/Bootstrap/PythonBindings.py

@@ -1,4 +1,9 @@
-# Copyright (c) 2023 Trail of Bits, Inc., all rights reserved.
+#
+# Copyright (c) 2023-present, Trail of Bits, Inc.
+#
+# This source code is licensed in accordance with the terms specified in
+# the LICENSE file found in the root directory of this source tree.
+#
 
 from argparse import ArgumentParser
 import collections
@@ -18,7 +23,6 @@
 MX_BINDINGS_PYTHON_DIR = os.path.join(MX_BINDINGS_DIR, "Python")
 
 TYPES_CPP = """// Copyright (c) 2023-present, Trail of Bits, Inc.
-// All rights reserved.
 //
 // This source code is licensed in accordance with the terms specified in
 // the LICENSE file found in the root directory of this source tree.
@@ -37,7 +41,6 @@
 
 
 FORWARD_H_PREFIX = """// Copyright (c) 2023-present, Trail of Bits, Inc.
-// All rights reserved.
 //
 // This source code is licensed in accordance with the terms specified in
 // the LICENSE file found in the root directory of this source tree.
@@ -63,7 +66,6 @@
 
 STUB_PREFIX = """#
 # Copyright (c) 2023-present, Trail of Bits, Inc.
-# All rights reserved.
 #
 # This source code is licensed in accordance with the terms specified in
 # the LICENSE file found in the root directory of this source tree.
@@ -152,7 +154,6 @@ def __getitem__(self, index: int) -> {}:
 
 
 MODULE_CPP_PREFIX = """// Copyright (c) 2023-present, Trail of Bits, Inc.
-// All rights reserved.
 //
 // This source code is licensed in accordance with the terms specified in
 // the LICENSE file found in the root directory of this source tree.
@@ -285,7 +286,6 @@ class UserToken;
 
 
 CLASS_HEADER = """// Copyright (c) 2023-present, Trail of Bits, Inc.
-// All rights reserved.
 //
 // This source code is licensed in accordance with the terms specified in
 // the LICENSE file found in the root directory of this source tree.
@@ -312,7 +312,6 @@ class UserToken;
 
 
 ENUM_HEADER = """// Copyright (c) 2023-present, Trail of Bits, Inc.
-// All rights reserved.
 //
 // This source code is licensed in accordance with the terms specified in
 // the LICENSE file found in the root directory of this source tree.
@@ -915,7 +914,6 @@ class UserToken;
 
 
 BINDING_CPP_HEADER = """// Copyright (c) 2023-present, Trail of Bits, Inc.
-// All rights reserved.
 //
 // This source code is licensed in accordance with the terms specified in
 // the LICENSE file found in the root directory of this source tree.