Popular repositories Loading

1. metis metis Public

   Forked from arm/metis

   Metis is an open-source, AI-driven tool for deep security code review

   Python

2. syzkaller syzkaller Public

   Forked from google/syzkaller

   syzkaller is an unsupervised coverage-guided kernel fuzzer

   Go

3. KernelGPT KernelGPT Public

   Forked from ise-uiuc/KernelGPT

   KernelGPT: Enhanced Kernel Fuzzing via Large Language Models (ASPLOS 2025)

   C++

4. SVF SVF Public

   Forked from SVF-tools/SVF

   Static Value-Flow Analysis Framework for Source Code

   C++

5. syz_mock syz_mock Public

   C++