<div dir="ltr">Hi All,<div><br></div><div>Suppose I'm analyzing the following code:</div><div><br></div><div>struct MyStruct {</div><div>  int a;</div><div>  int b;</div><div>  int c;</div><div>};</div><div><br></div><div>void foo(MyStruct &s) {</div><div>  ...</div><div>}</div><div><br></div><div>Furthermore, suppose that I would like to annotate s.b's memory in the program state, without also annotating s.a and s.c. When I retrieve the region referenced by s, I observe that it is a SymbolicRegion, which is to be expected. I cannot, however, see any way to reason about any of its SubRegions individually, in this case s.a, s.b, and s.c.</div><div><br></div><div>I understand that SymbolicRegions are supposed to represent memory regions whose values the analyzer cannot properly model. But it still should be able to recognize that from foo's point of view, s has a well-defined structure with three FieldRegions, though their values must be symbolic.</div><div><br></div><div>Any help would be very much appreciated.</div><div><br></div><div>~Scott Constable</div></div>