Other

项目介绍

S2E/s2e 是一个托管在 GitHub 上的开源项目,主要使用 C++ 编写,采用 Other 许可证,目前获得 528 个 Star、96 次 Fork。

仓库全名
S2E/s2e
开源许可证
Other
Star 数
528
Fork 数
96
未关闭 Issue
2

README 摘要

S2E Library =========== This repository contains all the necessary components to build libs2e.so. This shared library is preloaded in QEMU to enable symbolic execution. Please refer to the documentation in the docs directory for build and usage instructions. You can also find it online on

完整内容见 GitHub 原始 README 或本页 。

常见问题

s2e 用什么语言开发?

主要使用 C++ 编写,采用 Other 许可证,目前有 528 个 Star。

s2e 可以免费商用吗?

仓库标注的许可证为 Other,商用前请先阅读仓库 LICENSE 文件确认授权范围。

如何获取 s2e 的源码?

可以直接克隆仓库:git clone https://github.com/S2E/s2e.git,默认分支为 master;安装与运行步骤见仓库 README。

s2e 最近还在维护吗?

仓库最近一次更新为 5 天前,当前有 2 个未关闭 Issue;Star 数为 528,可作为社区活跃度的参考。

关于

S2E: A platform for multi-path program analysis with selective symbolic execution.

描述取自 GitHub 官方 API,中文内容由 GitRead 中文社区 编辑团队整理。

语言占比

Assembly
Batchfile
C
C++
CMake
Dockerfile
Go Template
Linker Script
Makefile
Pawn
PowerShell
Python
R
Rich Text Format
Shell

Release

README

S2E Library

This repository contains all the necessary components to build libs2e.so. This shared library is preloaded in QEMU to enable symbolic execution.

Please refer to the documentation in the docs directory for build and usage instructions. You can also find it online on https://s2e.systems/docs.

评论

暂无评论