Merge pull request diffblue#202 from diffblue/feature/type_checks

SEC-66 : Added few type-checking is_* functions.

Author: marek-trtik

src/taint-slicer/instrumenter.cpp

@@ -99,6 +99,51 @@ exprt taint_instrumentert::
   return fixed_initialiser;
 }
 
+static bool is_array_reference(const typet &type)
+{
+  return type.id()==ID_symbol &&
+    to_symbol_type(type).get_identifier()=="java::array[reference]";
+}
+
+static bool is_pointer_to_array_reference(const typet &type)
+{
+  return type.id()==ID_pointer &&
+    is_array_reference(to_pointer_type(type).subtype());
+}
+
+static bool is_binary_expression(const exprt &expr)
+{
+  return expr.id()==ID_lt ||
+    expr.id()==ID_le ||
+    expr.id()==ID_gt ||
+    expr.id()==ID_ge ||
+    expr.id()==ID_equal ||
+    expr.id()==ID_notequal ||
+    expr.id()==ID_plus ||
+    expr.id()==ID_minus ||
+    expr.id()==ID_mult ||
+    expr.id()==ID_div ||
+    expr.id()==ID_mod ||
+    expr.id()==ID_rem ||
+    expr.id()==ID_shr ||
+    expr.id()==ID_ashr ||
+    expr.id()==ID_lshr ||
+    expr.id()==ID_shl ||
+    expr.id()==ID_rol ||
+    expr.id()==ID_ror;
+}
+
+static bool is_unary_expression(const exprt &expr)
+{
+  return expr.id()==ID_unary_plus || expr.id()==ID_unary_minus;
+}
+
+static bool is_unary_or_binary_expression(const exprt &expr)
+{
+  return is_binary_expression(expr) ||
+    is_unary_expression(expr);
+}
+
 void taint_instrumentert::instrument_instructions_with_shadow_variables(
   goto_programt::instructionst &instructions_to_be_instrumented,
   const taint_instrumentation_propst &props) const
@@ -175,6 +220,10 @@ taint_instrumentert::taint_instrumentert(
   , use_data_flow_insensitive_version(
       in_props.data_flow_insensitive_version_applied())
 {
+  // The line below contains two dummy statements preventing Travis complain
+  // about not used functions. These statements will be erased in the next PR
+  // when the functions will be used.
+  (void)&is_pointer_to_array_reference; (void)&is_unary_or_binary_expression;
 }
 
 /// Builds a new symbol table from the original symbol