Pinned Repositories
Angora
Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
athernet
A Network using sound to transmit information.
COOL_compiler
Project done for Compiler in ShanghaiTech, which is also the project in Stanford
ECS201A-Computer-Architecture
grad-app-workshop
paper-reading
This is a repo where I store all the paper reading reviews
IRFuzzer
LLVM-fuzzing-trophies
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.
valkyrie
DataCorrupted's Repositories
DataCorrupted/grad-app-workshop
DataCorrupted/paper-reading
This is a repo where I store all the paper reading reviews
DataCorrupted/ECS201A-Computer-Architecture
DataCorrupted/FoNCO
Sequential Linear Programming implemented to test if the dynamic update approach works.
DataCorrupted/cortex-a
Low level access to Cortex-A processors
DataCorrupted/ECS220-theory-of-computation
DataCorrupted/ECS252.Computer.Networks
DataCorrupted/learning-swig
This repo is created to learn swig. It has code I write to play with swig to create python-c++ interface.
DataCorrupted/sandbox
Course project sandbox written in Rust to run not trusted software while keep your computer safe.
DataCorrupted/sprintax
DataCorrupted/TheoryOfComputationHW
Here are all homework form CS244 Theory of Computation in ShanghaiTech by Prof. Foo. :P
DataCorrupted/aflfast
AFLFast (extends AFL with Power Schedules)
DataCorrupted/Angora
Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
DataCorrupted/async-graphql
The GraphQL server library implemented by rust
DataCorrupted/banking
This is a project for CS192 Software Engineering.
DataCorrupted/curriculum-vitae
My personal curriculum vitae. Using latex.
DataCorrupted/ECS222A.Design.and.Analysis.Algorithms
DataCorrupted/ECS230-linear-algebra
DataCorrupted/ECS235B.Computer.and.Info.Security
DataCorrupted/Fog-of-World-Data-Parser
A data parser for the internal syncing data format used by Fog of World.
DataCorrupted/LatexTemplate
上海科技大学非官方Latex模版库
DataCorrupted/llc-func-removal-report
DataCorrupted/LoopMetaPass
DataCorrupted/magma
A ground-truth fuzzing benchmark suite based on real programs with real bugs.
DataCorrupted/MOpt-AFL
MOpt-AFL provided by the paper "MOPT: Optimized Mutation Scheduling for Fuzzers"
DataCorrupted/peter-site
DataCorrupted/typetag-report
DataCorrupted/wechat-format
微信公众号排版编辑器,转换 Markdown 到微信特制的 HTML
DataCorrupted/writing-an-os-in-rust
《使用Rust编写操作系统》
DataCorrupted/YanjieCV