The convergence of source code and binary vulnerability discovery - A case study