JavaScript instrumentation for browser security
Efficient software-based fault isolation