Report copyright - A Segmented Memory Model for Symbolic Executionmemory model where forking due to symbolic pointer dereferences is significantly reduced, often completely. We evaluate our segmented
Please pass captcha verification before submit form