Dual-file analysis: Upload both bytecode and Vyper source to map function selectors to reentrancy locks