codefuse-ai / CodeFuse-Query
Query-Based Code Analysis Engine
☆239Updated this week
Alternatives and similar repositories for CodeFuse-Query:
Users that are interested in CodeFuse-Query are comparing it to the libraries listed below
- ☆54Updated last month
- A continuously updated collection of CodeLLM papers☆282Updated 3 weeks ago
- LLMDFA: Analyzing Dataflow in Code with Large Language Models☆71Updated 4 months ago
- Qilin: A New Framework for Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis☆128Updated last week
- Precision-guided context sensitivity for pointer analysis☆59Updated last year
- The official repo of Doop, the declarative pointer analysis framework.☆172Updated 2 months ago
- A brand-new multi-scenarios smart contract compiler framework☆73Updated 5 months ago
- A tool to help you generate java call graph.☆9Updated 3 years ago
- ☆109Updated 2 months ago
- ☆16Updated this week
- Extract and combine multiple source code views using tree-sitter☆121Updated last month
- A multi-lingual program repair benchmark set based on the Quixey Challenge☆106Updated 2 years ago
- ☆126Updated 2 months ago
- Creating Data Flow Graphs from java input classes☆48Updated 7 months ago
- ReDoSHunter: A Combined Static and Dynamic Approach for Regular Expression DoS Detection☆78Updated 2 years ago
- Large Language Models for Software Engineering☆204Updated this week
- Industrial-level evaluation benchmarks for Coding LLMs in the full life-cycle of AI native software developing.企业级代码大模型评测体系,持续开放中☆85Updated last year
- A new version of Soot with a completely overhauled architecture☆639Updated this week
- oh my soot !☆88Updated 2 years ago
- IFDS/IDE Solver for Soot and other frameworks☆240Updated last year
- ✅SRepair: Powerful LLM-based Program Repairer with $0.029/Fixed Bug☆58Updated 9 months ago
- ☆339Updated last year
- ☆113Updated last year
- This is the repo for an incremental pointer analysis for Java programs. This repo has been adopted by WALA☆24Updated 2 years ago
- Doop - Framework for Java Pointer and Taint Analysis☆17Updated 6 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…☆25Updated 5 months ago
- Aix-bench, the Java benchmark for code synthesis problem.☆51Updated 2 years ago
- A library to extract Code Property Graphs from C/C++, Java, Go, Python, Ruby and every other language through LLVM-IR.☆301Updated this week
- A program slicer for Java, based on the system dependence graph (SDG).☆64Updated last year
- LLMSAN: Sanitizing Large Language Models in Bug Detection with Data-Flow☆50Updated 4 months ago