Added more attributes (due to requirements of modules not PRed yet).

Author: marek-trtik

src/taint-slicer/instrumentation_props.cpp

@@ -29,7 +29,7 @@ instrumentation_props data structure.
 #include <util/msgstream.h>
 #include <deque>
 
-static bool is_primitive_type(const typet type)
+bool is_primitive_type(const typet type)
 {
   return type==java_boolean_type() ||
          type==java_boolean_type() ||
@@ -42,7 +42,7 @@ static bool is_primitive_type(const typet type)
          type==java_double_type() ;
 }
 
-static std::string parse_type_name(const typet &type, const namespacet &ns)
+std::string parse_type_name(const typet &type, const namespacet &ns)
 {
   if(type.id()==ID_pointer)
     return parse_type_name(to_pointer_type(type).subtype(), ns);
@@ -58,12 +58,12 @@ static std::string parse_type_name(const typet &type, const namespacet &ns)
   return result;
 }
 
-static bool is_java_array_type_name(const std::string &datatype)
+bool is_java_array_type_name(const std::string &datatype)
 {
   return has_prefix(datatype, "java::array[") && *datatype.rbegin()==']';
 }
 
-static bool does_instrumentation_of_type_require_subclass(
+bool does_instrumentation_of_type_require_subclass(
   const std::string &datatype, const typet &type)
 {
   return is_primitive_type(type) ||
@@ -229,6 +229,8 @@ void taint_instrumentation_propst::build_map_from_typenames_to_tokennames(
           {
             datatype,
             {
+              datatype,
+              type,
               does_instrumentation_of_type_require_subclass(datatype, type),
               is_primitive_type(type),
               { arg_token.get_token_name() }

src/taint-slicer/instrumentation_props.h

@@ -52,18 +52,26 @@ class taint_instrumentation_propst
   {
   public:
     datatype_infot(
+      const taint_datatype_idt &id,
+      const typet type,
       const bool requires_subclass,
       const bool is_primitive_type,
       const std::set<taint_tokent::namet> &tokens)
-      : requires_subclass(requires_subclass)
+      : id(id)
+      , type(type)
+      , requires_subclass(requires_subclass)
       , is_primitive_type(is_primitive_type)
       , tokens(tokens)
     {}
+    const taint_datatype_idt &get_id() const { return id; }
+    typet get_type() const { return type; }
     bool subclass_required() const { return requires_subclass; }
     bool is_primitive() const { return is_primitive_type; }
     const std::set<taint_tokent::namet> &get_tokens() const { return tokens; }
     void add_token(const taint_tokent::namet &tname) { tokens.insert(tname); }
   private:
+    taint_datatype_idt id;
+    typet type;
     bool requires_subclass;
     bool is_primitive_type;
     std::set<taint_tokent::namet> tokens;
@@ -125,6 +133,8 @@ class taint_instrumentation_propst
   from_typenames_to_tokennames_mapt datatypes;
 };
 
+typedef taint_instrumentation_propst::datatype_infot taint_datatype_infot;
+
 /*******************************************************************\
 
 Function: taint_build_instrumentation_props
@@ -144,6 +154,12 @@ void taint_build_instrumentation_props(
   const taint_programt &program,
   std::vector<taint_instrumentation_propst> &output);
 
+bool is_primitive_type(const typet type);
+std::string parse_type_name(const typet &type, const namespacet &ns);
+bool is_java_array_type_name(const std::string &datatype);
+bool does_instrumentation_of_type_require_subclass(
+  const std::string &datatype, const typet &type);
+
 void dump_as_json(const taint_instrumentation_propst &props, json_objectt &out);
 
 #endif