wcphkust's repositories
CPBenchmark
This repo contains the bc and source files of C/C++ projects used for value-flow analysis. The LLVM IR is in the version of 3.6.2.
android-platforms
A collection of all android.jar files for the different platform versions.
BinAbsInspector
BinAbsInspector: Vulnerability Scanner for Binaries
Blockchain-dark-forest-selfguard-handbook
Blockchain dark forest selfguard handbook. Master these, master the security of your cryptocurrency.
ChatGLM-6B
ChatGLM-6B: An Open Bilingual Dialogue Language Model | 开源双语对话语言模型
CodeBaseExtractor
A extractor for GitHub repo. Generate codebase fact for QA system.
CodeFuse-Query
QL-Based Code Analysis Engine NOT only for CodeFuse training data quality
cornelius
Equivalent and redundant mutant detection with e-graphs!!!
cs703-program-synthesis
Program synthesis class taught by Loris D'Antoni
cumulative-reasoning
Official implementation of paper "Cumulative Reasoning with Large Language Models"
egraph-sqlite
egraph on top of sqlite
FlowDroid
FlowDroid Static Data Flow Tracker
gitql
💊 A git query language
herbie
Optimize floating-point expressions for accuracy
HowToCook
程序员在家做饭方法指南。
ityfuzz
Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts
LLMsPracticalGuide
A curated list of practical guide resources of LLMs (LLMs Tree, Examples, Papers)
magic-in-ten-mins-py
十分钟魔法练习 Python 版
pydriller
Python Framework to analyse Git repositories
pyzotero
Pyzotero: a Python client for the Zotero API
ruler
Rewrite Rule Inference Using Equality Saturation
semantic
Parsing, analyzing, and comparing source code across many languages
sempre
Semantic Parser with Execution
smart-contract-best-practices
A guide to smart contract security best practices
snake-egg
Python bindings for egg
SVF
Static Value-Flow Analysis Framework for Source Code
Vanguard
Houses LLVM static analyzer and detectors for smart contracts
wcphkust.github.io
homepage