Crangler: support regular expressions to select functions

To avoid having to list large numbers of functions for mangling, permit
regular expressions as function name entries in the JSON configuration
file.

Author: tautschnig

regression/crangler/remove-static-regex/remove_static1.c

@@ -0,0 +1,14 @@
+int foo()
+{
+  return 0;
+}
+
+int bar();
+
+static void foobar1()
+{
+}
+
+void static foobar2()
+{
+}

regression/crangler/remove-static-regex/remove_static1.desc

@@ -0,0 +1,8 @@
+CORE
+remove_static1.json
+
+^\s+void foobar1\(\)$
+^void\s+foobar2\(\)$
+^EXIT=0$
+^SIGNAL=0$
+--

regression/crangler/remove-static-regex/remove_static1.json

@@ -0,0 +1,13 @@
+{
+  "sources": [
+    "remove_static1.c"
+  ],
+  "functions": [
+    {
+      "foobar[12]": [
+        "remove static"
+      ]
+    }
+  ],
+  "output": "stdout"
+}

src/crangler/c_wrangler.cpp

@@ -29,6 +29,7 @@ Author: Daniel Kroening, [email protected]
 #include <fstream>
 #include <iostream>
 #include <map>
+#include <regex>
 #include <sstream>
 #include <unordered_map>
 
@@ -86,7 +87,7 @@ struct c_wranglert
     bool remove_static = false;
   };
 
-  using functionst = std::map<std::string, functiont>;
+  using functionst = std::list<std::pair<std::regex, functiont>>;
   functionst functions;
 
   // output
@@ -175,6 +176,9 @@ void c_wranglert::configure_functions(const jsont &config)
       if(!items.is_array())
         throw deserialization_exceptiont("function entry must be sequence");
 
+      this->functions.emplace_back(function_name, functiont{});
+      functiont &function_config = this->functions.back().second;
+
       for(const auto &function_item : to_json_array(items))
       {
         // These need to start with "ensures", "requires", "assigns",
@@ -194,16 +198,14 @@ void c_wranglert::configure_functions(const jsont &config)
           std::ostringstream rest;
           join_strings(rest, split.begin() + 1, split.end(), ' ');
 
-          this->functions[function_name].contract.emplace_back(
-            split[0], rest.str());
+          function_config.contract.emplace_back(split[0], rest.str());
         }
         else if(split[0] == "assert" && split.size() >= 3)
         {
           std::ostringstream rest;
           join_strings(rest, split.begin() + 2, split.end(), ' ');
 
-          this->functions[function_name].assertions.emplace_back(
-            split[1], rest.str());
+          function_config.assertions.emplace_back(split[1], rest.str());
         }
         else if(
           (split[0] == "for" && split.size() >= 3 && split[2] == "invariant") ||
@@ -212,23 +214,23 @@ void c_wranglert::configure_functions(const jsont &config)
           std::ostringstream rest;
           join_strings(rest, split.begin() + 3, split.end(), ' ');
 
-          this->functions[function_name].loop_invariants.emplace_back(
+          function_config.loop_invariants.emplace_back(
             split[0], split[1], rest.str());
         }
         else if(split[0] == "stub")
         {
           std::ostringstream rest;
           join_strings(rest, split.begin() + 1, split.end(), ' ');
 
-          this->functions[function_name].stub = rest.str();
+          function_config.stub = rest.str();
         }
         else if(split[0] == "remove")
         {
           if(split.size() == 1)
             throw deserialization_exceptiont("unexpected remove entry");
 
           if(split[1] == "static")
-            this->functions[function_name].remove_static = true;
+            function_config.remove_static = true;
           else
             throw deserialization_exceptiont(
               "unexpected remove entry " + split[1]);
@@ -405,13 +407,15 @@ static void mangle(
   if(
     declaration.is_function() && name_opt.has_value() && declaration.has_body())
   {
-    auto f_it = config.functions.find(name_opt->text);
-    if(f_it != config.functions.end())
+    for(const auto &entry : config.functions)
     {
-      // we are to modify this function
-      mangle_function(declaration, defines, f_it->second, out);
+      if(std::regex_match(name_opt->text, entry.first))
+      {
+        // we are to modify this function
+        mangle_function(declaration, defines, entry.second, out);
 
-      return;
+        return;
+      }
     }
   }