
-
Institute of Software, CAS
- Beijing
Highlights
- Pro
Starred repositories
PTABen: Micro-benchmark Suite for Pointer Analysis
Python grammar for tree-sitter
基于 skyzh/chicv 制作的简易中文 typst 简历模板 - CV template in Chinese based on skyzh/chicv
An incremental parsing system for programming tools
A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
Finetune Llama 3.3, DeepSeek-R1, Gemma 3 & Reasoning LLMs 2x faster with 70% less memory! 🦥
Kotlin bindings to the Tree-sitter parsing library
Basic sample for deploying chat web apps with Azure AI Foundry and SDKs
A copilot sample that uses python to ground the copilot responses in company data.
SWE-bench [Multimodal]: Can Language Models Resolve Real-world Github Issues?
Used to learn how to write LLVM IR transform passes.
A step-by-step tutorial for building an LLVM sample pass
⚡A CLI tool for code structural search, lint and rewriting. Written in Rust
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
Semgrep Community Edition rules, maintained by Semgrep and the community. Free to use under the Semgrep Rules License.
Static Value-Flow Analysis Framework for Source Code
A rule-based static code analyzer with PeopleCode-specific features and an extensible plug-in architecture.
This is a benchmark for evaluating the vulnerability discovery ability of automated approaches including Large Language Models (LLMs), deep learning methods and static analyzers
KernelGPT: Enhanced Kernel Fuzzing via Large Language Models (ASPLOS 2025)