[GSoC 2017] Project proposal Static DB analysis