Yusen Su

icon indicating an email [email protected]

icon company University of Waterloo icon location Canada icon location PhD@UWaterloo; Formal Methods, Abstract Interpretation & Model Checking

Results 3 comments of Yusen Su

New Object domain

@agurfinkel About how object domain compared with VSTTE, I walked through this example. ``` entry: region_init(V_i:region(int)); region_init(V_x:region(int)); region_init(V_y:region(int)); i := make_ref(V_i:region(int),4,as_0); x := make_ref(V_x:region(int),4,as_1); y := make_ref(V_y:region(int),4,as_2); store_to_ref(V_i:region(int),i:ref,0:int32); store_to_ref(V_x:region(int),x:ref,1:int32); store_to_ref(V_y:region(int),y:ref,0:int32);...

Prototype mru

Details about my implementation, I made `mru_region_domain` class as a friend class of `region_domain` (also forward declare as well) because all the fields in the original implementation are private members....

Prototype mru

new implementation on PR #60.