mc-imperial/shrinkfuzz

Stars
1
Language
Python
Created over 7 years ago
Updated over 7 years ago

mc-imperial/shrinkfuzz

mc-imperial

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

An experimental fuzzer based on test case reduction against particular outputs

jfs

Constraint solver based on coverage-guided fuzzing

gpuverify

GPUVerify: a Verifier for GPU Kernels

shader-compiler-bugs

A collection of shader compiler bugs.

sctbench

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

multicore-test-harness

A multicore microprocessor test harness for measuring interference

dredd

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

bugle

An LLVM Bitcode to Boogie translator

chauffeur

Clang AST frontend for Linux device driver analysis

VkFuzzer

A fuzzer for the Vulkan API

boogie-mirror

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

gpu_discovery_barrier

An implementation of a workgroup occupancy discovery protocol and an inter-workgroup barrier. Also example applications.

gvki

GPUVerify OpenCL Kernel Interceptor

hypothesis-ecoop-2020-artifact

Artifact associated with ECOOP 2020 paper

spirv-control-flow

Formal modelling of SPIR-V control flow using Alloy

get-image

A tool for rendering a fragment shader to a PNG.

graphicsfuzz

GPUVerifyBenchmarks

Public GPUVerify Benchmarks

thrift-build

Automated building for thrift.

thrift-compiler-binary

The thrift compiler binary as a maven package.

libgdx-get-image

A tool for rendering a fragment shader on Android.

tsan11

get-image-egl