Invia SMS: Efficiency improvement for statically linked programs analysis