Enviar aquest missatge de text: SPARK: Static Program Analysis Reasoning and Retrieving Knowledge