Brimingham

Marek Chalupa

Expert
@mchalupa

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

526

wldbg. Capture and debug/modify Wayland connections

45

wayland. Core Wayland protocol and libraries [fork]

2

LLVMSlicer. Static Slicer for LLVM

2

presentations. Repository with various presentations

1

llvm-slicing. Symbolic Program Slicing with LLVM

1

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

1

wayland-integration-tests. [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 compositor and client and test interaction between them.

1
8
Apply