Pinned Repositories
algorithmic-trading-with-python
Source code for Algorithmic Trading with Python (2020) by Chris Conlan
annaresearch.github.io
AnnaTester
The artifact of FSE 2024: Understanding and Detecting Annotation-induced Faults of Static Analyzers.
annotations_repos
API_Docs_Analyzer
API Docs Analysis
Awesome-PerformanceResearch
Awesome-Programming-Language
A curated list of PL Research Papers.
checkedc-clang
This repo contains a version of clang that is being modified to support Checked C. Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe.
Statfier
The artificat of FSE 2023 paper Statfier: Automated Testing of Static Analyzers via Semantic-Preserving Program Transformations
TaintTracker
A static analaysis tool for tracking the parameters of privacy-sensitive APIs.
cshezhang's Repositories
cshezhang/Statfier
The artificat of FSE 2023 paper Statfier: Automated Testing of Static Analyzers via Semantic-Preserving Program Transformations
cshezhang/TaintTracker
A static analaysis tool for tracking the parameters of privacy-sensitive APIs.
cshezhang/Awesome-PerformanceResearch
cshezhang/API_Docs_Analyzer
API Docs Analysis
cshezhang/Awesome-Programming-Language
A curated list of PL Research Papers.
cshezhang/algorithmic-trading-with-python
Source code for Algorithmic Trading with Python (2020) by Chris Conlan
cshezhang/annaresearch.github.io
cshezhang/AnnaTester
The artifact of FSE 2024: Understanding and Detecting Annotation-induced Faults of Static Analyzers.
cshezhang/annotations_repos
cshezhang/checkedc-clang
This repo contains a version of clang that is being modified to support Checked C. Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe.
cshezhang/cpg
A library to extract Code Property Graphs from C/C++, Java, Go, Python, Ruby and every other language through LLVM-IR.
cshezhang/CuEVM
Cuda implementation of EVM bytecode executor
cshezhang/cxxd
C/C++ language server implemented on top of Clang frontend.
cshezhang/cybercrime-papers
Recent academic papers related to cybercrime
cshezhang/ghidra-book
《Ghidra权威指南》相关资源
cshezhang/jcg
Mirror of JCG: https://bitbucket.org/delors/jcg/src/master/
cshezhang/ParseData
cshezhang/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
cshezhang/llvm-tutor
A collection of out-of-tree LLVM passes for teaching and learning
cshezhang/Malware
《深入理解恶意代码与病毒样本》
cshezhang/murphysec
An open source tool focused on software supply chain security. 墨菲安全专注于软件供应链安全，具备专业的软件成分分析（SCA）、漏洞检测、专业漏洞库。
cshezhang/phasar
A LLVM-based static analysis framework.
cshezhang/Rudra
Rust Memory Safety & Undefined Behavior Detection
cshezhang/Rudra-PoC
Trophy case for Rudra bugs.
cshezhang/security-research
This project hosts security advisories and their accompanying proof-of-concepts related to research conducted at Google which impact non-Google owned code.
cshezhang/semantic
Parsing, analyzing, and comparing source code across many languages
cshezhang/Template-LaTeX-IEEE-Conference-Proceedings
A template repository for quickly generating a paper template for IEEE conferences
cshezhang/transpiler
A universal translator for programming languages
cshezhang/UBCBench
UBCBench contains all benchmarks we designed for confirming our hypothesized findings while analyzing the three well-known static taint analysis tools, FlowDroid, Amandroid, and DroidSafe.
cshezhang/WALA-start
a basic Gradle configuration to get started with WALA