Zurab Tsinadze's repositories
angr
A powerful and user-friendly binary analysis platform!
codechecker
CodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy
dotfiles
dotfiles zsh, tmux, nvim
ELTE-Compilers
Compilers Course
EPFL-Distributed-Algorithms
CS 451 Distributed Algorithms Lecture Notes
Hopper
Hopper is a tool for generating fuzzing test cases for libraries automatically using interpretative fuzzing.
lattice_agreement
Distributed Algorithms
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
SVF
Static Value-Flow Analysis Framework for Source Code
transactional_memory
Software Transactional Memory Library implementation in C++