Symbolic execution is a widely employed technique in vulnerability detection tools. It faces state space explosion problems while analyzing programs interacting with dynamically allocated memory. In this work we present Garuda that makes the symbolic execution heap-aware to mitigate the state space explosion problem. We show that Garuda can detect already known vulnerabilities in real-world software and can generate inputs to trigger 2 more safety violations than the winner of the TestComp2021 testing competition in the competition’s benchmarks.