codefuse-ai / CodeFuse-QueryLinks
Query-Based Code Analysis Engine
☆304Updated 2 weeks ago
Alternatives and similar repositories for CodeFuse-Query
Users that are interested in CodeFuse-Query are comparing it to the libraries listed below
Sorting:
- ☆59Updated 4 months ago
- LLMDFA: Analyzing Dataflow in Code with Large Language Models (NeurIPS 2024)☆115Updated 2 months ago
- Precision-guided context sensitivity for pointer analysis☆60Updated last year
- A continuously updated collection of CodeLLM papers maintained by PurCL group @ Purdue☆448Updated 3 weeks ago
- LLMSAN: Sanitizing Large Language Models in Bug Detection with Data-Flow (EMNLP Findings 2024)☆73Updated last month
- The official repo of Doop, the declarative pointer analysis framework.☆180Updated 2 months ago
- A tool to help you generate java call graph.☆9Updated 4 years ago
- xAST评价体系,让安全工具不再“黑盒”. The xAST evaluation benchmark makes security tools no longer a "black box".☆392Updated 2 months ago
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆135Updated last month
- ☆134Updated 2 weeks ago
- A manually vetted dataset for security vulnerability detection in Java projects☆53Updated last month
- Awesome Large Language Models for Vulnerability Detection☆113Updated this week
- A neurosymbolic framework for vulnerability detection in code☆81Updated last month
- A step-by-step tutorial for Soot (a Java static analysis framework)☆437Updated 2 years ago
- oh my soot !☆91Updated 2 years ago
- A brand-new multi-scenarios smart contract compiler framework☆74Updated 9 months ago
- 带你畅游《软件分析》☆277Updated 2 years ago
- ☆138Updated last week
- Taint analysis implementation based on Heros and Soot☆45Updated last year
- A library to extract Code Property Graphs from C/C++, Java, Go, Python, Ruby and every other language through LLVM-IR.☆331Updated this week
- ☆13Updated 11 months ago
- A multi-lingual program repair benchmark set based on the Quixey Challenge☆118Updated 2 years ago
- UnitGen 是一个用于生成微调代码的数据框架 —— 直接从你的代码库中生成微调数据:代码补全、测试生成、文档生成等。UnitGen is a code fine-tuning data framework that generates data from your ex…☆56Updated 11 months ago
- Some test samples for CPG execution logic.☆21Updated last year
- 静态分析基础教程☆167Updated 2 weeks ago
- A new version of Soot with a completely overhauled architecture☆689Updated this week
- Corax for Java: A general static analysis framework for java code checking.☆250Updated 6 months ago
- ☆25Updated 2 years ago
- A static analysis tool for Java programs, based on the theory of code property graphs.☆18Updated 2 years ago
- Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity☆11Updated last year