Zurab Tsinadze's repositories
angr
A powerful and user-friendly binary analysis platform!
Language:PythonBSD-2-Clause000
codechecker
CodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy
Language:PythonApache-2.0000
dotfiles
dotfiles zsh, tmux, nvim
Language:Lua000
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.
Language:RustNOASSERTION000
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.
NOASSERTION000
SVF
Static Value-Flow Analysis Framework for Source Code
Language:C++NOASSERTION000
transactional_memory
Software Transactional Memory Library implementation in C++