Popular repositories Loading

1. dg dg Public

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

   C++ 519 140

2. wldbg wldbg Public

   Capture and debug/modify Wayland connections

   C 44 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. bubaak-lee bubaak-lee Public

   Forked from klee/klee

   BubaaK-LEE: A fork of KLEE Symbolic Execution Engine used in the tool Bubaak

   C++ 1