mc-imperial/VkFuzzer mc-imperial/VkFuzzer

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    Java
  • Created over 8 years ago
  • Updated over 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mc-imperial/VkFuzzer
github

mc-imperial

Reviews

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

Repository Details

A fuzzer for the Vulkan API

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

chauffeur

Clang AST frontend for Linux device driver analysis
C++
6
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