Pinned Repositories
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 tanzl@mail.ustc.edu.cn.
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
weixiaobao124's Repositories
weixiaobao124/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 tanzl@mail.ustc.edu.cn.
weixiaobao124/2020fall-compiler_cminus
weixiaobao124/AFL
american fuzzy lop - a security-oriented fuzzer
weixiaobao124/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!
weixiaobao124/awesome-fuzzing
A curated list of awesome Fuzzing(or Fuzz Testing) for software security
weixiaobao124/beamer
A LaTeX class for producing presentations and slides
weixiaobao124/CminusfCompiler
A compiler for cminus-f language. This is a project for 2020 Fall Compiler class in USTC
weixiaobao124/CS61A
CS61A Fall 2020
weixiaobao124/driller
Driller: augmenting AFL with symbolic execution!
weixiaobao124/hit_oslab
weixiaobao124/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).
weixiaobao124/LeagueAkari
✨兴趣使然的，功能全面的英雄联盟工具集。支持战绩查询、自动秒选等功能。基于 LCU API。
weixiaobao124/llvm-tutor
A collection of out-of-tree LLVM passes for teaching and learning
weixiaobao124/pass
pass
weixiaobao124/SkrSkr
The second place winner for DAC-SDC 2020
weixiaobao124/soot
Soot - A Java optimization framework
weixiaobao124/Tai-e
An easy-to-learn/use static analysis framework for Java
weixiaobao124/ultra_net
FPGA-based neural network inference project for 2020 DAC System Design Contest
weixiaobao124/z3
The Z3 Theorem Prover