arunkumarbhattar Goto Github PK
Name: Arunkumar Bhattar
Type: User
Location: West Lafayette
Name: Arunkumar Bhattar
Type: User
Location: West Lafayette
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!
Reverting CheckBox C annotations
The repository holds the scripts required to compile Unsafe C Functions to WASM Readable definitions
Checkcbox clone of libmicrohttpd
LIBPNG: Portable Network Graphics support, official libpng repository
This repository is hosts numerous test cases that test the CheckCBox LLVM Inserts through various test cases
This is modified version of parson that uses the Checked C extension to C. Parson is a lightweight json parsing library.
ProFTPD source code
FTP/TFTP server for Linux that just works™
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 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.
Checked-C fork of EDK II
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.
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.
This repository contains a mirror of the Lua interpreter. Various branches contain attempted ports of the Lua source to Checked C.
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.
Given a buildinfo file from a Debian package, generate instructions for attempting to reproduce the binary packages built from the associated source and build information.
a python script to backup/restore the docker data containers / volumes
Checked-C with blame-lessness
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.