Pinned Repositories
angr
A powerful and user-friendly binary analysis platform!
bsc-thesis
codechecker
CodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy
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.
semester_project
SVF
Static Value-Flow Analysis Framework for Source Code
zukatsinadze's Repositories
zukatsinadze/bsc-thesis
zukatsinadze/angr
A powerful and user-friendly binary analysis platform!
zukatsinadze/codechecker
CodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy
zukatsinadze/ELTE-Compilers
Compilers Course
zukatsinadze/EPFL-Distributed-Algorithms
CS 451 Distributed Algorithms Lecture Notes
zukatsinadze/Hopper
Hopper is a tool for generating fuzzing test cases for libraries automatically using interpretative fuzzing.
zukatsinadze/lattice_agreement
Distributed Algorithms
zukatsinadze/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.
zukatsinadze/semester_project
zukatsinadze/SVF
Static Value-Flow Analysis Framework for Source Code
zukatsinadze/transactional_memory
Software Transactional Memory Library implementation in C++