:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Zhang, Yilei, Liao, Haoyu, Wang, Zekun, Huang, Bo, Guo, Jianmei
Format:	Preprint
Published:	2024
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/2405.09132
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries
by: He, Ningyu, et al.
Published: (2024)

SCRIBE: Practical Static Binary Patching via Binary-Aware Recompilation of Decompiled Code
by: Dai, Han, et al.
Published: (2026)

A Comprehensive Study on Static Application Security Testing (SAST) Tools for Android
by: Zhu, Jingyun, et al.
Published: (2024)

Comparison of Static Analysis Architecture Recovery Tools for Microservice Applications
by: Schneider, Simon, et al.
Published: (2024)

An Empirical Study of Static Analysis Tools for Secure Code Review
by: Charoenwet, Wachiraphan, et al.
Published: (2024)

Comparison of Static Analysis Architecture Recovery Tools for Microservice Applications
by: Schneider, Simon, et al.
Published: (2024)

STALL+: Boosting LLM-based Repository-level Code Completion with Static Analysis
by: Liu, Junwei, et al.
Published: (2024)

Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We?
by: Li, Kaixuan, et al.
Published: (2024)

Decompile-Bench: Million-Scale Binary-Source Function Pairs for Real-World Binary Decompilation
by: Tan, Hanzhuo, et al.
Published: (2025)

Guided Tensor Lifting
by: Li, Yixuan, et al.
Published: (2025)

The Tool-Overuse Illusion: Why Does LLM Prefer External Tools over Internal Knowledge?
by: Zeng, Yirong, et al.
Published: (2026)

AutoFL: A Tool for Automatic Multi-granular Labelling of Software Repositories
by: Sas, Cezar, et al.
Published: (2024)

AutoCheck: Automatically Identifying Variables for Checkpointing by Data Dependency Analysis
by: Fu, Xiang, et al.
Published: (2024)

Lifting the Veil on Composition, Risks, and Mitigations of the Large Language Model Supply Chain
by: Huang, Kaifeng, et al.
Published: (2024)

LLMs are Bug Replicators: An Empirical Study on LLMs' Capability in Completing Bug-prone Code
by: Guo, Liwei, et al.
Published: (2025)

Boosting Pointer Analysis With LLM-Enhanced Allocation Function Detection
by: Cheng, Baijun, et al.
Published: (2025)

BinaryAI: Binary Software Composition Analysis via Intelligent Binary Source Code Matching
by: Jiang, Ling, et al.
Published: (2024)

BinEnhance: An Enhancement Framework Based on External Environment Semantics for Binary Code Search
by: Wang, Yongpan, et al.
Published: (2024)

Why Personalizing Deep Learning-Based Code Completion Tools Matters
by: Giagnorio, Alessandro, et al.
Published: (2025)

Large Language Models Versus Static Code Analysis Tools: A Systematic Benchmark for Vulnerability Detection
by: Gnieciak, Damian, et al.
Published: (2025)

RLCoder: Reinforcement Learning for Repository-Level Code Completion
by: Wang, Yanlin, et al.
Published: (2024)

Online-Optimized RAG for Tool Use and Function Calling
by: Pan, Yu, et al.
Published: (2025)

Finding Memory Leaks in C/C++ Programs via Neuro-Symbolic Augmented Static Analysis
by: Huang, Huihui, et al.
Published: (2026)

LeanBin: Harnessing Lifting and Recompilation to Debloat Binaries
by: Wodiany, Igor, et al.
Published: (2024)

There are More Fish in the Sea: Automated Vulnerability Repair via Binary Templates
by: Lin, Bo, et al.
Published: (2024)

M2rc-Eval: Massively Multilingual Repository-level Code Completion Evaluation
by: Liu, Jiaheng, et al.
Published: (2024)

Patch2QL: Discover Cognate Defects in Open Source Software Supply Chain With Auto-generated Static Analysis Rules
by: Wang, Fuwei, et al.
Published: (2024)

Better Debugging: Combining Static Analysis and LLMs for Explainable Crashing Fault Localization
by: Yan, Jiwei, et al.
Published: (2024)

GroupTuner: Efficient Group-Aware Compiler Auto-Tuning
by: Gao, Bingyu, et al.
Published: (2025)

NESA: Relational Neuro-Symbolic Static Program Analysis
by: Wang, Chengpeng, et al.
Published: (2024)

Go Static: Contextualized Logging Statement Generation
by: Li, Yichen, et al.
Published: (2024)

An Empirical Study: MEMS as a Static Performance Metric
by: Zhang, Liwei, et al.
Published: (2025)

An Extensive Comparison of Static Application Security Testing Tools
by: Esposito, Matteo, et al.
Published: (2024)

Cross-Inlining Binary Function Similarity Detection
by: Jia, Ang, et al.
Published: (2024)

AutoFeedback: An LLM-based Framework for Efficient and Accurate API Request Generation
by: Liu, Huanxi, et al.
Published: (2024)

Comparison of Static Application Security Testing Tools and Large Language Models for Repo-level Vulnerability Detection
by: Zhou, Xin, et al.
Published: (2024)

GPU-Accelerated Loopy Belief Propagation for Program Analysis
by: Feng, Haoyu, et al.
Published: (2025)

LLM-Assisted Tool for Joint Generation of Formulas and Functions in Rule-Based Verification of Map Transformations
by: He, Ruidi, et al.
Published: (2025)

SmartAxe: Detecting Cross-Chain Vulnerabilities in Bridge Smart Contracts via Fine-Grained Static Analysis
by: Liao, Zeqin, et al.
Published: (2024)

No Need to Lift a Finger Anymore? Assessing the Quality of Code Generation by ChatGPT
by: Liu, Zhijie, et al.
Published: (2023)