mc-imperial/chauffeur mc-imperial/chauffeur

  • Stars
    star
    6
  • Rank 2,539,965 (Top 51 %)
  • Language
    C++
  • License
    MIT License
  • Created over 10 years ago
  • Updated over 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mc-imperial/chauffeur
github

mc-imperial

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Clang AST frontend for Linux device driver analysis

More Repositories

1

jfs

Constraint solver based on coverage-guided fuzzing
C++
239
star
2

gpuverify

GPUVerify: a Verifier for GPU Kernels
C#
58
star
3

shader-compiler-bugs

A collection of shader compiler bugs.
Assembly
49
star
4

sctbench

SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.
C
27
star
5

multicore-test-harness

A multicore microprocessor test harness for measuring interference
C
13
star
6

dredd

A mutation testing tool designed to work with large C++ (and C) codebases.
C++
12
star
7

bugle

An LLVM Bitcode to Boogie translator
C++
9
star
8

VkFuzzer

A fuzzer for the Vulkan API
Java
5
star
9

boogie-mirror

This is a READ ONLY git mirror of the Microsoft Boogie project ( http://boogie.codeplex.com/ )
C#
5
star
10

gpu_discovery_barrier

An implementation of a workgroup occupancy discovery protocol and an inter-workgroup barrier. Also example applications.
C++
4
star
11

gvki

GPUVerify OpenCL Kernel Interceptor
C++
3
star
12

hypothesis-ecoop-2020-artifact

Artifact associated with ECOOP 2020 paper
Python
2
star
13

spirv-control-flow

Formal modelling of SPIR-V control flow using Alloy
Python
2
star
14

get-image

A tool for rendering a fragment shader to a PNG.
C++
1
star
15

graphicsfuzz

Java
1
star
16

GPUVerifyBenchmarks

Public GPUVerify Benchmarks
C
1
star
17

thrift-build

Automated building for thrift.
Shell
1
star
18

thrift-compiler-binary

The thrift compiler binary as a maven package.
Shell
1
star
19

libgdx-get-image

A tool for rendering a fragment shader on Android.
Java
1
star
20

tsan11

C++
1
star
21

get-image-egl

C
1
star
22

shrinkfuzz

An experimental fuzzer based on test case reduction against particular outputs
Python
1
star