-
Institute of Software, CAS
- Beijing
Highlights
- Pro
Starred repositories
A wrapper script to build whole-program LLVM bitcode files
Andersen's inclusion-based pointer analysis re-implementation in LLVM
Tutorials, examples, discussions, research proposals, and other resources related to fuzzing
A command line tool and library for transferring data with URL syntax, supporting DICT, FILE, FTP, FTPS, GOPHER, GOPHERS, HTTP, HTTPS, IMAP, IMAPS, LDAP, LDAPS, MQTT, POP3, POP3S, RTMP, RTMPS, RTSP…
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 Qwen3, Llama 4, TTS, DeepSeek-R1 & Gemma 3 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