sowhat1 Goto Github PK

afl-cov

Produce code coverage results with gcov from afl-fuzz test cases

aflgo

Directed Greybox Fuzzing with AFL

angora

Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.

atomic-condition

barracuda

Barracuda is a Ruby wrapper library for the OpenCL architecture.

barracuda-1

BARRACUDA: Binary-level Analysis of Runtime RAces in CUDA programs

blossom

Fuzzes input program to generate ranges of numerical kernels

clfuzz

cltestcheck

A framework to measure test effectiveness for GPU kernels.

cmake-examples

Useful CMake Examples

code-samples

Source code examples from the Parallel Forall Blog

crab-llvm

Static Analyzer for LLVM bitcode based on Abstract Interpretation

cuda_freshman

cudasift

A CUDA implementation of SIFT for NVidia GPUs (1.2 ms on a GTX 1060)

demo

dracc

Benchmarks for data race detection on accelerators

floatfuz

fpchecker

Floating-point exception checking for CUDA

fpdebug

Dynamic Program Analysis based on Valgrind to find Floating-Point Accuracy Problems

frama-c-rpp

fuzzing

Tutorials, examples, discussions, research proposals, and other resources related to fuzzing

fuzzingpaper

Recent Fuzzing Paper

gklee

GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs

gklee-1

GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs

gpudrano-static-analysis_v1.0

GPU Drano Static Analysis for GPU programs.

gpuverify

GPUVerify: a Verifier for GPU Kernels

gpuverifybenchmarks

Public GPUVerify Benchmarks

learn-cuda-programming

Learn CUDA Programming, published by Packt

leetcode-go

✅ Solutions to LeetCode by Go, 100% test coverage, runtime beats 100% / LeetCode 题解

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.