linux 下代码检查工具部署使用

远行的蜗牛2016

已于 2022-11-08 16:22:03 修改

阅读量499

点赞数

分类专栏：工具使用 linux 文章标签： vscode ide 编辑器

于 2022-11-08 16:18:29 首次发布

本文链接：https://blog.csdn.net/contiune/article/details/127753127

版权

linux 同时被 2 个专栏收录

42 篇文章 2 订阅

订阅专栏

工具使用

6 篇文章 0 订阅

订阅专栏

Linux 下代码检查工具

一、sonarlint 进行代码审计

安装部署jdk 安装jre 环境
安装jdk ,设置环境变量,修改/etc/profile

JAVA_HOME=/usr/lib/jvm/jdk-18
CLASSPATH=$JAVA_HOME/lib/
PATH=$PATH:$JAVA_HOME/bin 
export PATH JAVA_HOME CLASSPATH

保存文件以后，在source /etc/profile 使得生效
代码检查

需要配置Makefile tool ,设置相关参数生成 compile_commands.json

No compilation databases were found in the workspace
How to generate compile commands

vs code 文件->首选项->MakeFile

{
    "makefile.configurations": [
        {
            "name": "selinux_permission_manager",
             "makeArgs": ["TARGET=permission_manager_dbus_daemon" ,
             "TOOLS_SRC=$(wildcard src/tools/*.c)" ,
             "TOOLS=$(patsubst %.c,%,$(TOOLS_SRC))" ,
             "CC = gcc" ,
             "INC = -I src/include" ,
             "LIBS = $(shell pkg-config --cflags --libs libsystemd)" ,
             "LIBS += -lpthread -lRoseLprAPI -lsemanage -lselinux -lmount" ,
             "CFLAGS += -g" ,
             "DAEMON_SRC=$(wildcard src/dbus_daemon/*.c src/policy_control/*.c)" ,
             "OBJS=$(patsubst %.c,%.o,$(DAEMON_SRC))"]
        }
    ],
    "sonarlint.pathToCompileCommands": "${workspaceFolder}/.vscode/compile_commands.json"
}

编译指令

二、splint的安装。

在安装splint的时候遇到了不少问题（注：在ubuntu下），这里我把安装工程描述一边：
1.下载splint:http://www.splint.org/downloads/splint-3.1.2.src.tgz 这是最新的。不过我使用的是3.1.1版http://www.splint.org/downloads/binaries/splint-3.1.1.Linux.tgz 。
2.解压包安装：

tar -xzf splint-3.1.1.linux.tgz

mkdir /usr/local/splint

cd splint-3.1.1

./configure --prefix=/usr/local/splint

make install

3.配置
#vi ~/.bashrc
加入：export LARCH_PATH= /usr/local/splint/share/splint/lib
export LCLIMPORTDIR = /usr/local/splint/share/splint/import
#source ~/.bashrc

exprot PATH=/usr/local/splint/bin: $P A T H (这里注意，有的说明上这样写 e x p or tP A T H = / u sr / l oc a l / s pl in t / bin / s pl in t :$ PATH。我使用是发现不能有问题 )

或者将～/.bashrc重新打开，将上面一句加入文件中，注销重启。完成环境变量的设置
4.可以使用# splint abc.c

https://blog.csdn.net/xiaowang1379214245/article/details/82688802
https://www.cnblogs.com/LiuYanYGZ/p/11729938.html
http://senlinzhan.github.io/2017/12/31/valgrind/