Popular repositories Loading

1. dg dg Public

   [LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.

   C++ 489 135

2. wldbg wldbg Public

   Capture and debug/modify Wayland connections

   C 40 10

3. wayland wayland Public

   Core Wayland protocol and libraries [fork]

   C 2

4. LLVMSlicer LLVMSlicer Public archive

   Forked from jirislaby/LLVMSlicer

   Static Slicer for LLVM

   C++ 2

5. wayland-integration-tests wayland-integration-tests Public archive

   [OBSOLETE] most of this project has been merged to the Wayland upstream test-suite, this is a dead project now. || Wayland integration tests. Tests using a little framework for creating wayland com…

   C 1 1

6. llvm-slicing llvm-slicing Public

   Forked from zhangyz/llvm-slicing

   Symbolic Program Slicing with LLVM

   Haskell 1