SMS versenden: Efficiency improvement for statically linked programs analysis