3 个仓库
Awesome GitHub RepositoriesMemory Error Detection
Tools for identifying invalid memory access patterns such as use-after-free errors.
Distinct from Memory Access Breakpoints: Focuses on detecting memory safety violations like use-after-free, whereas the parent focuses on the debugger trigger mechanism.
Explore 3 awesome GitHub repositories matching software engineering & architecture · Memory Error Detection. Refine with filters or upvote what's useful.
Awesome Memory Error Detection GitHub Repositories
用 AI 发现最棒的仓库。我们将通过 AI 为您搜索最匹配的仓库。
- cloudius-systems/osv
cloudius-systems/osv
4,253在 GitHub 上查看OSV 是一个 unikernel 操作系统和云原生执行环境，旨在作为安全微型虚拟机 (microVM) 在 KVM、Firecracker、Xen 和 VMware 等虚拟机管理程序上运行。它是一个与 Linux 二进制兼容的运行时，允许未经修改的 Linux 二进制文件作为安全微型虚拟机执行，而无需重新编译。 该项目通过将应用程序打包成最小化的可启动镜像以及提供虚拟机管理 API 而脱颖而出。此 REST 接口支持远程监控系统健康状况、管理执行跟踪以及控制客户虚拟机状态。 该系统涵盖了广泛的底层功能，包括对称多处理调度、基于通道的网络栈和虚拟设备集成。它包括用于内存泄漏检测、CPU 使用率采样和网络数据包跟踪的全面可观测性工具，以及对各种启动文件系统和持久块存储管理的支持。
Detects use-after-free errors by triggering segmentation faults during invalid memory access.
C - google/fuzzing
google/fuzzing
3,772在 GitHub 上查看This project is a comprehensive software fuzzing knowledge base and technical guide designed for discovering software bugs and vulnerabilities. It serves as a resource for implementing coverage-guided, structure-aware, and hybrid fuzzing across various targets, including compiled binaries and hardware kernels. The resource provides specialized guidance on using grammars and defined data formats to generate syntactically valid inputs for complex APIs. It also details methods for combining grey-box fuzzing with symbolic execution to reach deep execution paths and utilizes binary instrumentation
Provides techniques to identify use-after-free and other memory corruption bugs using binary analysis.
C++ - svf-tools/svf
SVF-tools/SVF
1,684在 GitHub 上查看SVF is an open-source static program analysis framework and points-to analysis library that tracks memory references, variable aliases, and data dependencies across whole programs. The platform translates compiled intermediate code formats into unified internal representations, constructing constraint graphs, call graphs, and control-flow graphs to model interprocedural execution behavior and memory state. The framework incorporates specialized engines for flow-sensitive, flow-insensitive, and context-sensitive pointer analysis alongside sparse value-flow graph generation. It features memory
Identifies memory leaks, double frees, and other unsafe memory operations through static program analysis.
C++code-analysiscode-securitydependency-analysis
