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

cd 你的安装目录 我安装在了opt目录下

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里 能看到生成的文件