Security analysis and vulnerability testing results are “pack aged” or “bound to” the actual
software it describes. By linking the results to the software itself, downstream users of the …

Executable binary code is the authoritative source of information about program content and
behavior. The compile, link, and optimize steps can cause a program's detailed execution …

In survivability management systems, some management entities reside on application
hosts that are not necessarily trustworthy. The integrity of these software entities is essential …

Dynamic binary translation is the process of translating and optimizing executable code for
one machine to another at runtime, while the program is “executing” on the target machine …

An improved method and apparatus for performing program code conversion is provided
and, more particularly, for generating improved intermediate representations for use in …

Translating low-level machine instructions into higher-level intermediate language (IL) is
one of the central steps in many binary analysis and instrumentation systems. Existing …

We present empirical evidence to demonstrate that there is little or no difference between
the Java Virtual Machine and the .NET Common Language Runtime, as regards the …

Software is growing ever-more complex and new software processes, methods and products
put greater demands on software engineers than ever before. The support of appropriate …

Binary analysis and instrumentation form the basis of many tools and frameworks for
software debugging, security hardening, and monitoring. Accurate modeling of instruction …

The present invention relates to a binary translator for directly translating binary instructions
written for a legacy processor to executable binary instructions for a native processor. In …