0x6b7966's repositories

kata-containers

Kata Containers version 2.x repository. Kata Containers is an open source project and community working to build a standard implementation of lightweight Virtual Machines (VMs) that feel and perform like containers, but provide the workload isolation and security advantages of VMs. https://katacontainers.io/

Language:GoLicense:Apache-2.0Stargazers:1Issues:2Issues:0

bap

Binary Analysis Platform

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:1Issues:0

Azure-Pentest

A collection of resources, tools and more for penetration testing and securing Microsofts cloud platform Azure.

License:GPL-3.0Stargazers:0Issues:0Issues:0

blackhat_wasm

blackhat usa 2022 I attended

Language:C++Stargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

CoWTools

Tools for analyzing Windows containers and break container's isolation

Language:C++License:BSD-3-ClauseStargazers:0Issues:0Issues:0

CVE-2022-0185

CVE-2022-0185

Language:CStargazers:0Issues:0Issues:0

CVE-2022-0847-DirtyPipe-Exploit

A root exploit for CVE-2022-0847 (Dirty Pipe)

License:GPL-2.0Stargazers:0Issues:0Issues:0

CVE-2022-23222

CVE-2022-23222: Linux Kernel eBPF Local Privilege Escalation

Language:CStargazers:0Issues:0Issues:0

datadog-agent

Datadog Agent

Language:GoLicense:Apache-2.0Stargazers:0Issues:0Issues:0

decap

This tool set can generate required capabilities for binaries. A system call to capability mapping is used to assign capability to the binary. Static analysis is performed to extract system calls from binary.

License:MITStargazers:0Issues:0Issues:0

e9patch

A powerful static binary rewriting tool

Language:C++License:GPL-3.0Stargazers:0Issues:0Issues:0

EffectiveSan

Runtime type and bounds-error checking for C/C++

Language:C++Stargazers:0Issues:0Issues:0
License:GPL-2.0Stargazers:0Issues:0Issues:0
Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Language:CLicense:MITStargazers:0Issues:0Issues:0
License:Apache-2.0Stargazers:0Issues:0Issues:0

krie

Linux Kernel Runtime Integrity with eBPF

License:Apache-2.0Stargazers:0Issues:0Issues:0

ksplit-artifacts

Artifacts for the paper "KSplit: Automating Device Driver Isolation"

Language:CStargazers:0Issues:0Issues:0
Language:GoStargazers:0Issues:0Issues:0

lfi

Lightweight Fault Isolation (LFI): Practical, Efficient, and Secure Software Sandboxing

License:MPL-2.0Stargazers:0Issues:0Issues:0

linux-sgx

Intel SGX for Linux*

Language:C++License:NOASSERTIONStargazers:0Issues:1Issues:0

LowFat

Lean C/C++ Bounds Checking with Low-Fat Pointers

License:NOASSERTIONStargazers:0Issues:0Issues:0

oss-fuzz-gen

LLM powered fuzzing via OSS-Fuzz.

License:Apache-2.0Stargazers:0Issues:0Issues:0

PermCheck

automatic detection of permission checks

Language:RoffLicense:NOASSERTIONStargazers:0Issues:0Issues:0

program-dependence-graph

A multithreading construction of program dependence graph

Stargazers:0Issues:0Issues:0

RedFat

A binary hardening system

License:GPL-3.0Stargazers:0Issues:0Issues:0
License:GPL-3.0Stargazers:0Issues:0Issues:0
Language:CStargazers:0Issues:0Issues:0

rust-security

Rust语言安全相关分析

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0