Precogs fix 9tz2il11#8

sameer6pre wants to merge 4 commits intorajnishprecogs:mainrajnishprecogs/cpp-vul-test:mainfrom

sameer6pre:Precogs-fix-9tz2il11sameer6pre/cpp-vul-test2:Precogs-fix-9tz2il11Copy head branch name to clipboard