Towards Symbolic Pointers Reasoning in Dynamic Symbolic Execution
v1v2 (latest)

Towards Symbolic Pointers Reasoning in Dynamic Symbolic Execution

Papers citing "Towards Symbolic Pointers Reasoning in Dynamic Symbolic Execution"

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.