Fixed some bugs and enabled explicit vulnerability detection