kali中MulVAL的安装与配置

我的Kali版本

配置JAVA环境

Kali 2021.3自带openjdk 11的环境

# 验证openjdk11

java --version

javac --version

能输出版本号则说明环境正常

我在验证javac时没有输出正常版本号，显示找不到命令

运行apt install default-jdk后openjdk自动被升级为17

决定删除重装openjdk11

# 确保删除所有openjdk相关

apt-get remove openjdk-11-jre\nsudo apt-get remove openjdk-11-jre-headless

apt-get remove openjdk-17-jre\nsudo apt-get remove openjdk-17-jre-headless

# 验证系统中没有openjdk了

java --version

javac --version

# 安装openjdk11

apt install openjdk-11-jdk openjdk-11-jre -y

# 验证安装成功

java --version

javac --version

配置flex和bison

虽然MulVAL安装文档中没有提示要用到，但不安装会导致编译错误

apt install flex

apt install bison

安装XSB

wget http://xsb.sourceforge.net/downloads/XSB.tar.gz

tar xzvf XSB.tar.gz

cd ./XSB/build

./configure   # 检查配置

./makexsb     # 编译安装

配置xsb的环境变量

vim ~/.zshrc

将 export PATH=$PATH:/path/to/XSB/bin 添加到文件最末一行

# ！！注意修改/path/to/XSB为你的电脑上XSB的实际路径

# :wq 保存文件

source ~/.zshrc

安装Graphviz

apt install graphviz graphviz-doc -y

配置MySQL

Kali自带了mariaDB，没有必要按照其他教程那样再去配置MySQL

但是Kali好像只安装了mariaDB-server或mariaDB-client中的一个，为了避免错误，直接两个都安装上

apt install mariadb-server mariadb-client -y

# 默认mariadb是关闭的，需要启动一下

systemctl start mysql

mysql -uroot -p

# 输入你自己的密码，默认密码为空

# ctrl+Z退出

安装MulVAL

cd 你的安装目录

我把XSB和mulval 都放在opt下的xsb文件夹下了（命名套路非常迷惑了，别管！

# 用git 直接clone或者登录github先下载压缩包后解压都行，目前的MulVAL版本是1.2.1

git clone https://github.com/risksense/mulval.git mulval

# 设置临时变量，记得替换/path/to为你的安装目录

cd mulval

export MULVALROOT=/path/to/mulval

export PATH=$PATH:$MULVALROOT/bin:$MULVALROOT/utils

# 编译测试

make

此时出现第一个bug

../../bin/xxx 不是目录

解决方法：

mkdir bin

mkdir bin/adapter

mkdir bin/metrics

再次make 又报错

找不到graphit.tab.h文件

解决办法：选其中一个执行

法一：

cd mulval/src/attack_graph

vim Makefile

将图示部分的两个mv 改为cp

法二：

cd mulval/src/attack_graph

bison -d /home/tools/mulval-1.2.1/src/attack_graph/graphit.y

make clean # 清理编译缓存

make # 编译

再次报错（我真的会谢！！

collect2: error: ld returned 1 exit status

解决办法：

vim src/attack_graph/graphit.l

原来的第5行为YYSTYPE* mylval;

在前面加上 extern 即可

修改后的第5行为：extern YYSTYPE* mylval;

再再再次编译

make clean # 清理编译缓存

make # 编译

这次终于没有报错了！

测试MulVAL

cd testcases

graph_gen.sh 3host/input.P -v -p

测试成功！

在testcases里能看到生成的文件

巴特西