WslinkVMAnalyzer 是一款主要为了便于分析 Wslink 而开发的工具，Wslink 是一种独特的加载器，以服务器形式运行，并在内存中执行接收到的模块。该工具使用 Miasm，这是一个为我们提供符号执行引擎的开源框架。
该工具和虚拟机的结构在我们的 博客文章 中进行了描述。
% pip3 install https://github.com/eset/wslink-vm-analyzer/archive/refs/heads/master.tar.gz
在 examples 目录中，您会找到虚拟机的转储和两个 Python 脚本。这些脚本输出 Graphviz DOT 文件（vma.dot），这些文件可以由 Graphviz 转换为 SVG 或任何其他受支持的格式。
(./examples) % python3 VM1.py
(./examples) % dot -Tsvg vma.dot -o vma.svg