ymherklotz / fuzzing-hls Public

forked from Vivvvvvvv/Fuzzing-HLS

Notifications You must be signed in to change notification settings
Fork 1
Star 6

Finding bugs in high-level synthesis tools using Csmith to generate random, valid C programs.

ymherklotz.github.io/fuzzing-hls

6 stars 2 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 53 Commits
.github/workflows		.github/workflows
docs		docs
src		src
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
probabilities.txt		probabilities.txt
tests.tar.gz		tests.tar.gz

Repository files navigation

Fuzzing HLS

This repository contains the source code for experiments that were run on Vivado HLS, Intel i++ and LegUp.

About

Finding bugs in high-level synthesis tools using Csmith to generate random, valid C programs.

ymherklotz.github.io/fuzzing-hls

fuzzing high-level-synthesis

Report repository

Languages

C 69.6%
Shell 25.4%
Batchfile 3.1%
Verilog 0.7%
Tcl 0.5%
C++ 0.4%
Makefile 0.3%