Boosting symbolic execution for vulnerability detection