splint在linux的简单使用

在公司设计案例上听一个朋友讲splint在强大的pc-lint面前只是一个小菜，可以方便地在linux上运行(pc-lint所说也行，有空试试），故想用来玩玩，

在FC9下载了splint-3.1.1.Linux.gz，解压

./configure

make

make install

用网上一个朋友的用例

test.c

#include <stdio.h>
int main(int argc,char* argv[])
{
    int a=100; /*没有使用的变量*/
    int b[8];
    printf("Hello c/n");
    b[8]=100; /*明显数组越界 */
    return 0;
}

splint test.c +bounds -paramuse -varuse

检查出了越界错误

还真不赖，小而好用

splint在linux的简单使用相关推荐

39条常见的Linux系统简单面试题
39条常见的Linux系统简单面试题本文主要分享39条常见的Linux系统简单面试题,其中包括如何看当前Linux系统有几颗物理CPU和每颗CPU的核数.如何实时查看网卡流量为多少等等,希望对你有所 ...
Linux下简单的邮件服务器搭建
Linux下简单的邮件服务器搭建电子邮件服务简介电子邮件是因特网上最为流行的应用之一,而邮件服务器是一种用来负责电子邮件收发管理的设备,它构成了电子邮件系统的核心. 电子邮件系统的组成 MUA( ...
linux图形图像三剑客,就linux三剑客简单归纳
就linux三剑客简单归纳:1:awk 习题1:用 awk 中查看服务器连接状态并汇总 netstat-an|awk '/^tcp/{++s[$NF]}END{for(a in s)print a,s ...
Linux 指令简单将***IP列入iptables 限制范围
Linux 指令简单将***IP列入iptables 限制范围今天部分服务器收到真IP的非SYN***,郁闷． netstat -an | grep -v LISTEN | awk '{print ...
linux下简单的备份的脚本 2 【转】
转自:http://blog.chinaunix.net/xmlrpc.php?r=blog/article&uid=26807463&id=4577034 之前写过 linux下简单 ...
linux驱动简单介绍
linux驱动简单介绍驱动基本介绍驱动.顾名思义就是"驱使硬件设备行动".设备驱动与底层硬件之间打交道,按照硬件设备的具体操作方式来读写设备寄存器,最终完成一系列操作. 设备 ...
Linux C简单的web服务器
Linux C简单的web服务器目录 Linux C简单的web服务器一.基础类型重命名二.包裹函数(wrap.h/wrap.c 主要是网络通讯和多线程的包裹函数) 三.服务端程序(web_se ...
linux写入系统状态到文件夹,实验二 Linux系统简单文件操作命令
*实验二** Linux系统简单文件操作命令项目内容这个作业属于哪个课程这个作业的要求在哪里学号-姓名 17041518-孙小文作业学习目标学习在Linux系统终端下进行命令行操作 :掌握 ...
kali Linux的简单介绍
kali Linux的简单介绍 Kali Linux是基于Debian 的Linux发行版,设计用于数字取证操作系统.Back Track是他们之前写的用于取证的Linux发行版.Kali Linux ...

splint在linux的简单使用

splint在linux的简单使用相关推荐

最新文章

热门文章