Awesome GitHub RepositoriesMulti-Threaded Debugging

The C/C++ extension for Visual Studio Code provides language support for C and C++ programming, including IntelliSense-powered code editing, navigation, and debugging capabilities. It enables syntax highlighting, code completion, hover information, and error checking for C and C++ source files, along with features like semantic colorization, symbol search, and call hierarchy exploration. The extension offers comprehensive debugging support for C/C++ programs, including launching debug sessions with breakpoints, stepping through code, and inspecting variables. It supports debugging multi-threa

CppGuide is a curated collection of educational resources and practical guides focused on C++ server development, Linux kernel internals, concurrent programming, network protocols, and security exploitation. It provides structured learning paths for backend developers, covering everything from interview preparation to building high-performance network servers and understanding operating system fundamentals. The guide distinguishes itself by offering in-depth, hands-on tutorials that walk through real-world implementations, including building a Redis-like server from scratch, designing custom

seL4 is a formally verified microkernel whose C implementation is backed by machine-checked mathematical proofs of correctness, confidentiality, integrity, and availability. It enforces strict isolation between processes through hardware-enforced address space separation and a capability-based access control system, where each process holds explicit rights only to the resources it has been granted. The kernel exposes hardware resources through a minimal API of system calls that manage threads, address spaces, and inter-process communication, with synchronous IPC supporting sender-identifying b

Booster este un optimizator de build și manipulator de bytecode pentru aplicații Android, conceput pentru a reduce dimensiunea binară, a remedia crash-urile la nivel de sistem și a îmbunătăți performanța aplicației. Funcționează ca un plugin extensibil pentru procesul de build care modifică fișierele de clasă compilate și artefactele de build pentru a injecta remedieri de stabilitate și optimizări fără a altera codul sursă original. Proiectul se diferențiază prin manipularea bytecode-ului la nivel scăzut pentru a patch-ui bug-urile la nivel de OS și a gestiona pool-urile de thread-uri în timpul fazei de compilare. De asemenea, oferă un toolkit de profilare a performanței pentru a identifica operațiunile care blochează thread-ul principal și pentru a analiza problemele de stabilitate legate de resurse. Instrumentul acoperă o gamă largă de capabilități de optimizare a pachetelor, inclusiv compresia imaginilor pentru PNG-uri și WebP, eliminarea resurselor redundante și optimizarea indexului de resurse. Funcționalitatea suplimentară include reglarea performanței pentru gestionarea thread-urilor, scrieri asincrone de preferințe și analiză statică pentru scanarea artefactelor de build în vederea detectării riscurilor de securitate și a blocajelor. Sistemul utilizează o interfață de furnizor de servicii pentru integrarea plugin-urilor personalizate și poate fi executat ca o aplicație standalone decuplată de mediul principal de build.

Acest proiect este o bibliotecă de logging asincronă și thread-safe concepută pentru aplicații C++. Oferă un toolkit de diagnosticare cuprinzător care permite dezvoltatorilor să înregistreze evenimente de sistem, să urmărească fluxul de execuție pe mai multe thread-uri și să gestioneze output-ul log-urilor prin filtrare bazată pe severitate și întreținerea automată a fișierelor. Prin descărcarea formatării log-urilor și a operațiunilor de I/O pe disc către thread-uri de lucru de fundal, biblioteca minimizează latența pe calea principală de execuție, asigurând performanțe ridicate în sistemele critice din punct de vedere al timpului. Framework-ul se distinge prin configurația sa flexibilă și capabilitățile de diagnosticare. Suportă configurarea la runtime prin fișiere externe, permițând ajustări ale nivelurilor de log și ale modelelor de output fără a necesita recompilare. Dincolo de logging-ul standard, include instrumente integrate de analiză a crash-urilor care capturează semnalele de sistem și stack trace-urile pentru a facilita depanarea post-mortem, precum și utilitare de profilare a performanței pentru a măsura timpii de execuție a funcțiilor și a identifica blocajele. Biblioteca oferă un sistem de rutare versatil care dispecerizează mesajele de diagnosticare către mai multe destinații, inclusiv fișiere, console și socket-uri de rețea, sau prin callback-uri de interceptare personalizate. Gestionează tipuri de date complexe și containere standard folosind metaprogramarea pe template-uri, asigurând o inspecție consistentă a stării aplicației. În plus, oferă control granular asupra volumului de log-uri prin logică condițională, limitarea frecvenței și setări de verbozitate specifice modulelor.

HyperDbg is a hardware-assisted kernel-mode debugging platform that leverages virtualization to monitor and control system execution. By utilizing hypervisor-level primitives, it enables deep system analysis and instrumentation without relying on standard operating system debugging interfaces. The framework provides a comprehensive environment for inspecting both kernel and user-mode processes, allowing for granular control over execution flow and system state. The project distinguishes itself through a transparent debugging layer designed to remain invisible to the target environment. It emp

Blackmagic is a GDB server for embedded hardware that translates GDB remote protocol messages into JTAG and SWD commands. It functions as an ARM and RISC-V debugger and hardware debug probe manager, enabling users to inspect memory, control execution, and manage registers on ARM Cortex and RISC-V cores. The project distinguishes itself by acting as a remote hardware debugging bridge that can stream GDB server traffic over TCP/IP to control physical hardware from a remote machine. It also provides a JTAG and SWD interface to connect host computers to target hardware and serves as an embedded f