agroce/deepstate-c-blosc2

Stars
1
Language
C++
Created almost 5 years ago
Updated over 3 years ago

agroce/deepstate-c-blosc2

agroce

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

DeepState harness to test CBlosc2 compression library

universalmutator

Regexp based tool for mutating generic source code across numerous languages

afl-compiler-fuzzer

Variation of american fuzzy lop for testing compilers

tstl

Template Scripting Testing Language tool: automated test generation for Python

cs362w16core

Class core for 362 W 16, OSU

naucs499sp20

Class on embedded systems testing

cs362sp16core

Class repository for core material in CS362 Oregon State Spring 2016

muttfuzz

A tool for meta-fuzzing using program mutants

testfs

DeepState testing for TestFS, a user level toy file system that is similar to ext3

cs362sp15core

362 class repo for spring 2015

testleveldb

DeepState testing for levelDB

rb_tree_demo

DeepState version of code accompanying a blog post about fuzzing a red-black tree implementation: http://blog.regehr.org/archives/896

echidna-parade

Scripts to launch swarmed echidna instances (a parade is a group of echidna)

cbmcmutate

mutation testing meets model checking

naucs499sp18

CS 499: Software Security, Spring 2018

cs569sp16

Class for CS 569 SP 16

bug-transfer

cc2022

CC paper on compiler fuzzing

slithermutate

some of the slither mutation testing

cs562w16

Class repo for CS562 Winter 2016

swarmed_tools

Swarmed versions of random testing tools

agroce.github.io

New webpage hosted at github

cs569sp15

echidna_demo_issta20

latex draft + data for a tool paper describing the Echidna fuzzer

fuzzing22report

Report draft for https://fuzzingworkshop.github.io/

bgganalysis

analyze bgg comments

howtotestit

bitcorpus

compilermutants

Mutants for GCC and SpiderMonkey used in ISSRE 2018 paper

icse18tool

ICSE 18 tool paper on universal mutator

paper-testlength

Data and text for paper on length of tests

mutantsnsfsmall

NSF proposal on mutation testing

echidna-parade-issta21-demo

paper for echidna-parade

fmitf-2024

bitcoin_fuzz_tools