msynth 项目教程

msynth 项目教程

msynth Code deobfuscation framework to simplify Mixed Boolean-Arithmetic (MBA) expressions 项目地址: https://gitcode.com/gh_mirrors/ms/msynth

1. 项目的目录结构及介绍

msynth 项目的目录结构如下：

msynth/
├── AUTHORS
├── LICENSE
├── README.md
├── database/
├── msynth/
├── samples/
├── scripts/
├── .gitignore
├── .gitmodules
├── oracle.pickle
├── requirements.txt
└── setup.py

目录结构介绍

• AUTHORS: 项目作者信息文件。
• LICENSE: 项目许可证文件，采用 GPL-2.0 许可证。
• README.md: 项目说明文件，包含项目的基本介绍、安装步骤、使用方法等。
• database/: 存放预计算的简化数据库文件。
• msynth/: 项目的主要代码目录，包含实现代码去混淆功能的 Python 文件。
• samples/: 存放示例文件，用于演示如何使用 msynth 进行代码去混淆。
• scripts/: 存放脚本文件，用于生成简化数据库、进行符号执行等操作。
• .gitignore: Git 忽略文件，指定哪些文件或目录不需要被 Git 管理。
• .gitmodules: Git 子模块配置文件，用于管理项目中的子模块。
• oracle.pickle: 预计算的简化数据库文件，用于快速查找和简化表达式。
• requirements.txt: 项目依赖文件，列出了项目运行所需的 Python 包。
• setup.py: 项目安装脚本，用于安装项目及其依赖。

2. 项目的启动文件介绍

msynth 项目没有明确的“启动文件”，因为它是一个代码去混淆框架，通常通过脚本或命令行工具来使用。以下是一些常用的启动方式：

使用脚本生成简化数据库

python scripts/gen_oracle.py database/3_variables_constants_7_nodes.txt oracle.pickle

使用脚本进行符号执行和简化

python scripts/symbolic_simplification.py samples/mba_challenge 0x1290 oracle.pickle

直接使用 Python 脚本

from msynth import Simplifier

# 初始化简化器
simplifier = Simplifier('oracle.pickle')

# 简化表达式
simplified = simplifier.simplify(expression)

3. 项目的配置文件介绍

msynth 项目的主要配置文件是 requirements.txt 和 setup.py。

requirements.txt

requirements.txt 文件列出了项目运行所需的 Python 包及其版本。例如：

miasm==0.1
z3-solver==4.8.9.0

setup.py

setup.py 文件用于安装项目及其依赖。通过运行以下命令可以安装 msynth：

pip install .

setup.py 文件的内容通常包括项目的元数据（如名称、版本、作者等）以及依赖项的安装配置。

from setuptools import setup, find_packages

setup(
    name='msynth',
    version='0.1',
    packages=find_packages(),
    install_requires=[
        'miasm==0.1',
        'z3-solver==4.8.9.0',
    ],
    author='Tim Blazytko, Moritz Schloegel',
    description='Code deobfuscation framework to simplify Mixed Boolean-Arithmetic (MBA) expressions',
    license='GPL-2.0',
)

通过以上配置文件，用户可以方便地安装和配置 msynth 项目，并开始使用其代码去混淆功能。

msynth Code deobfuscation framework to simplify Mixed Boolean-Arithmetic (MBA) expressions 项目地址: https://gitcode.com/gh_mirrors/ms/msynth