Initialise the databases for dynamic allocation and known symbols

Via dynamically_allocated and memory_map.

Author: petr-bauch

src/memory-analyzer/analyze_symbol.cpp

@@ -111,6 +111,22 @@ void gdb_value_extractort::analyze_symbols(const std::vector<irep_idt> &symbols)
     CHECK_RETURN(value.pointee.empty() || (id == value.pointee));
 
     values.insert({value.address, symbol_expr});
+
+    const symbolt &symbol = ns.lookup(id);
+    const symbol_exprt actual_expr = symbol.symbol_expr();
+    if(actual_expr.type().id() != ID_pointer)
+    {
+      memory_map[id2string(id)] = value;
+      continue;
+    }
+
+    const std::string c_symbol = c_converter.convert(actual_expr);
+    const pointer_valuet &symbol_value = gdb_api.get_memory(c_symbol);
+    size_t symbol_size = gdb_api.query_malloc_size(c_symbol);
+
+    if(symbol_size > 1)
+      dynamically_allocated.emplace_back(symbol_value.address, symbol_size, id);
+    memory_map[id2string(id)] = symbol_value;
   }
 
   for(const auto &id : symbols)