shijunjing Goto Github PK

afl

Unofficial American Fuzzy Lop repo

cargo

The Rust package manager

cbmc

C Bounded Model Checker

ccsm

C Code Source Metrics - tool to gather simple metrics from C code

clang

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

clcache

A compiler cache for MSVC, much like ccache for gcc

docs

Documentation and Quick Start Guides for the S2E Symbolic Execution Platform

edk2

EDK II

edk2-platforms

EDK II sample platform branches and tags

erpc

Embedded RPC

klee

KLEE Symbolic Execution Engine

linuxboot

The LinuxBoot project is working to enable Linux to replace your firmware on all platforms.

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

ninja

a small build system with a focus on speed

qemu

Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.

s2e-env

Your S2E project management tools

triforceafl

AFL/QEMU fuzzing with full-system emulation.

wikidoc

zephyr

Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.