Text this: Using Control Dependencies for Space-Aware Bytecode Verification.