Alexander Sepp

Learn More
While the reconstruction of the control-flow graph of a binary has received wide attention, the challenge of categorizing code into defect-free and possibly incorrect remains a challenge for current static analyses. We present the intermediate language RREIL and a corresponding analysis framework that is able to infer precise numeric information on(More)
The complement proteins C3 and C4 have an internal thioester. Upon activation on the surface of a target cell, the thioester becomes exposed and reactive to surface-bound amino and hydroxyl groups, thus allowing covalent deposition of C3 and C4 on these targets. The two human C4 isotypes, C4A and C4B, which differ by only four amino acids, have different(More)
Veri cation using static analysis often hinges on precise numeric invariants. Numeric domains of in nite height can infer these invariants, but require widening/narrowing which complicates the xpoint computation and is often too imprecise. As a consequence, several strategies have been proposed to prevent a precision loss during widening or to narrow in a(More)
The analysis of executable code requires the reconstruction of instructions from a sequence of bytes (or words) and a specification of their semantics. Most front-ends addressing this problem only support a single architecture, are bound to a specific programming language, or are hard to maintain. In this work, we present a domain specific language (DSL)(More)
The static analysis of executable programs has gained importance due to the need to audit larger and larger programs for security vulnerabilities or safety violations. The basis for analyzing executables is the decoding of byte sequences into assembler instructions and giving a semantics to them. We use our domain specific language GDSL that facilitates(More)
  • 1