Mr. Renaat VerbruggenKHAMIS ABDORABOH H ALGEDAANI2022-05-192022-05-1923011https://drepo.sdl.edu.sa/handle/20.500.14154/15072Detecting Buffer Overflow in Loops Using Static AnalysisThesis