Wressnegger, ChristianYamaguchi, FabianMaier, AlwinRieck, Konrad2018-04-132018-04-132017https://dl.gi.de/handle/20.500.12116/16404The subtleties of correctly processing integers confronts developers with a multitude of pitfalls that frequently result in severe software vulnerabilities. Unfortunately, even code shown to be secure on one platform can be vulnerable on another, such that also the migration of code itself is a notable security challenge.enSoftware security Data models Integer-based vulnerabilities64-Bit Migration VulnerabilitiesText/Journal Article10.1515/itit-2016-00411611-2776