RAMBO: Run-time packer analysis with multiple branch observation