arunkumarbhattar Goto Github PK

aflplusplusmultiinputsupport

The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!

c4

Reverting CheckBox C annotations

check-c-box-isc

The repository holds the scripts required to compile Unsafe C Functions to WASM Readable definitions

checkcbox

checkcbox-libmicrohttpd

Checkcbox clone of libmicrohttpd

checkcbox-libpng

LIBPNG: Portable Network Graphics support, official libpng repository

checkcbox-llvm-testhouse

This repository is hosts numerous test cases that test the CheckCBox LLVM Inserts through various test cases

checkcbox-parson

This is modified version of parson that uses the Checked C extension to C. Parson is a lightweight json parsing library.

checkcbox-proftpd

ProFTPD source code

checkcbox-thttpd

checkcbox-uftpd

FTP/TFTP server for Linux that just works™

checkcbox_compiler

This repo contains a version of Checked-C clang that is being modified to support additonal secure Type-Qualifiers. Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe.

checked-c-uer

checkedc

Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors. Checked C does not address use-after-free errors. This repo has a wiki for Checked C, sample code, the specification, and test code.

checkedc-edk2

Checked-C fork of EDK II

checkedc-icecast

checkedc-libc-test

This repo contains a version of libc-test that is modified to test a Checked C version of the musl C library. Checked C is an extension to C that adds checking to detect or prevent common programming errors such as out-of-bounds memory accesses.

checkedc-libjpeg-tutorial

checkedc-llvm-test-suite

This repo contains a version of the LLVM test suite that is being modified to use Checked C. The modified programs will be used to benchmark the implementation of Checked C in clang/LLVM. Checked C is an extension to C that adds checking to detect or prevent common programming errors such as out-of-bounds memory accesses.

checkedc-lua

This repository contains a mirror of the Lua interpreter. Various branches contain attempted ports of the Lua source to Checked C.

checkedc-musl

This repo contains a version of musl that is being modified to Checked C. Checked C is an extension to C that adds checking to detect or prevent common programming errors such as out-of-bounds memory accesses.

checkedc-vsftpd

checkedc-workflows

checkedc_with_rlbox

checkmate

docker-volume-backup

a python script to backup/restore the docker data containers / volumes

ds_algo_converted_to_checkedc

edk2-darpa

flex-c

Checked-C with blame-lessness

flexc_eval