Enviar aquest missatge de text: Hybrid Information Flow Analysis for Programs with Arrays