Jalapeno is a virtual machine for JavaTM servers written in the Java language to be as self-sufficient as possible and to obtain high quality code for methods that are observed to be frequently executed or computationally intensive.
This paper presents the first scalable context-sensitive, inclusion-based pointer alias analysis for Java programs, and develops a system called bddbddb that automatically translates Datalog programs into highly efficient BDD implementations.
We present a novel technique for static race detection in Java programs, comprised of a series of stages that employ a combination of static analyses to successively reduce the pairs of memory…
A combined pointer and escape analysis algorithm for Java programs that uses the escape information to eliminate synchronization for objects that are accessed by only one thread and to allocate objects on the stack instead of in the heap.
This paper proposes using multiple finite statemachine (FSM) submodels to model the interface of a class, and designs and implements a system that includes static analyses to deduce illegal call sequences in a program, dynamic instrumentation techniques to extract models from execution runs, and a dynamic model checker that ensures that the code conforms to the model.
Bddbddb is described, a BDD-Based Deductive DataBase, which implements the declarative language Datalog with stratified negation, totally-ordered finite domains and comparison operators, and it is shown that a context-insensitive points-to analysis implemented with bddb ddb is about twice as fast as a carefully hand-tuned version.
The Jalape~ no Dynamic Optimizing Compiler is a key component of the Jalape~ no Virtual Machine, a new Java 1 Virtual Machine (JVM) designed to support e cient and scalable execution of Java…
A static analysis algorithm is proposed that uses points-to information to approximate the targets of reflective calls as part of call graph construction and is effective for resolving most reflective calls without any user input.
A new framework, based on the concept ofuctive databases, for context-sensitive program analysis, and a language called PQL that makes a subset of Datalogqueries more intuitive to define to make developing application-specific analyses easy for programmers.
A static context-sensitive, but flow-insensitive information flow tracking analysis that can be used to find all the vulnerabilities in a program and is able to automatically recover from attacks as they occurred using the dynamic checker.