Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
- static-analysis
- static-code-analysis
- java
- go
57,138 visible repositories in the index
73–96 of 1,529 · Most stars
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
NVIDIA Linux open GPU kernel module source
i3-compatible Wayland compositor
libSQL is a fork of SQLite that is both Open Source, and Open Contributions.
A very compact representation of a placeholder for an image.
Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.
The systemd System and Service Manager
Simple DirectMedia Layer
:zap: KCP - A Fast and Reliable ARQ Protocol
Flipper Zero firmware source code
Rofi: A window switcher, application launcher and dmenu replacement
A free, powerful, multi-purpose tool that helps you monitor system resources, debug software and detect malware. Brought to you by Winsider Seminars & Solutions, Inc. @ https://windows-internals.com
DPI bypass multi platform
🚀 Truly open-source AI avatar(digital human) toolkit for offline video generation and digital human cloning.
OpenCore bootloader
Capture SSL/TLS plaintext with eBPF—no MITM proxy or custom CA installation. Supports Linux and Android on x86_64\arm64 and loong64.
A multi-platform library for OpenGL, OpenGL ES, Vulkan, window and input
Beyond file syncing and sharing, a new way to organize your files with extensible file properties and flexible views
Affordable WiFi hacking platform for testing and learning
OpenVPN is an open source VPN daemon
Cross-platform, sophisticated frontend for the libretro API. Licensed GPLv3.
memcached development tree
A lightweight online game framework
High Performance Web Platform Based on Nginx and LuaJIT