machiry Goto Github PK

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!

andersen

Andersen's inclusion-based pointer analysis re-implementation in LLVM

android

Popular Apks Downloader

android-platforms

A collection of all android.jar files for the different platform versions.

android_kernel_huawei_hi6210sft

androidgesturebreaker

Simple Utility to Decode Android Gesture Authentication

aos

Advance Operating systems course projects

apt-scraper-utils

Utils to get debian packages

arunos

A simple operating system for ARM processors

assembly

Collection of Linux shellcodes

awesome-cv

:page_facing_up: Awesome CV is LaTeX template for your outstanding job application

bar-2022.github.io

BAR 2022 Public Website

bar2023.github.io

Home of the 2023 NDSS Workshop on Binary Analysis Research

bear

Build EAR

builderbook

Open-source web app. Built with React, Material-UI, Next, Express, Mongoose, MongoDB.

cclyzer

A tool for analyzing LLVM bitcode using Datalog.

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

This repo contains a version of the LLVM that is being modified to support 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-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

clakerbu

Tool to get kernel driver bitcode files.

clang

Mirror of official clang git repository located at http://llvm.org/git/clang. Updated every five minutes.

codechecker

CodeChecker is an analyzer tooling, defect database and viewer extension for the Clang Static Analyzer and Clang Tidy

command-line-text-processing

From finding text to search and replace, from sorting to beautifying text and more

corosync

The Corosync Cluster Engine

cpplinks

A categorized list of C++ resources.

cquery

C/C++ language server supporting multi-million line code base, powered by libclang. Emacs, Vim, VSCode, and others with language server protocol support. Cross references, completion, diagnostics, semantic highlighting and more