這裡要注意：由於機器是mips所以選擇上面的原碼自行編譯
2.tar -xzf splint-3.1.2.src.tgz
sudo ./configure –prefix=/usr/local/splint
sudo make
sudo make install
3.修改配置檔案
#vi ~/.bashrc
最後一行加上：
larch_path=/usr/local/splint/share/splint/lib
lclimportdir=/usr/splint/share/splint/imports
#source ~/.bashrc
# exprot path=/usr/local/splint/bin/splint:$path
4.驗證
#vi null.c
輸入：
char firstchar1 (/*@null@*/ char *s)
char firstchar2 (/*@null@*/ char *s)
//end
用splint掃面：#splint null.c
splint 3.1.1 --- 28 apr 2005
null.c: (in function firstchar1)
null.c:3:11: dereference of possibly null pointer s: *s null.c:1:35: storage s may become null finished checking --- 1 code warning found
由於firstchar1和firstchar2都使用了null說明,表示指標s可能是個null值.
所以,splint會對s值的使用情況進行檢查.因為firstchar2函式中,對s的值進行
了null的判斷.所以,沒有對firstchar2函式的指標s輸出警告資訊.
麒麟系統原始碼安裝mysql
os 中標麒麟 銀河麒麟系統類似 mysql 5.6 解壓mysql tar zxf mysql 5.6.20.tar.gz c home建立mysql使用者及使用者組 groupadd r mysql useradd r g mysql s sbin nologin mysql安裝cmake編譯工...
中標麒麟 使用U盤安裝中標麒麟桌面作業系統
今天的主角來自中標軟體 中標麒麟是正統的linux作業系統，是fedora的衍生版本。寫此篇的緣由 題主厭倦了官方 中標軟體 提供的光碟來安裝系統，由於讀寫速度的原因使用光碟安裝中標麒麟系統時間過長。所以準備將光碟生成iso，然後使用ultraiso 9.6 至於這裡為什麼要強調版本，後面再說 製作...
銀河麒麟系統服務端命令 麒麟系統介紹
3 識別硬碟符號 lsblk 五 ubuntu 簡單的安裝包方法和 yum 源簡紹 新版 v10 作業系統的底層更換為了 ubuntu 底層，所有的軟體包變成了 deb 的格式。所以相應的管理工具的命令做了更新為 為 dpkg apt。以下為 apt 和 dpkg 的簡單使用命令講解 1 apt g...