zukatsinadze's Stars
codecrafters-io/build-your-own-x
Master programming by recreating your favorite technologies from scratch.
neovim/neovim
Vim-fork focused on extensibility and usability
radareorg/radare2
UNIX-like reverse engineering framework and command-line toolset
jart/cosmopolitan
build-once run-anywhere c library
Gallopsled/pwntools
CTF framework and exploit development library
sonic-pi-net/sonic-pi
Code. Music. Live.
angr/angr
A powerful and user-friendly binary analysis platform!
jart/blink
tiniest x86-64-linux emulator
rizsotto/Bear
Bear is a tool that generates a compilation database for clang tooling.
SVF-tools/SVF
Static Value-Flow Analysis Framework for Source Code
travitch/whole-program-llvm
A wrapper script to build whole-program LLVM bitcode files
HexHive/retrowrite
RetroWrite -- Retrofitting compiler passes through binary rewriting
HexHive/printbf
Brainfuck interpreter inside printf
clangd/vscode-clangd
Visual Studio Code extension for clangd
Ericsson/CodeCompass
CodeCompass is a software comprehension tool for large scale software written in C/C++ and Java
PacktPublishing/Learn-LLVM-12
Learn LLVM 12, published by Packt
HexHive/magma
A ground-truth fuzzing benchmark suite based on real programs with real bugs.
ispras/casr
Collect crash (or UndefinedBehaviorSanitizer error) reports, triage, and estimate severity.
haoNoQ/clang-analyzer-guide
An easy guide to Clang Static Analyzer extension.
HexHive/thesis_template
Template for EPFL (BSc, MSc, or doctoral) theses and semester projects
shao-hua-li/UBGen
UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)
whisperity/CodeChecker-Action
Execute static analysis through CodeChecker in the CI.
two-heart/dbgtools
Automation for the rev/pwn experience in GDB
DerWaschbar/CPP-Strong-Types-Toolchain
szumixie/pirec
com-480-data-visualization/project-2024-fuzzvizz
Discookie/codechecker-vscode
CodeChecker integration for Visual Studio Code, CompSci BSc project - see https://github.com/Ericsson/CodeCheckerVSCodePlugin for the reworked version
PedroChaps/2024-EPFL-DA-Exam-Anki
An Anki Deck to help study for the DA exam of 2023
shilangyu/register-transformations
Showcases the transformations needed to go from one wait-free register to a different one.
szumixie/bsc-thesis