ZhiChen's repositories
academicpages.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
bpf_study
bpf 学习仓库
cassandra
Mirror of Apache Cassandra
CMU-program-analysis.github.io
Public-facing course info for program analysis materials.
cpachecker
CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
CrossHair
An analysis tool for Python that blurs the line between testing and type systems.
ctest_prio_art
Test-Case Prioritization for Configuration Testing
CVE-2021-44228-Apache-Log4j-Rce
Apache Log4j 远程代码执行
enhancements
Enhancements tracking repo for Kubernetes
hbase
Apache HBase
hive
Apache Hive
insights-core
Insights Core is a data collection and processing framework used by Red Hat Insights
instagram-mern
Full-Stack Instgram Clone using MERN Stack and Socket.io
JavaThings
Share Things Related to Java - Java安全漫谈笔记相关内容
kiteco-public
Primary Kite repo — private bits replaced with XXXXXXX
klara
Automatic test case generation for python and static analysis library
Logout4Shell
Use Log4Shell vulnerability to vaccinate a victim server against Log4Shell
logparser
A toolkit for automated log parsing [ICSE'19, TDSC'18, ICWS'17, DSN'16]
methods2test
methods2test is a supervised dataset consisting of Test Cases and their corresponding Focal Methods from a set of Java software repositories
myJQF
JQF + Zest: Coverage-guided semantic fuzzing for Java.
PLELog
Implementation of PLELog in ICSE 2021 accepted paper:Semi-supervised Log-based Anomaly Detection via Probabilistic Label Estimation.
pynguin
The PYthoN General UnIt Test geNerator is a test-generation tool for Python
Qilin
Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis
Static-Program-Analysis-Book
Getting started with static program analysis. 静态程序分析入门教程。
symbolic-execution-tutorial
Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.
wonderless
A dataset to shed light upon Serverless computing.