Enviar aquest missatge de text: Practical Symbolic Static Analysis for Effective Bug Detection