On the public citation graph
Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach
0 signed · 166 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/978-81-322-2268-2_59openalex-snapshot
Static Analysis: A Survey of Techniques and Tools
inferredcites →https://doi.org/10.1017/cbo9780511546990openalex-snapshot
Path-Oriented Program Analysis
inferredcites →https://doi.org/10.1109/icse48619.2023openalex-snapshot
2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE)
inferredcites →https://doi.org/10.1109/icse48619.2023.00085openalex-snapshot
CodaMosa: Escaping Coverage Plateaus in Test Generation with Pre-trained Large Language Models
inferredcites →https://doi.org/10.1109/sp46215.2023.10179420openalex-snapshot
Examining Zero-Shot Vulnerability Repair with Large Language Models
inferredcites →https://doi.org/10.1145/2892208.2892235openalex-snapshot
SVF: interprocedural static value-flow analysis in LLVM
inferredcites →https://doi.org/10.1145/3368089.3409686openalex-snapshot
UBITect: a precise and scalable method to detect use-before-initialization bugs in Linux kernel
inferredcites →https://doi.org/10.1145/3464457openalex-snapshot
A Survey of Parametric Static Analysis
inferredcites →https://doi.org/10.1145/3520312.3534862openalex-snapshot
A systematic evaluation of large language models of code
inferredcites →https://doi.org/10.1145/3571730openalex-snapshot
Survey of Hallucination in Natural Language Generation
inferredcites →https://doi.org/10.1145/3582688openalex-snapshot
A Comprehensive Survey of Few-shot Learning: Evolution, Applications, Challenges, and Opportunities
inferredcites →https://doi.org/10.1145/3597503.3608137openalex-snapshot
Prompting Is All You Need: Automated Android Bug Replay with Large Language Models
inferredcites →https://doi.org/10.1145/3597503.3639117openalex-snapshot
GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis
inferredcites →https://doi.org/10.48550/arxiv.2205.00445openalex-snapshot
MRKL Systems: A modular, neuro-symbolic architecture that combines large language models, external knowledge sources and discrete reasoning
inferredcites →https://doi.org/10.48550/arxiv.2205.12255openalex-snapshot
TALM: Tool Augmented Language Models
inferredcites →https://doi.org/10.52202/075280-2997openalex-snapshot
Toolformer: Language Models Can Teach Themselves to Use Tools
inferredcites →https://doi.org/10.5281/zenodo.10780590openalex-snapshot
Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach (Artifact)
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1002/9781394287499.ch15openalex-snapshot
Unveiling the Potential of Massive Language Models in Software Engineering
inferred← citeshttps://doi.org/10.1002/cpe.70203openalex-snapshot
Segment‐Based May‐Happen‐in‐Parallel Analysis for C Programs
inferred← citeshttps://doi.org/10.1007/978-3-031-98208-8_16openalex-snapshot
FAMiT: Mitigating False Alarms for Program Analysis Using Large Language Models
inferred← citeshttps://doi.org/10.1007/978-3-032-03705-3_11openalex-snapshot
System for Automatic Bug Detection in Code and Programs Using LLMs and AI Agents
inferred← citeshttps://doi.org/10.1007/978-3-032-11539-3_5openalex-snapshot
An Empirical Study of Large Language Models as Experts in Software Trustworthiness Assessment
inferred← citeshttps://doi.org/10.1007/978-3-032-26220-2_31openalex-snapshot
Shift-Left Requirements Verification: Integrating LLMs and Formal Methods for Automotive Systems
inferred← citeshttps://doi.org/10.1007/978-3-032-40374-2_15openalex-snapshot
NEAT: Agentic Interpretation: Lattice-Structured Evidence for LLM-Based Program Analysis
inferred← citeshttps://doi.org/10.1007/978-3-662-71567-3_20openalex-snapshot
Künstliche Intelligenz in der Softwareentwicklung
inferred← citeshttps://doi.org/10.1007/s10009-025-00780-7openalex-snapshot
Interleaving static analysis and LLM prompting with applications to error specification inference
inferred← citeshttps://doi.org/10.1007/s10664-026-10842-2openalex-snapshot
CPGHunter: LLM-guided semantic modeling for scalable vulnerability detection via taint analysis
inferred← citeshttps://doi.org/10.1007/s11432-025-4670-0openalex-snapshot
A survey on large language models for software engineering
inferred← citeshttps://doi.org/10.1016/j.dsm.2025.06.005openalex-snapshot
Integrative innovation of large language models in industries: technologies, applications, and challenges
inferred← citeshttps://doi.org/10.1016/j.infsof.2025.107802openalex-snapshot
Measuring the quality of generative AI systems: Mapping metrics to quality characteristics — Snowballing literature review
inferred← citeshttps://doi.org/10.1016/j.infsof.2026.108256openalex-snapshot
Use of peer code review to identify potential security vulnerabilities in open source software: A Systematic Literature Review
inferred← citeshttps://doi.org/10.1016/j.jpdc.2026.105255openalex-snapshot
Improving MPI error detection and repair with large language models and bug references
inferred← citeshttps://doi.org/10.1016/j.jss.2026.113129openalex-snapshot
Large language models in software project management: A two-phase systematic literature review
inferred← citeshttps://doi.org/10.1016/j.scico.2025.103387openalex-snapshot
Enhancing automated loop invariant generation for complex programs with large language models
inferred← citeshttps://doi.org/10.1109/access.2025.3601448openalex-snapshot
Automatic Evaluation of Programming Tasks Supported by Language Models
inferred← citeshttps://doi.org/10.1109/access.2025.3637047openalex-snapshot
MalQwen: Fine Tuned LLM for Static Android Malware Analysis Report
inferred← citeshttps://doi.org/10.1109/access.2025.3649535openalex-snapshot
The Impact of Prompt Language and Representation on LLM Reasoning: A Multilingual Empirical Study
inferred← citeshttps://doi.org/10.1109/acdsa65407.2025.11165833openalex-snapshot
Generative AI Efficiency and Effectiveness in Software Project Documentation Review Process
inferred← citeshttps://doi.org/10.1109/aitest66680.2025.00020openalex-snapshot
Fixing Performance Bugs Through LLM Explanations
inferred← citeshttps://doi.org/10.1109/ase63991.2025.00039openalex-snapshot
Towards More Accurate Static Analysis for Taint-Style Bug Detection in Linux Kernel
inferred← citeshttps://doi.org/10.1109/ase63991.2025.00079openalex-snapshot
LineBreaker: Finding Token-Inconsistency Bugs with Large Language Models
inferred← citeshttps://doi.org/10.1109/ase63991.2025.00082openalex-snapshot
Exploring Static Taint Analysis in LLMs: A Dynamic Benchmarking Framework for Measurement and Enhancement
inferred← citeshttps://doi.org/10.1109/ase63991.2025.00105openalex-snapshot
RFCAudit: AI Agent for Auditing Protocol Implementations Against RFC Specifications
inferred← citeshttps://doi.org/10.1109/ase63991.2025.00117openalex-snapshot
Learning Project-wise Subsequent Code Edits via Interleaving Neural-based Induction and Tool-based Deduction
inferred← citeshttps://doi.org/10.1109/ase63991.2025.00129openalex-snapshot
Finding Insecure State Dependency in DApps via Multi-Source Tracing and Semantic Enrichment
inferred← citeshttps://doi.org/10.1109/ase63991.2025.00138openalex-snapshot
Fact-Aligned and Template-Constrained Static Analyzer Rule Enhancement with LLMs
inferred← citeshttps://doi.org/10.1109/ase63991.2025.00168openalex-snapshot
Interpretable Vulnerability Detection Reports
inferred← citeshttps://doi.org/10.1109/ase63991.2025.00292openalex-snapshot
ErrorPrism: Reconstructing Error Propagation Paths in Cloud Service Systems
inferred← citeshttps://doi.org/10.1109/ase63991.2025.00315openalex-snapshot
SGCR: A Specification-Grounded Framework for Trustworthy LLM Code Review
inferred← citeshttps://doi.org/10.1109/cain66642.2025.00038openalex-snapshot
Towards an Adoption Framework to Foster Trust in AI-Assisted Software Engineering
inferred← citeshttps://doi.org/10.1109/cascon66301.2025.00083openalex-snapshot
Detecting and Fixing API Misuses of Data Science Libraries Using Large Language Models
inferred← citeshttps://doi.org/10.1109/comsnets67989.2026.11418178openalex-snapshot
Meta-agentic Framework for Software bug detection using Large Language Models
inferred← citeshttps://doi.org/10.1109/cscwd68734.2026.11582542openalex-snapshot
FirmSV: Detecting Stored Vulnerabilities in IoT Firmware using Static Taint Analysis
inferred← citeshttps://doi.org/10.1109/csit65290.2024.10982613openalex-snapshot
Cloud-Based System for Source Code Analysis of Microservices with LLM Agents
inferred← citeshttps://doi.org/10.1109/dac63849.2025.11133064openalex-snapshot
Unlocking a New Rust Programming Experience: Fast and Slow Thinking with LLMs to Conquer Undefined Behaviors
inferred← citeshttps://doi.org/10.1109/dsc67331.2025.00009openalex-snapshot
Enhancing Vulnerability Mining with Large Language Model
inferred← citeshttps://doi.org/10.1109/dsn69566.2026.00042openalex-snapshot
LLM-Empowered Discovery of Windows APIs Exploitable for Persistent Storage in Fileless Attacks
inferred← citeshttps://doi.org/10.1109/ecai69016.2026.11613725openalex-snapshot
ZeroGuard: A Multi-Agent Zero-Trust Framework for Autonomous IaC Security Remediation
inferred← citeshttps://doi.org/10.1109/fie61694.2024.10892816openalex-snapshot
Exploring the Potential of Locally Run Large Language (AI) Models for Automated Grading in Introductory Computer Science Courses
inferred← citeshttps://doi.org/10.1109/fie63693.2025.11328653openalex-snapshot
Can LLMs be Fair Graders? Only if You Bribe Them with the Right Rubric
inferred← citeshttps://doi.org/10.1109/gaiis69281.2026.11519183openalex-snapshot
Large Language Models for Software Vulnerability Detection: A Survey of Methods, Evaluation, and Future Trends
inferred← citeshttps://doi.org/10.1109/gaiis69281.2026.11519278openalex-snapshot
NAVIGATE: Multi-Agent Graph-Based Vulnerability Detection with Adversarial Severity Assessment
inferred← citeshttps://doi.org/10.1109/gcet68529.2025.11450900openalex-snapshot
Investigating Violations of Coding Standards in Large Language Models
inferred← citeshttps://doi.org/10.1109/iaict71158.2026.11620949openalex-snapshot
Framework-Adaptive Agentic Pipelines for API Knowledge Extraction and Test Generation
inferred← citeshttps://doi.org/10.1109/icacte66284.2025.11411955openalex-snapshot
Enhancing Static Analysis for ICC Resolution: An LLM-Integrated Approach
inferred← citeshttps://doi.org/10.1109/icassp49660.2025.10890652openalex-snapshot
VulKiller: Java Web Vulnerability Detection with Code Property Graph and Large Language Models
inferred← citeshttps://doi.org/10.1109/icassp55912.2026.11462097openalex-snapshot
IR-Hunter: Automated Analysis of Intent Redirection Vulnerabilities in Android Applications Based on Hybrid Dynamic and Static Approaches
inferred← citeshttps://doi.org/10.1109/icassp55912.2026.11463116openalex-snapshot
AuditGPT: A Multi-Agent Framework for Enhancing Static Analysis
inferred← citeshttps://doi.org/10.1109/iccect64621.2025.11339749openalex-snapshot
Leveraging Large Language Models for Efficient Vulnerability Detection in IoT Firmware
inferred← citeshttps://doi.org/10.1109/icecmsn68058.2025.11383134openalex-snapshot
The Evolution of Bug Detection: Past Foundations, Present Advances, and Future Techniques
inferred← citeshttps://doi.org/10.1109/icse-companion66252.2025.00082openalex-snapshot
COmmitSHield: Tracking Vulnerability Introduction and Fix in Version Control Systems
inferred← citeshttps://doi.org/10.1109/icse55347.2025.00023openalex-snapshot
LLM Assistance for Memory Safety
inferred← citeshttps://doi.org/10.1109/icse55347.2025.00038openalex-snapshot
Vulnerability Detection with Code Language Models: How Far are We?
inferred← citeshttps://doi.org/10.1109/icse55347.2025.00097openalex-snapshot
Rug: Turbo Llm for Rust Unit Test Generation
inferred← citeshttps://doi.org/10.1109/icse55347.2025.00197openalex-snapshot
LLM-Aided Automatic Modeling for Security Protocol Verification
inferred← citeshttps://doi.org/10.1109/icse55347.2025.00208openalex-snapshot
PacDroid: A Pointer-Analysis-Centric Framework for Security Vulnerabilities in Android Apps
inferred← citeshttps://doi.org/10.1109/icsme64153.2025.00015openalex-snapshot
LLM-SZZ: Novel Vulnerability-Inducing Commit Identification Driven by Large Language Model and CVE Description
inferred← citeshttps://doi.org/10.1109/icst62969.2025.10988968openalex-snapshot
Understanding the Effectiveness of Large Language Models in Detecting Security Vulnerabilities
inferred← citeshttps://doi.org/10.1109/icst69053.2026.00043openalex-snapshot
Understanding and Improving ML-based Static Analysis Result Classification via Explainable AI
inferred← citeshttps://doi.org/10.1109/icstw72326.2026.00016openalex-snapshot
Towards LLMinating Performance Anti-Patterns in Android Apps
inferred← citeshttps://doi.org/10.1109/isctis70043.2026.11571895openalex-snapshot
MIPA: Multi-Agent Interval Analysis via Value-Flow and LLM-Solver Co-Reasoning
inferred← citeshttps://doi.org/10.1109/ispras64596.2024.10899123openalex-snapshot
LLM-based Interactive Code Generation: Empirical Evaluation
inferred← citeshttps://doi.org/10.1109/issrew63542.2024.00098openalex-snapshot
C Source Code Generation from IR towards Making Bug Samples to Fluctuate for Machine Learning
inferred← citeshttps://doi.org/10.1109/ivmem63006.2024.10659715openalex-snapshot
Large language models in source code static analysis
inferred← citeshttps://doi.org/10.1109/llm4code66737.2025.00008openalex-snapshot
♪ With a Little Help from My (LLM) Friends: Enhancing Static Analysis with LLMs to Detect Software Vulnerabilities
inferred← citeshttps://doi.org/10.1109/qce65121.2025.10316openalex-snapshot
Quantum Program Linting with LLMs: Emerging Results from a Comparative Study
inferred← citeshttps://doi.org/10.1109/qrs65678.2025.00015openalex-snapshot
Generation, Migration and Optimization of Cross-Language Static-Analysis Rules Based on Large Language Models
inferred← citeshttps://doi.org/10.1109/saner64311.2025.00073openalex-snapshot
Conan: Uncover Consensus Issues in Distributed Databases Using Fuzzing-Driven Fault Injection
inferred← citeshttps://doi.org/10.1109/saner67736.2026.00044openalex-snapshot
An Empirical Investigation on the Use of Large Language Models for Performance Bug Detection
inferred← citeshttps://doi.org/10.1109/saner67736.2026.00075openalex-snapshot
Synergizing LLM-Driven Semantic Reasoning with Assertion-Guided Analysis for Enhanced Vulnerability Detection
inferred← citeshttps://doi.org/10.1109/snpd65828.2025.11253974openalex-snapshot
Evaluating the Source Code Review Performance of LLM-based AI Chatbots
inferred← citeshttps://doi.org/10.1109/sp63933.2026.00121openalex-snapshot
Detecting Privilege Escalation in Polyglot Microservices via Agentic Program Analysis
inferred← citeshttps://doi.org/10.1109/sp63933.2026.00124openalex-snapshot
StepStone: LLM-Based GPU Kernel Driver Fuzzing via User-Space Libraries
inferred← citeshttps://doi.org/10.1109/sp63933.2026.00156openalex-snapshot
TRIGFUZZ: Triggering Conditions Guided Directed Fuzzing
inferred← citeshttps://doi.org/10.1109/spw67851.2025.00009openalex-snapshot
Large Language Models for Validating Network Protocol Parsers
inferred← citeshttps://doi.org/10.1109/spw67851.2025.00040openalex-snapshot
Code Vulnerability Repair with Large Language Model Using Context-Aware Prompt Tuning
inferred← citeshttps://doi.org/10.1109/tifs.2025.3597221openalex-snapshot
AV-Agent: A Bottom-Up Interpretable Malware Classifier Based on Large Language Models
inferred← citeshttps://doi.org/10.1109/tifs.2026.3683274openalex-snapshot
HKT-SmartAudit: Distilling Lightweight Models for Smart Contract Auditing
inferred← citeshttps://doi.org/10.1109/tse.2025.3594673openalex-snapshot
Large Language Models-Aided Program Debloating
inferred← citeshttps://doi.org/10.1109/tse.2025.3619281openalex-snapshot
Towards Secure Code Generation With LLMs: A Study on Common Weakness Enumeration
inferred← citeshttps://doi.org/10.1109/tse.2026.3701153openalex-snapshot
SmarTracker: Leveraging LLMs to Automate User Behavior Tracking in Mobile Apps
inferred← citeshttps://doi.org/10.1109/wsc68292.2025.11338911openalex-snapshot
Look to the Future! Simulation by 2050 and Beyond
inferred← citeshttps://doi.org/10.1134/s0005117925601058openalex-snapshot
Analysis of Compiler-Level Static and Dynamic Features for Automated Bug Prediction Using Transformer Models
inferred← citeshttps://doi.org/10.1134/s0361768826700313openalex-snapshot
Increasing the Precision of Static Code Analysis Using Large Language Models
inferred← citeshttps://doi.org/10.1145/3652588openalex-snapshot
Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
inferred← citeshttps://doi.org/10.1145/3689031.3717487openalex-snapshot
Seal: Towards Diverse Specification Inference for Linux Interfaces from Security Patches
inferred← citeshttps://doi.org/10.1145/3691620.3695016openalex-snapshot
Semantic-Enhanced Indirect Call Analysis with Large Language Models
inferred← citeshttps://doi.org/10.1145/3691620.3695531openalex-snapshot
Magneto: A Step-Wise Approach to Exploit Vulnerabilities in Dependent Libraries via LLM-Empowered Directed Fuzzing
inferred← citeshttps://doi.org/10.1145/3696630.3728508openalex-snapshot
Toward LLM-Driven GDPR Compliance Checking for Android Apps
inferred← citeshttps://doi.org/10.1145/3728875openalex-snapshot
Beyond Static Pattern Matching? Rethinking Automatic Cryptographic API Misuse Detection in the Era of LLMs
inferred← citeshttps://doi.org/10.1145/3728890openalex-snapshot
Safe4U: Identifying Unsound Safe Encapsulations of Unsafe Calls in Rust using LLMs
inferred← citeshttps://doi.org/10.1145/3728955openalex-snapshot
Validating Network Protocol Parsers with Traceable RFC Document Interpretation
inferred← citeshttps://doi.org/10.1145/3728978openalex-snapshot
Intention-Based GUI Test Migration for Mobile Apps using Large Language Models
inferred← citeshttps://doi.org/10.1145/3729482openalex-snapshot
LEGO: Synthesizing IoT Device Components Based on Static Analysis and Large Language Models
inferred← citeshttps://doi.org/10.1145/3735637openalex-snapshot
Enhancing Differential Testing with LLMs for Testing Deep Learning Libraries
inferred← citeshttps://doi.org/10.1145/3744916.3764560openalex-snapshot
Write Your Own Code Checker: An Automated Test-Driven Checker Development Approach with LLMs
inferred← citeshttps://doi.org/10.1145/3744916.3773182openalex-snapshot
Characterizing Regression Bug‑Inducing Changes and Improving LLM‑Based Regression Bug Detection
inferred← citeshttps://doi.org/10.1145/3756681.3756977openalex-snapshot
Do Automatic Comment Generation Techniques Fall Short? Exploring the Influence of Method Dependencies on Code Understanding
inferred← citeshttps://doi.org/10.1145/3756681.3756982openalex-snapshot
LLM Vs Rule-Based - The COBRAIN Tool and An Empirical Study on Extracting Business Rules from COBOL
inferred← citeshttps://doi.org/10.1145/3756681.3756983openalex-snapshot
Analyzing Prominent LLMs: An Empirical Study of Performance and Complexity in Solving LeetCode Problems
inferred← citeshttps://doi.org/10.1145/3756681.3756999openalex-snapshot
LAMeD: LLM-generated Annotations for Memory Leak Detection
inferred← citeshttps://doi.org/10.1145/3759425.3763389openalex-snapshot
Understanding Formal Reasoning Failures in LLMs as Abstract Interpreters
inferred← citeshttps://doi.org/10.1145/3759425.3763393openalex-snapshot
Enhancing Semantic Understanding in Pointer Analysis using Large Language Models
inferred← citeshttps://doi.org/10.1145/3763166openalex-snapshot
On Abstraction Refinement for Bayesian Program Analysis
inferred← citeshttps://doi.org/10.1145/3770922openalex-snapshot
Large Language Models in Software Security Analysis
inferred← citeshttps://doi.org/10.1145/3774748.3787640openalex-snapshot
LLM-Augmented Program Analysis: Towards Practical and Scalable Bug Detection
inferred← citeshttps://doi.org/10.1145/3783992openalex-snapshot
A Survey of Operating System Kernel Fuzzing
inferred← citeshttps://doi.org/10.1145/3786181.3788713openalex-snapshot
Towards LLM-guided Semantic Validation of Autonomous Driving Safety Policies
inferred← citeshttps://doi.org/10.1145/3786582.3786807openalex-snapshot
Replacing Training with Reasoning: Reinterpreting Classic ML Pipelines with LLMs
inferred← citeshttps://doi.org/10.1145/3786583.3786910openalex-snapshot
Reducing False Positives in Static Bug Detection with LLMs: An Empirical Study in Industry
inferred← citeshttps://doi.org/10.1145/3796263.3796265openalex-snapshot
Artificial intelligence tools in code quality analysis:A systematic review
inferred← citeshttps://doi.org/10.1145/3796563.3796590openalex-snapshot
Assessing General Purpose LLMs for Design Generation from Ontological Prompt Representations devoid of Design Clues
inferred← citeshttps://doi.org/10.1145/3796563.3796599openalex-snapshot
cfgLLM: Automated assistance for software requirements using multi-LLM Fusion Agentic Framework
inferred← citeshttps://doi.org/10.1145/3797071openalex-snapshot
Mining Long Tail Bugs: Identifying Rare and Overlooked Issues in Code
inferred← citeshttps://doi.org/10.1145/3797118openalex-snapshot
Speculate: Generating REST API Specifications using LLMs
inferred← citeshttps://doi.org/10.1145/3797277openalex-snapshot
vul-rag : Enhancing LLM-based Vulnerability Detection via Knowledge-level RAG
inferred← citeshttps://doi.org/10.1145/3797552.3797701openalex-snapshot
An LLM-Driven SSM Architecture Visualization Method for Teaching
inferred← citeshttps://doi.org/10.1145/3808214openalex-snapshot
TUSR: A Test Unit-Based Framework for Repairing Obsolete GUI Test Scripts
inferred← citeshttps://doi.org/10.1145/3808300openalex-snapshot
Exploiting Sophisticated Static Analysis for Verilog
inferred← citeshttps://doi.org/10.1145/3811034openalex-snapshot
Arash : Token-Efficient LLM-Assisted Crash Root Cause Analysis in Fuzz Driver Generation
inferred← citeshttps://doi.org/10.1145/3811920openalex-snapshot
Fine-Tuning Code Language Models to Detect Cross-Language Bugs
inferred← citeshttps://doi.org/10.1145/3814987.3814993openalex-snapshot
LLM-Integrated Declarative Program Analysis
inferred← citeshttps://doi.org/10.1145/3815425openalex-snapshot
A Systematic Literature Review on Detecting Software Vulnerabilities with Large Language Models
inferred← citeshttps://doi.org/10.1145/3817605openalex-snapshot
PRLBridge: A Legality-Aware Interface between Compilers and LLMs for Secure DNN Obfuscation
inferred← citeshttps://doi.org/10.1145/3819765.3819778openalex-snapshot
Tri-Color Guard: Securing Large-Scale Network Infrastructures via Semantics-Enhanced Incremental Vulnerability Detection
inferred← citeshttps://doi.org/10.1145/3820049openalex-snapshot
Intent-Aware Defect Pattern Extraction from Singular Examples
inferred← citeshttps://doi.org/10.1145/3822511openalex-snapshot
Can Large Language Models Reason About Complex Execution Paths? An Empirical Study on Python
inferred← citeshttps://doi.org/10.1145/3828546openalex-snapshot
Artificial Intelligence Support for Software Architecture Practice: A Systematic Review and Future Directions
inferred← citeshttps://doi.org/10.1145/3832114openalex-snapshot
LLM-Based Repair of Static Nullability Errors
inferred← citeshttps://doi.org/10.1145/3832783.3834336openalex-snapshot
IntOAgent: A Practical Framework for Automated Detection and Triggering of Integer Overflow Vulnerabilities
inferred← citeshttps://doi.org/10.1145/3832783.3834381openalex-snapshot
Every Scenario Matters: Scenario-Guided White-Box Testing for Static Code Checkers Powered by LLMs
inferred← citeshttps://doi.org/10.1145/3832783.3837481openalex-snapshot
SafeDep: Detecting State Mutation Unsoundness in Rust via Dependency Slicing and LLM Reasoning
inferred← citeshttps://doi.org/10.1145/3832783.3844581openalex-snapshot
Secrets without Signatures: An LLM Agent for Logic-Defined Exposures in Recovered JavaScript
inferred← citeshttps://doi.org/10.1145/3837729.3842145openalex-snapshot
After the Hitchhiker’s Guide: Toward Principled LLM Assistance for Static Analysis
inferred← citeshttps://doi.org/10.1145/3843282.3844435openalex-snapshot
An Evidence-Preserving Architecture for LLM-Assisted Vulnerability Review of Robotics Software
inferred← citeshttps://doi.org/10.1631/fitee.2500038openalex-snapshot
Large language model-enhanced probabilistic modeling for effective static analysis alarms
inferred← citeshttps://doi.org/10.21203/rs.3.rs-5975490/v1openalex-snapshot
Machine Learning Approaches in Software Vulnerability Detection: A Systematic Review and Analysis of Contemporary Methods
inferred← citeshttps://doi.org/10.2139/ssrn.6981148openalex-snapshot
vEcho: From Passive Verification to Proactive Discovery through Evidence-Grounded Vulnerability Auditing
inferred← citeshttps://doi.org/10.2139/ssrn.7493622openalex-snapshot
CAP: Evidence-Guided Vulnerability-Path Mining for C/C++ Repositories
inferred← citeshttps://doi.org/10.32388/vv1661openalex-snapshot
Challenges and Paths Towards AI for Software Engineering
inferred← citeshttps://doi.org/10.3389/fcomp.2025.1655469openalex-snapshot
A dual perspective review on large language models and code verification
inferred← citeshttps://doi.org/10.3390/info17010073openalex-snapshot
Foundation Models in Software Engineering: A Taxonomy, Systematic Review, and In-Depth Analysis of Testing Support
inferred← citeshttps://doi.org/10.3390/software5030032openalex-snapshot
Formal Verification Under Evolution in Microservice-Based Systems: A Systematic Literature Review
inferred← citeshttps://doi.org/10.35940/ijeat.d4756.15040326openalex-snapshot
Advancing Infrastructure-as-Code Resilience through Generative AI Agents for Predictive Remediation and Autonomous Security Enforcement
inferred← citeshttps://doi.org/10.4236/jis.2025.162018openalex-snapshot
Large Language Models (LLMs) for Software Security Analysis
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.