holaymzhang Goto Github PK

aarch64

Sources for the AARCH64 experiments for posts on https://krinkinmu.github.io/

adeb

A debian-based shell environment designed for Android and adb

andersen

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

arcus

Symbolic Execution Over Processor Traces

arm-cca-related

ARM CCA

asylo

An open and flexible framework for developing enclave applications

aurora

bcc

BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more

boomerang

Exploiting the Semantic Gap in Trusted Execution Environments

bugbase

A framework to reproduce known bugs in major systems software and do performance benchmarking of various bug finding tools

bugbasev2

concurrency-bugs

A collection of concurrency bugs. Please cite our ISCA paper "A Case for an Interleaving Constrained Shared-Memory Multi-Processor" if you used our resource.

csal

Coresight Access Library

dataset

Datasets of the paper: Detecting "0-Day" Vulnerability: An Empirical Study of Secret Security Patch in OSS

docker-zerotier-planet

私有部署zerotier-planet服务

enable_arm_pmu

Enable user-mode access to ARMv7/Linux performance counters

er

Can additonal recording simplify symbolic constraints?

examiner

A framework that can automatically locate inconsistent instructions between real devices and emulators for ARM

griffin-trace

A version of Griffin used to provide program traces

hakc

islet

An on-device confidential computing framework

komodo

Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone

leveldb

LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.

linuxflaw

This repo records all the vulnerabilities of linux software I have reproduced in my local workspace

lkm_etm

linux kernel module for tracing using ETM

llvm-anderson

Anderson points-to analysis implementation based on LLVM

maple

A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for testing concurrent programs.

mcsema

Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode

mra_tools

Tools to process ARM's Machine Readable Architecture Specification

msr-cloak

Code for experiments referenced in the Usenix Security 2017 paper "Strong and Efficient Cache Side-Channel Protection using Hardware Transactional Memory"