Skip to content
KitploitKITPLOIT
工具博客
提交
工具博客
提交

黑客、渗透测试和网络安全工具，武装您的安全武器库！

Kitploit 是一个黑客、网络安全和渗透测试工具的目录。发现最新的项目更新，查找漏洞、分析系统、自动化测试并加强你的安全。

··订阅源·联系·隐私·© 2026 Kitploit

工具目录

分类

查看所有分类
Loading categories
zeno — 自动漏洞发现 | Kitploit
工具/GitHubGitHub/traxes/zeno
静态分析漏洞分析模糊测试二进制分析
GitHubtraxes/zeno

zeno

自动漏洞发现

查看仓库
3947年前Kitploit 审核通过

最受欢迎

查看全部 →

发现我们社区最常用的工具。

探索所有工具

浏览我们的工具集合

查看所有工具 →
分享

Zeno 框架

安装

root@kitploit:~
cd ~
git clone https://github.com/Traxes/zeno --recursive
sudo pip3 install termcolor tqdm
git clone https://github.com/Z3Prover/z3 --recursive
cd z3
python3 scripts/mk_make.py --python
cd build
make
sudo make install
cd ~/zeno

用法

root@kitploit:~
~/zeno$ PYTHONPATH=$PYTHONPATH:$HOME/zeno python3 src/main.py

示例

在 target.bin 上运行所有插件

root@kitploit:~
~/zeno$ PYTHONPATH=$PYTHONPATH:$HOME/zeno python3 src/main.py target.bin

文档

待办事项

  • 美化代码

    • 为内部方法添加 _ 前缀

  • 核心

    • 切片
    • 架构支持

  • 报告器

    • 集成到插件系统中

  • 图形用户界面（GUI）

  • DLL 中的外部接口

  • 插件

    • 缓冲区溢出
    • 越界
    • 整数溢出
    • 格式化字符串
    • 未初始化内存
      • 图切片！

误报

  • CWE457_Use_of_Uninitialized_Variable__char_pointer_17_bad()
    • goodG2B 上的误报

已完成

  • 插件加载器

资源与类似项目

  • https://github.com/cetfor/PaperMachete

缓冲区溢出： gets <- 总是 char buf[123]; std::cin>>buf

下载工具