sowhat1 Goto Github PK
Type: User
Type: User
Produce code coverage results with gcov from afl-fuzz test cases
Directed Greybox Fuzzing with AFL
Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
Barracuda is a Ruby wrapper library for the OpenCL architecture.
BARRACUDA: Binary-level Analysis of Runtime RAces in CUDA programs
Fuzzes input program to generate ranges of numerical kernels
A framework to measure test effectiveness for GPU kernels.
Useful CMake Examples
Source code examples from the Parallel Forall Blog
Static Analyzer for LLVM bitcode based on Abstract Interpretation
A CUDA implementation of SIFT for NVidia GPUs (1.2 ms on a GTX 1060)
Benchmarks for data race detection on accelerators
Floating-point exception checking for CUDA
Dynamic Program Analysis based on Valgrind to find Floating-Point Accuracy Problems
Tutorials, examples, discussions, research proposals, and other resources related to fuzzing
Recent Fuzzing Paper
GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs
GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs
GPU Drano Static Analysis for GPU programs.
GPUVerify: a Verifier for GPU Kernels
Public GPUVerify Benchmarks
Learn CUDA Programming, published by Packt
✅ Solutions to LeetCode by Go, 100% test coverage, runtime beats 100% / LeetCode 题解
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.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.