http://dl.gi.de/handle/20.500.12116/40696 2026-07-21T14:23:16Z http://dl.gi.de/handle/20.500.12116/40728 The Challenge of Indirection: Treating Flags During Sound Analysis of Machine Code Mattsen, Sven; Schupp, Sibylle 2016-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/40727 Analyzing Malware Putty using Function Alignment in the Binary Wichmann, Arne; Schulze, Sandro; Schupp, Sibylle This paper shows a representation of executables and an alignment of functions in an executable to be used when reverse engineering embedded systems. These techniques are not limited to this application and can also be used when studying code variations, code clone-and-own scenarios, and when locating hotspots for software quality inspections. 2016-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/40725 Modellbasierte Migration eines komplexen Versicherungssystems von RPG nach Java Gutheil, Matthias; Stadler, Bernhard Große Legacy-Systeme auf aktuelle Technologien zu migrieren wird immer h¨aufiger notwendig und ist eine spannende und vielschichtige Aufgabe. In diesem Paper beschreiben wir die Migration eines komplexen Versicherungssystems von RPG nach Java, mit Schwerpunkt auf UI-Replatforming und Testing. 2016-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/40726 A Software Analysis Framework for Automotive Embedded Software Quante, Jochen One major drawback of model based development is that support by software analysis tools is usually not available. This is because each modeling language would require specially crafted tools. We present a framework that circumvents this problem by allowing integrated analysis of different models from the automotive domain. It also exploits certain specialities of the domain to realize analyses that would otherwise not have been possible. 2016-01-01T00:00:00Z