We present Emscripten, a compiler from LLVM (Low Level Virtual Machine) assembly to
JavaScript. This opens up two avenues for running code written in languages other than …

This paper concerns static-analysis algorithms for analyzing x86 executables. The aim of the
work is to recover intermediate representations that are similar to those that can be created …

Over the last seven years, we have developed static-analysis methods to recover a good
approximation to the variables and dynamically allocated memory objects of a stripped …

There are many security tools and techniques for analyzing software, but many of them
require access to source code. We propose leveraging decompilation, the study of …

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 …

Analysis of malicious software is an essential task in computer security, it provides the
necessary understanding to devise effective countermeasures and mitigation strategies. The …

Hackers have uncovered the dark side of cryptography—that device developed to defeat
Trojan horses, viruses, password theft, and other cyber-crime. It's called cryptovirology, the …

CodeSurfer/x86 is a prototype system for analyzing x86 executables. It uses a static-analysis
algorithm called value-set analysis (VSA) to recover intermediate representations that are …

Abstract What You See Is Not What You eXecute: computers do not execute source-code
programs; they execute machine-code programs that are generated from source code. Not …

One of the fundamental problems with the static analysis of binary (executable) code is that
of recognizing, in a machine-independent way, the target addresses of n-conditional …