admin管理员组文章数量:1654433
一、下载安装pc-lint:
链接:https://pan.baidu/s/108GMBbBuAyoK60acN4oEdQ
提取码:lyqy
1、下载PC-lint.9.0e.rar并解压:
2、双击pclint9setup.exe 进行安装,此处安装目录为默认C:\lint:
3、安装之后勾选:I want to run the configration program now ,点击下一步,进入自动配置界面:
4.欢迎界面,提示版权信息,点击“下一步”:
5.显示PC-lint命令行使用说明,点击“下一步”:
6.选择“创建一个新的STD.LNT”配置文件,这里使用默认路径,点击“下一步”,出现警告,选择“是”:
7.选择编译器,这里选择“GNU C/C++(co-msc90.Int)”,点击下一步:
8.选择内存模式。可以根据自己程序区和数据区的实际大小选择一个合适的内存模式,这里选择“32-bit Fat Model(-ms, -si4, -sp4)”,点击“下一步”:
9.选择所要的支持库的配置信息,选择我们常用的
Active Template Library(ATL),
Microsoft Foundation Class Library(MFC),
Standard Template Library(STL),
Windows 32-bit,
Windows NT
点击“下一步”:
10.选择是否支持为使用C/C++编程提出过重要建议的作者的一些关于编程的个人意见。根据自己喜好选择,这里左边选择第3个【Scott Meyers(Effective C++ More Effective C++ and Effective C++ 3rd Edition)】,右边选择第1个【Dan Saks】和第3个【MISRA 2004】。点击“下一步”:
11.选择如何包含头文件。这里先选择Skip this step,选择下一步:
12.提示lnt文件已经被创建过了,点击“确定”:
13.提示是否创建新的配置文件,选择“否”:
14.选择生成一个控制全局编译信息显示情况的选项文件,选“No”来生成该文件。点击“下一步”,点击“确定”:
15.选择所支持的集成开发环境,任意选择,这里选择“(env-si.Int)Source Dynamic’s Source Insight”。点击“下一步”:
16.选择把LIN.BAT拷贝到任何一个Path目录下,这里选择“Prepend my PC-lint directory to my PATH(create LSET.BAT)”:
17.提示lset.bat和lin.bat已经被创建,点击“确定”。完成安装配置。
这时候C:\lint下std.lnt文件并没有包含编译所需要的头文件,我们检查的是linux下开发的工程代码,因此最好配置linux下的头文件,linux下的系统头文件都在/usr目录下,我们需要将/usr目录下的头文件拷贝到windows下,这时候拷贝是会提示我们类似如下的错误“
cp: 无法创建符号链接’/mnt/hgfs/share/linux-4.20.13/Documentation/Changes’: 不支持的操作”,这是因为我们的windows系统上不支持linux的符号链接,所以就会报错。这时候最好的办法就是将/usr目录做磁盘映射到windows下,第二步介绍具体步骤。
二、linux安装samba,做磁盘映射将/usr目录映射到Windows下:
1、Ubuntu下安装samba程序,执行如下命令即可:
apt-get install samba
apt-get install smbclient
安装完成后执行
samba -V
如果可以看到版本号即为安装成功:
2、配置samba服务器,使用如下命令打开samba的配置文件:
vi /etc/samba/smb.conf
加入配置信息:
[share]
comment = share folder
browseable = yes
path = /
create mask = 0777
directory mask = 0777
valid users = kwt
force user = nobody
force group = nogroup
public = yes
available = yes
这其中比较重要的参数为path和valid users, path指定了samba服务器的根目录,可以任意指定合法路径; valid users表示可以访问samba服务器的合法用户;用户在配置时注意需要将路径改为自己需要的路径,切勿全盘照抄。
3、接下来需要为samba服务器添加用户了,由于我的配置中使用的是名为"kwt"的用户(该用户其实就是我的登录用户),所以我需要通过如下命令来为samba添加此用户并设置密码:
smbpasswd -a kwt
4、配置完成后需要重启samba服务器,使用如下命令重启samba服务器:
/etc/init.d/samba restart
5、接下来就可以在windows上访问samba服务器了,通过如下的方式访问:
\+ ip
在linux中可以通过命令 ifconfig查看ip地址,输入地址后,我们应该就可以看到share文件夹,点击登录我们刚刚创建的账户和密码进去就是我们虚拟机中的/usr/目录了。
6、为了更方便地使用,我们可以将samba服务器映射到磁盘,按照如下的步骤即可将samba服务器映射到磁盘:
(1)、打开计算机界面,点击映射网络驱动选项:
(2).在文件夹选项中输入对应的路径:
(3).点击确定,即可在计算机界面看见映射成功的磁盘了:
在完成了以上操作之后,我们就可以在第一步在C:\lint目录下创建的std.lnt中配置编译所需的头文件了,具体如下。
三、配置编译所需头文件:
1、打开Linux终端输入如下命令查询/usr目录所有的/include文件夹:
find /usr -name include
2、复制所有路径,粘贴到std.lnt并在所有路径前面添加-iZ:并修改成如下(注意\和/的修改):
至此我们环境以及打好了,可以检查linux下开发的工程代码,注意在检查代码前先要将工程代码的所有头文件和c文件的绝对路径另存一个.lnt文件,放到C:\lint目录下,然后在std.lnt中加入新建的.lnt文件,在windows终端执行如下代码,讲讲查结果保存到log.txt即可:
C:\lint\lint-nt.exe -iC:\lint std.lnt > C:\lint\log.txt
版权声明:本文标题:Windows下pc-lint下载安装以及搭建环境检查Linux下开发的工程代码 内容由热心网友自发贡献,该文观点仅代表作者本人, 转载请联系作者并注明出处:https://m.elefans.com/dianzi/1729664629a1209729.html, 本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌抄袭侵权/违法违规的内容,一经查实,本站将立刻删除。
发表评论