Machiry

apt-scraper-utils

Utils to get debian packages

machiry.github.io

Personal webpage

academicpages.github.io

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

AFLplusplus

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!

bar-2022.github.io

BAR 2022 Public Website

bar2023.github.io

Home of the 2023 NDSS Workshop on Binary Analysis Research

checkedc

Checked C is an extension to C that adds checking to detect or prevent common programming errors such as buffer overruns and out-of-bounds memory accesses. This repo has a wiki for Checked C, sample code, the specification, and test code.

checkedc-clang

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

checkedc-llvm-project

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

checkedc-rlbox-paper

Contributions to Microsoft's Checked C project developed by PLUMmers

CheckedC_with_RLBox

corosync

The Corosync Cluster Engine

DevSkim-Action

The GitHub Action for DevSkim

dwarfwrite

Library for dumping arbitrary python objects into DWARF format

gajira-create

gef-extras

Extra goodies for GEF: Open repository for unfiltered contributions to the project.

HSS2021-ece695

SpikeAttack implementation for ECE695 project

hssllvmsetup

Setup scripts to install and configure LLVM

learning-uefi-edkII

Learning with my comments.

onefuzz

A self-hosted Fuzzing-As-A-Service platform

phasar

A LLVM-based static analysis framework.

purdueece264-spring2023-hw03-testing

Testing CI

rich

Rich is a Python library for rich text and beautiful formatting in the terminal.

rsync-bpc

Rsync-bpc is a customized version of rsync that is used as part of BackupPC

sec-deadlines.github.io

Deadline countdowns for academic conferences in Security and Privacy

So-Called-Science

😎 A static blog using notion database

testC

This repository contains file diff for legacy C code and CheckedC code. For basic programs in Arrays, Structs, Graph, Flow etc. algorti

TestingGithubActions

unifdef

selectively remove C preprocessor conditionals

Vitis-Tutorials

Vitis In-Depth Tutorials