Pinned Repositories
.mybin
Some useful commands
AFL
american fuzzy lop - a security-oriented fuzzer
ContainerUnitTestProfiling
Time profiling commonly-used containers
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.
LLM-PLSE-paper
ORMCollection
ORM Applications
peda
PEDA - Python Exploit Development Assistance for GDB
sound-modulo-analysis-openjdk-8
This repository contains a modified `sound-modulo-analysis` version of the Java OpenJDK 8 as described in the PLDI 2020 paper "Static Analysis of Java Enterprise Applications: Frameworks and Caches, The Elephants in the Room"
tutorialpass
LLVM pass
z3-playground
z3-python experiment
wcphkust's Repositories
wcphkust/LLM-PLSE-paper
wcphkust/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.
wcphkust/android-platforms
A collection of all android.jar files for the different platform versions.
wcphkust/BinAbsInspector
BinAbsInspector: Vulnerability Scanner for Binaries
wcphkust/Blockchain-dark-forest-selfguard-handbook
Blockchain dark forest selfguard handbook. Master these, master the security of your cryptocurrency.
wcphkust/ChatGLM-6B
ChatGLM-6B: An Open Bilingual Dialogue Language Model | 开源双语对话语言模型
wcphkust/Coco
wcphkust/CodeBaseExtractor
A extractor for GitHub repo. Generate codebase fact for QA system.
wcphkust/CodeFuse-Query
QL-Based Code Analysis Engine NOT only for CodeFuse training data quality
wcphkust/cornelius
Equivalent and redundant mutant detection with e-graphs!!!
wcphkust/cs703-program-synthesis
Program synthesis class taught by Loris D'Antoni
wcphkust/cumulative-reasoning
Official implementation of paper "Cumulative Reasoning with Large Language Models"
wcphkust/egraph-sqlite
egraph on top of sqlite
wcphkust/FlowDroid
FlowDroid Static Data Flow Tracker
wcphkust/gitql
💊 A git query language
wcphkust/herbie
Optimize floating-point expressions for accuracy
wcphkust/HowToCook
程序员在家做饭方法指南。
wcphkust/ityfuzz
Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts
wcphkust/LLMsPracticalGuide
A curated list of practical guide resources of LLMs (LLMs Tree, Examples, Papers)
wcphkust/magic-in-ten-mins-py
十分钟魔法练习 Python 版
wcphkust/pydriller
Python Framework to analyse Git repositories
wcphkust/pyzotero
Pyzotero: a Python client for the Zotero API
wcphkust/ruler
Rewrite Rule Inference Using Equality Saturation
wcphkust/semantic
Parsing, analyzing, and comparing source code across many languages
wcphkust/sempre
Semantic Parser with Execution
wcphkust/smart-contract-best-practices
A guide to smart contract security best practices
wcphkust/snake-egg
Python bindings for egg
wcphkust/SVF
Static Value-Flow Analysis Framework for Source Code
wcphkust/Vanguard
Houses LLVM static analyzer and detectors for smart contracts
wcphkust/wcphkust.github.io
homepage