3 repository-uri
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
Găsește cele mai bune repo-uri cu AI.Vom căuta cele mai potrivite repository-uri folosind AI.
- cloudius-systems/osv
cloudius-systems/osv
4,253Vezi pe GitHubOSV este un sistem de operare unikernel și un mediu de execuție cloud-native conceput pentru a rula ca un microVM securizat pe hypervizori precum KVM, Firecracker, Xen și VMware. Acesta funcționează ca un runtime compatibil cu binarele Linux, permițând binarelor Linux nemodificate să fie executate ca microVM-uri securizate fără a necesita recompilare. Proiectul se distinge prin capacitatea sa de a împacheta aplicații în imagini bootabile minimale și prin furnizarea unui API de gestionare a mașinilor virtuale. Această interfață REST permite monitorizarea de la distanță a stării sistemului, gestionarea urmelor de execuție și controlul asupra stărilor mașinilor virtuale invitate. Sistemul acoperă o gamă largă de capabilități de nivel scăzut, inclusiv programarea multiprocesare simetrică, o stivă de rețea bazată pe canale și integrarea dispozitivelor virtuale. Include instrumente de observabilitate cuprinzătoare pentru detectarea scurgerilor de memorie, eșantionarea utilizării CPU și trasarea pachetelor de rețea, alături de suport pentru diverse sisteme de fișiere de boot și gestionarea stocării pe blocuri persistente.
Detects use-after-free errors by triggering segmentation faults during invalid memory access.
C - google/fuzzing
google/fuzzing
3,772Vezi pe GitHubThis 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,684Vezi pe GitHubSVF 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
