[Refinery] Introduce TypePropagatorAnalyzer - pointer types.

syzygy/refinery/process_state/refinery.proto

 // Copyright 2015 Google Inc. All Rights Reserved.
 //
 // Licensed under the Apache License, Version 2.0 (the "License");
 // you may not use this file except in compliance with the License.
 // You may obtain a copy of the License at
 //
 //     http://www.apache.org/licenses/LICENSE-2.0
 //
 // Unless required by applicable law or agreed to in writing, software
 // distributed under the License is distributed on an "AS IS" BASIS,
@@ skipping 90 matching lines @@
   // Base address of the local variables.
   optional uint64 locals_base = 3;
 
   // TODO(manzagop): Add function name, for easier human consumption?
 }
 
 message HeapSnippet {
 }
 
 message TypedBlock {
-  optional string data_name = 1;
-  optional string type_name = 2;
+  // A module identifier within the module layer.
+  optional uint32 module_id = 1;
+  optional uint32 type_id = 2;
+  optional string data_name = 3;
 }
 
 // An instance of a module.
 message Module {
   // Module identifier for this instance.
   optional uint32 module_id = 1;
 }
 
 // TODO(manzagop): flesh out ValidationReport once we have a better idea of the
 // kinds of violations there can be. There will probably be notions of
 // expectation vs observation.
 
 enum ViolationType {
   VIOLATION_UNKNOWN = 0;
   VIOLATION_NO_EXCEPTION_REGISTRATION_RECORD = 1;
   VIOLATION_EXCEPTION_REGISTRATION_RECORD_NOT_IN_STACK = 2;
   VIOLATION_EXCEPTION_CHAIN_ADDRESS_DECREASE = 3;
 }
 
 message Violation {
   optional ViolationType type = 1;
   optional string description = 2;
 }
 
 message ValidationReport {
   repeated Violation error = 1;
 }