怎么把codeplex上下载的vcc（c语言的一个验证工具）源代码，在vs里使用

[！。！]

我要用微软的vcc工具（https://archive.codeplex.com/?p=vcc）来验证c语言的程序，在codeplex上右上角下载了
然后就有点不知道怎么操作了，感觉这个网站很奇怪，下载的东西不能直接安装，网页上提示我点的install界面又回到了这个codeplex的首页上
我在vcc/wiki/docs里找到了install.md和build instruction.md，不知道这两个文件有什么区别和关联，不知道要跟着哪一个
我把里面需要的.net，f#，wix什么都下了，我还装了vs2010，vs2012，vs2019
感觉vcc好像没人用，我总共只找到了三个网站，codeplex的https://archive.codeplex.com/?p=vcc，在github上也有一个https://github.com/microsoft/vcc，还有一个热心博主分享的几篇介绍https://www.cnblogs.com/aureate-sunshine/p/4842652.html，
我把github上的vcc也下载了，感觉和codeplex不是一个版本
因为我用了两台电脑，只有用其中一台电脑的vs2012打开github版本的源代码里的sln文件时，我生成解决方案成功了，在bin/debug里出现了vcc.exe, 别的都有失败，我也搞不懂怎么解决失败
然后我直接打开这个exe就闪退，在vs2012里我也不知道怎么用它
前面这个是根据build instruction.md里的提示做的
如果按照install.md的话，它说you can download the latest installer or VCC using the link on the right hand side of this web page, or the Downloads tab above. 但我觉得我下载下来的不是installer啊，而是源代码和一堆乱七八糟的文件，这个install.md还说要用vcc的话要在include path里加上headers，我在vs2019里的属性管理器里是没有Microsoft.Cpp.Win32.User的，在vs2012里可以找到，但是加上也没什么用
我不知道要怎么才能把codeplex里下载的这个vcc的源码用在vs里，我知道装上以后是在vs里右键就有verify xxx.c的选项，但我一直没出现过这个
我只学过语言和理论的那些课，只会做一做算法题，对这些束手无策，希望有装过vcc，或者知道怎么装codeplex下载的源代码，或者会在vs里装装这种工具的人能帮助我一下，谢谢！！！！！！！！