An extension of Green Arrays (AddressSanitizer plugin) that uses alias analysis to infer sizess of memory regions referenced by pointers.