{"content":[{"text":"Static Program Analysis","bbox":{"left":0.105689,"top":0.084609,"width":0.49750799999999995,"height":0.097795}},{"text":"▪Automatic analysis of the behavior of software \n ▪Target some specific properties \n ▪Static: without executing the program \n Need a model of the semantic of the programming language \n ▫ \n ▪Sound: detect all bugs w.r.t. the property of interest \n False alarms: the analysis failes to prove correct a correct sw \n ▫","bbox":{"left":0.105689,"top":0.242262,"width":0.7976289999999999,"height":0.32201599999999997}},{"text":"Properties \n • SQL Injection \n • NullPointerExceptions \n • ... \n Software","bbox":{"left":0.035378,"top":0.624705,"width":0.28420199999999995,"height":0.25499800000000006}},{"text":"SPA","bbox":{"left":0.436185,"top":0.762133,"width":0.07719999999999999,"height":0.09013300000000002}}],"images_bbox":[{"left":0.011778,"top":0.964444,"width":0.059333,"height":0.025185},{"left":0.775111,"top":0.664,"width":0.065556,"height":0.072889},{"left":0.626667,"top":0.757926,"width":0.361333,"height":0.046222},{"left":0.627333,"top":0.815704,"width":0.350222,"height":0.049778},{"left":0.725778,"top":0.866074,"width":0.265778,"height":0.049778}],"images_bbox_not_text_overlap":[{"left":0.011778,"top":0.964444,"width":0.059333,"height":0.025185},{"left":0.775111,"top":0.664,"width":0.065556,"height":0.072889},{"left":0.626667,"top":0.757926,"width":0.361333,"height":0.046222},{"left":0.627333,"top":0.815704,"width":0.350222,"height":0.049778},{"left":0.725778,"top":0.866074,"width":0.265778,"height":0.049778}]}