codefuse-ai / CodeFuse-QueryLinks
Query-Based Code Analysis Engine
☆309Updated last month
Alternatives and similar repositories for CodeFuse-Query
Users that are interested in CodeFuse-Query are comparing it to the libraries listed below
Sorting:
- ☆59Updated 5 months ago
- LLMDFA: Analyzing Dataflow in Code with Large Language Models (NeurIPS 2024)☆124Updated 2 weeks ago
- Precision-guided context sensitivity for pointer analysis☆61Updated last year
- The official repo of Doop, the declarative pointer analysis framework.☆180Updated 3 weeks ago
- A tool to help you generate java call graph.☆9Updated 4 years ago
- A continuously updated collection of CodeLLM papers maintained by PurCL group @ Purdue☆468Updated last week
- A neurosymbolic framework for vulnerability detection in code☆116Updated this week
- ☆138Updated 3 weeks ago
- A manually vetted dataset for security vulnerability detection in Java projects☆64Updated last week
- ☆19Updated 4 months ago
- ☆136Updated 3 weeks ago
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆135Updated 2 months ago
- A brand-new multi-scenarios smart contract compiler framework☆74Updated 9 months ago
- A framework to generate unit tests using LLMs☆36Updated last month
- ☆13Updated last year
- LLMSAN: Sanitizing Large Language Models in Bug Detection with Data-Flow (EMNLP Findings 2024)☆77Updated 2 weeks ago
- Some test samples for CPG execution logic.☆21Updated last year
- Creating Data Flow Graphs from java input classes☆49Updated last year
- xAST评价体系，让安全工具不再“黑盒”. The xAST evaluation benchmark makes security tools no longer a "black box".☆394Updated this week
- Taint analysis implementation based on Heros and Soot☆45Updated last year
- 带你畅游《软件分析》☆277Updated 2 years ago
- A multi-lingual program repair benchmark set based on the Quixey Challenge☆122Updated 2 years ago
- This is an evaluation set for the problem of directed/targeted test input generation. We use it to benchmark the ability of Large Languag…☆33Updated 3 months ago
- Extract and combine multiple source code views using tree-sitter☆140Updated last month
- java-callgraph-spoon，使用静态分析工具spoon构造方法调用图callgraph ，源代码方法级别☆13Updated last year
- Corax for Java: A general static analysis framework for java code checking.☆251Updated 6 months ago
- 静态分析基础教程☆167Updated 2 weeks ago
- oh my soot !☆91Updated 2 years ago
- A library to extract Code Property Graphs from C/C++, Java, Go, Python, Ruby and every other language through LLVM-IR.☆339Updated this week
- ☆76Updated 2 weeks ago