Stars
Camera Ready copy of FuzzSlice v1 code for ICSE
A ground-truth fuzzing benchmark suite based on real programs with real bugs.
A curated list of awesome directed fuzzing research papers
The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
Run compilers interactively from your web browser and interact with the assembly
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
The official repo of Doop, the declarative pointer analysis framework.
The implement of ACL2024: "MAPO: Advancing Multilingual Reasoning through Multilingual Alignment-as-Preference Optimization"
A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.
Retrieve author and publication information from Google Scholar in a friendly, Pythonic way without having to worry about CAPTCHAs!
为GPT/GLM等LLM大语言模型提供实用化交互接口，特别优化论文阅读/润色/写作体验，模块化设计，支持自定义快捷按钮&函数插件，支持Python和C++等项目剖析&自译解功能，PDF/LaTex论文翻译&总结功能，支持并行问询多种LLM模型，支持chatglm3等本地模型。接入通义千问, deepseekcoder, 讯飞星火, 文心一言, llama2, rwkv, claude2, m…
A small collection of vulnerable code snippets
GPT-3 found hundreds of security vulnerabilities in this repo
A points-to and alias analysis benchmark suite
clang & llvm examples, e.g. AST Interpreter, Function Pointer Analysis, Value Range Analysis, Data-Flow Analysis, Andersen Pointer Analysis, LLVM Backend...
An easy-to-learn/use static analysis framework for Java
A wrapper script to build whole-program LLVM bitcode files
Teaching and Learning Software Analysis via SVF
Static Value-Flow Analysis Framework for Source Code
😘 让你“爱”上 GitHub，解决访问时图裂、加载慢的问题。（无需安装）