weixiaobao124 Goto Github PK

2020_fall_compiler-labs-of-ustc

These are the compiler labs of University of Science and Technology of China,2020 fall semester.They were designed and coded by Zelin Tan,Yuchen Ai and Rui Lv.Feel free to send your comments to [email protected].

2020fall-compiler_cminus

afl

american fuzzy lop - a security-oriented fuzzer

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!

awesome-fuzzing

A curated list of awesome Fuzzing(or Fuzz Testing) for software security

beamer

A LaTeX class for producing presentations and slides

cminusfcompiler

A compiler for cminus-f language. This is a project for 2020 Fall Compiler class in USTC

cs61a

CS61A Fall 2020

driller

Driller: augmenting AFL with symbolic execution!

hit_oslab

ics-labs

My solution to SJTU SE ICS labs, with 6 full points and 1 96(/100) points (malloc lab), with pounds of new ideas not having been discussed on the Internet (mainly on CSDN and zhihu.com).

llvm-tutor

A collection of out-of-tree LLVM passes for teaching and learning

pass

pass

skrskr

The second place winner for DAC-SDC 2020

soot

Soot - A Java optimization framework

tai-e

An easy-to-learn/use static analysis framework for Java

ultra_net

FPGA-based neural network inference project for 2020 DAC System Design Contest

z3

The Z3 Theorem Prover