http://dl.gi.de/handle/20.500.12116/16400 Fri, 24 Jul 2026 14:18:39 GMT 2026-07-24T14:18:39Z http://dl.gi.de/handle/20.500.12116/16407 Pattern-based methods for vulnerability discovery Yamaguchi, Fabian Discovering and eliminating critical vulnerabilities in program code is a key requirement for the secure operation of software systems. This task rests primarily on the shoulders of experienced code analysts who inspect programs in-depth to identify weaknesses. As software systems grow in complexity, while the amount of security critical code increases, supplying these analysts with effective methods to assist in their work becomes even more crucial. Unfortunately, exact methods for automated software analysis are rarely of help in practice, as they do not scale to the complexity of contemporary software projects, and are not designed to benefit from the analyst's domain knowledge. To address this problem, we present pattern-based vulnerability discovery, a novel approach of devising assistant methods for vulnerability discovery that are build with a high focus on practical requirements. The approach combines techniques of static analysis, machine learning, and graph mining to lend imprecise but highly effective methods that allow analysts to benefit from the machine's pattern recognition abilities without sacrificing the strengths of manual analysis. Sun, 01 Jan 2017 00:00:00 GMT http://dl.gi.de/handle/20.500.12116/16407 2017-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/16404 64-Bit Migration Vulnerabilities Wressnegger, Christian; Yamaguchi, Fabian; Maier, Alwin; Rieck, Konrad The 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. Sun, 01 Jan 2017 00:00:00 GMT http://dl.gi.de/handle/20.500.12116/16404 2017-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/16403 E-mail Header Injection Vulnerabilities Chandramouli, Sai Prashanth; Zhao, Ziming; Doupé, Adam; Ahn, Gail-Joon E-mail Header Injection vulnerability is a class of vulnerability that can occur in web applications that use user input to construct e-mail messages. E-mail Header Injection is possible when the mailing script fails to check for the presence of e-mail headers in user input (either form fields or URL parameters). The vulnerability exists in the reference implementation of the built-in mail functionality in popular languages such as PHP, Java, Python, and Ruby. With the proper injection string, this vulnerability can be exploited to inject additional headers, modify existing headers, and alter the content of the e-mail. Sun, 01 Jan 2017 00:00:00 GMT http://dl.gi.de/handle/20.500.12116/16403 2017-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/16405 Cross-architecture bug search in binary executables Pewny, Jannik; Garmany, Behrad; Gawlik, Robert; Rossow, Christian; Holz, Thorsten With the general availability of closed-source software for various CPU architectures, there is a need to identify security-critical vulnerabilities at the binary level. Unfortunately, existing bug finding methods fall short in that they i) require source code, ii) only work on a single architecture (typically x86), or iii) rely on dynamic analysis, which is difficult for embedded devices. In this paper, we propose a system to derive bug signatures for known bugs. First, we compute semantic hashes for the basic blocks of the binary. When can then use these semantics to find code parts in the binary that behave similarly to the bug signature, effectively revealing code parts that contain the bug. As a result, we can find vulnerabilities, e.g., the famous Heartbleed vulnerabilities, in buggy binary code for any of the supported architectures (currently, ARM, MIPS and x86). Sun, 01 Jan 2017 00:00:00 GMT http://dl.gi.de/handle/20.500.12116/16405 2017-01-01T00:00:00Z