awesome-repositories.com
Blog
awesome-repositories.com

Descubre los mejores repositorios open-source con nuestra búsqueda potenciada por IA.

ExplorarBúsquedas curadasAlternativas open-sourceSoftware autohospedableBlogMapa del sitio
ProyectoAcerca deCómo clasificamosPrensaServidor MCP
Aviso legalPrivacidadTérminos
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
·

1 repositorio

Awesome GitHub RepositoriesUserspace Memory Verification

Validation of memory access patterns from the kernel to userspace using type information.

Distinct from Userspace Memory Readers: Focuses on the safety verification of the access rather than the act of reading memory.

Explore 1 awesome GitHub repository matching operating systems & systems programming · Userspace Memory Verification. Refine with filters or upvote what's useful.

Awesome Userspace Memory Verification GitHub Repositories

Encuentra los mejores repositorios con IA.Buscaremos los repositorios que mejor coincidan usando IA.
  • eunomia-bpf/bpf-developer-tutorialAvatar de eunomia-bpf

    eunomia-bpf/bpf-developer-tutorial

    4,145Ver en GitHub↗

    Este proyecto es un recurso educativo que proporciona un tutorial de desarrollo integral para escribir y cargar programas eBPF utilizando C, Go y Rust dentro del kernel de Linux. Sirve como una guía técnica para desarrollar lógica personalizada para ejecutar directamente en el kernel. Los materiales cubren dominios especializados incluyendo observabilidad y rastreo del kernel, implementación de seguridad para detección de intrusiones e ingeniería de red de alto rendimiento para filtrado de paquetes y balanceo de carga. También incluye manuales dedicados para el rastreo del kernel de Linux y el uso de kprobes, uprobes y tracepoints. El proyecto abarca una amplia gama de áreas de capacidad, como instrumentación del kernel, monitoreo y observabilidad del sistema, análisis de red y aplicación de seguridad. Además, se extiende a la depuración a nivel de hardware para GPUs y controladores, así como a la manipulación de sistemas de bajo nivel y gestión de recursos.

    Validates that kernel programs correctly access userspace data structures using type information.

    Cbpfebpfexamples
    Ver en GitHub↗4,145
  1. Home
  2. Operating Systems & Systems Programming
  3. Userspace Memory Verification