On the public citation graph
Safe Memory-Leak Fixing for C Programs
0 signed · 102 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.1002/1096-9128(20001210)12:14<1431::aid-cpe542>3.0.co;2-2openalex-snapshot
Visualizing reference patterns for solving memory leaks in Java
inferredcites →https://doi.org/10.1002/spe.4380180902openalex-snapshot
Garbage collection in an uncooperative environment
inferredcites →https://doi.org/10.1007/11823230_26openalex-snapshot
Memory Leak Analysis by Contradiction
inferredcites →https://doi.org/10.1007/978-3-540-45070-2_16openalex-snapshot
LeakBot: An Automated and Lightweight Tool for Diagnosing Memory Leaks in Large Java Applications
inferredcites →https://doi.org/10.1007/bf00290339openalex-snapshot
Monotone data flow analysis frameworks
inferredcites →https://doi.org/10.1007/bfb0017182openalex-snapshot
Uniprocessor garbage collection techniques
inferredcites →https://doi.org/10.1007/s11390-009-9229-0openalex-snapshot
Demand-Driven Memory Leak Detection Based on Flow- and Context-Sensitive Pointer Analysis
inferredcites →https://doi.org/10.1007/s11432-012-4741-1openalex-snapshot
More efficient automatic repair of large-scale programs using weak recompilation
inferredcites →https://doi.org/10.1007/s11704-014-3460-8openalex-snapshot
Melton: a practical and precise memory leak detection tool for C programs
inferredcites →https://doi.org/10.1109/cec.2008.4630793openalex-snapshot
A novel co-evolutionary approach to automatic software bug fixing
inferredcites →https://doi.org/10.1109/icse.2009.5070536openalex-snapshot
Automatically finding patches using genetic programming
inferredcites →https://doi.org/10.1109/tse.2014.2383381openalex-snapshot
Range Fixes: Interactive Error Resolution for Software Configuration
inferredcites →https://doi.org/10.1145/1024393.1024412openalex-snapshot
Low-overhead memory leak detection using adaptive statistical profiling
inferredcites →https://doi.org/10.1145/1040305.1040331openalex-snapshot
Region-based shape analysis with tracked locations
inferredcites →https://doi.org/10.1145/1081706.1081728openalex-snapshot
Context- and path-sensitive memory leak detection
inferredcites →https://doi.org/10.1145/1133956.1133975openalex-snapshot
Compile-time deallocation of individual objects
inferredcites →https://doi.org/10.1145/1250734.1250766openalex-snapshot
Making context-sensitive points-to analysis with heap cloning practical for the real world
inferredcites →https://doi.org/10.1145/1250734.1250789openalex-snapshot
Practical memory leak detection using guarded value-flow analysis
inferredcites →https://doi.org/10.1145/1296907.1296912openalex-snapshot
Detecting and eliminating memory leaks using cyclic memory allocation
inferredcites →https://doi.org/10.1145/1296907.1296923openalex-snapshot
Uniqueness inference for compile-time object deallocation
inferredcites →https://doi.org/10.1145/1368088.1368110openalex-snapshot
Precise memory leak detection for java software using container profiling
inferredcites →https://doi.org/10.1145/1375634.1375653openalex-snapshot
Practical memory leak detector based on parameterized procedural summaries
inferredcites →https://doi.org/10.1145/1594834.1480911openalex-snapshot
Semi-sparse flow-sensitive pointer analysis
inferredcites →https://doi.org/10.1145/1595696.1595757openalex-snapshot
Supporting automatic model inconsistency fixing
inferredcites →https://doi.org/10.1145/1806799.1806812openalex-snapshot
Has the bug really been fixed?
inferredcites →https://doi.org/10.1145/1806799.1806876openalex-snapshot
Effective interprocedural resource leak detection
inferredcites →https://doi.org/10.1145/1831708.1831716openalex-snapshot
Automated fixing of programs with contracts
inferredcites →https://doi.org/10.1145/1993498.1993544openalex-snapshot
Automated atomicity-violation fixing
inferredcites →https://doi.org/10.1145/2025113.2025160openalex-snapshot
Boosting the performance of flow-sensitive points-to analysis using value flow
inferredcites →https://doi.org/10.1145/2338965.2336784openalex-snapshot
Static memory leak detection using full-sparse value-flow analysis
inferredcites →https://doi.org/10.1145/2666356.2594327openalex-snapshot
On abstraction refinement for program analyses in Datalog
inferredcites →https://doi.org/10.1145/2676726.2676997openalex-snapshot
Summary-Based Context-Sensitive Data-Dependence Analysis in Presence of Callbacks
inferredcites →https://doi.org/10.1145/503272.503282openalex-snapshot
Bounding space usage of conservative garbage collectors
inferredcites →https://doi.org/10.1145/75277.75280openalex-snapshot
An efficient method of computing static single assignment form
inferredcites →https://doi.org/10.1145/781131.781150openalex-snapshot
A practical flow-sensitive and context-sensitive C and C++ memory leak detector
inferredcites →https://doi.org/10.5555/2387880.2387902openalex-snapshot
Automated concurrency-bug fixing
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-981-15-9739-8_42openalex-snapshot
Automatic Repair of Semantic Defects Using Restraint Mechanisms
inferred← citeshttps://doi.org/10.1007/978-981-97-8540-7_17openalex-snapshot
PTFix: Rule-Based and LLM Techniques for Java Path Traversal Vulnerability
inferred← citeshttps://doi.org/10.1007/s10664-018-9619-4openalex-snapshot
Alleviating patch overfitting with automatic test generation: a study of feasibility and effectiveness for the Nopol repair system
inferred← citeshttps://doi.org/10.1007/s10664-019-09731-8openalex-snapshot
Memory and resource leak defects and their repairs in Java projects
inferred← citeshttps://doi.org/10.1007/s10878-019-00398-xopenalex-snapshot
A dynamic approach to detecting, eliminating and fixing memory leaks
inferred← citeshttps://doi.org/10.1007/s11390-016-1670-2openalex-snapshot
Prioritizing Test Cases for Memory Leaks in Android Applications
inferred← citeshttps://doi.org/10.1007/s11432-018-1465-6openalex-snapshot
A manual inspection of Defects4J bugs and its implications for automatic program repair
inferred← citeshttps://doi.org/10.1016/j.future.2024.107671openalex-snapshot
LineJLocRepair: A line-level method for Automated Vulnerability Repair based on joint training
inferred← citeshttps://doi.org/10.1080/1206212x.2017.1397342openalex-snapshot
False positive elimination in suspected code fault automatic confirmation
inferred← citeshttps://doi.org/10.1109/apsec.2018.00044openalex-snapshot
Scalable and Extensible Static Memory Safety Analysis with Summary over Access Path
inferred← citeshttps://doi.org/10.1109/ase.2015.81openalex-snapshot
Fixing Recurring Crash Bugs via Analyzing Q&A Sites (T)
inferred← citeshttps://doi.org/10.1109/ase.2017.8115721openalex-snapshot
Towards API-specific automatic program repair
inferred← citeshttps://doi.org/10.1109/ase63991.2025.00011openalex-snapshot
Vul-R2: A Reasoning LLM for Automated Vulnerability Repair
inferred← citeshttps://doi.org/10.1109/ibf50092.2020.9034821openalex-snapshot
Exploring the Differences between Plausible and Correct Patches at Fine-Grained Level
inferred← citeshttps://doi.org/10.1109/icse.2017.45openalex-snapshot
Precise Condition Synthesis for Program Repair
inferred← citeshttps://doi.org/10.1109/icse.2019.00063openalex-snapshot
VFix: Value-Flow-Guided Precise Program Repair for Null Pointer Dereferences
inferred← citeshttps://doi.org/10.1109/icse43902.2021.00123openalex-snapshot
If It’s Not Secure, It Should Not Compile: Preventing DOM-Based XSS in Large-Scale Web Development with API Hardening
inferred← citeshttps://doi.org/10.1109/icsess.2018.8663714openalex-snapshot
TailorFix: An Automated Repair Framework for Assignment Statements
inferred← citeshttps://doi.org/10.1109/icsme55016.2022.00028openalex-snapshot
On the Security of Python Virtual Machines: An Empirical Study
inferred← citeshttps://doi.org/10.1109/issre.2015.7381811openalex-snapshot
Automated resource release in device drivers
inferred← citeshttps://doi.org/10.1109/issre.2015.7381813openalex-snapshot
Experience report: How do techniques, programs, and tests impact automated program repair?
inferred← citeshttps://doi.org/10.1109/issre.2016.15openalex-snapshot
Fixing Resource Leaks in Android Apps with Light-Weight Static Analysis and Low-Overhead Instrumentation
inferred← citeshttps://doi.org/10.1109/issre52982.2021.00031openalex-snapshot
A Comparative Study of Automatic Program Repair Techniques for Security Vulnerabilities
inferred← citeshttps://doi.org/10.1109/msn53354.2021.00080openalex-snapshot
Towards Heap-Based Memory Corruption Discovery
inferred← citeshttps://doi.org/10.1109/secdev.2016.037openalex-snapshot
Automated Code Repair Based on Inferred Specifications
inferred← citeshttps://doi.org/10.1109/sp.2019.00071openalex-snapshot
Using Safety Properties to Generate Vulnerability Patches
inferred← citeshttps://doi.org/10.1109/trustcom50675.2020.00196openalex-snapshot
iTES: Integrated Testing and Evaluation System for Software Vulnerability Detection Methods
inferred← citeshttps://doi.org/10.1109/tse.2017.2755013openalex-snapshot
Automatic Software Repair: A Survey
inferred← citeshttps://doi.org/10.1109/tse.2021.3063727openalex-snapshot
Data Quality Matters: A Case Study on Data Label Correctness for Security Bug Report Prediction
inferred← citeshttps://doi.org/10.1109/tse.2022.3147265openalex-snapshot
Neural Transfer Learning for Repairing Security Vulnerabilities in C Code
inferred← citeshttps://doi.org/10.1109/tse.2024.3438119openalex-snapshot
AddressWatcher: Sanitizer-Based Localization of Memory Leak Fixes
inferred← citeshttps://doi.org/10.1145/3468264.3468598openalex-snapshot
Context-aware and data-driven feedback generation for programming assignments
inferred← citeshttps://doi.org/10.1145/3485832.3485841openalex-snapshot
Rupair: Towards Automatic Buffer Overflow Detection and Rectification for Rust
inferred← citeshttps://doi.org/10.1145/3533767.3534368openalex-snapshot
Patch correctness assessment in automated program repair based on the impact of patches on production and test code
inferred← citeshttps://doi.org/10.1145/3533767.3543291openalex-snapshot
Maestro: a platform for benchmarking automatic program repair tools on software vulnerabilities
inferred← citeshttps://doi.org/10.1145/3540250.3549130openalex-snapshot
PyTER: effective program repair for Python type errors
inferred← citeshttps://doi.org/10.1145/3564625.3564634openalex-snapshot
Making Memory Account Accountable: Analyzing and Detecting Memory Missing-account bugs for Container Platforms
inferred← citeshttps://doi.org/10.1145/3578527.3578528openalex-snapshot
Memory leak detection using Heap Object Flow Graph (HOFG)
inferred← citeshttps://doi.org/10.1145/3597503.3608132openalex-snapshot
Domain Knowledge Matters: Improving Prompts with Fix Templates for Repairing Python Type Errors
inferred← citeshttps://doi.org/10.1145/3597926.3598135openalex-snapshot
How Effective Are Neural Networks for Fixing Security Vulnerabilities
inferred← citeshttps://doi.org/10.1145/3611643.3616267openalex-snapshot
From Leaks to Fixes: Automated Repairs for Resource Leak Warnings
inferred← citeshttps://doi.org/10.1145/3661167.3661200openalex-snapshot
How the Training Procedure Impacts the Performance of Deep Learning-based Vulnerability Patching
inferred← citeshttps://doi.org/10.1145/3707454openalex-snapshot
Vulnerability Repair via Concolic Execution and Code Mutations
inferred← citeshttps://doi.org/10.1145/3797085openalex-snapshot
TLR: Codebase-Level C Memory Management Error Repair with Large Language Models
inferred← citeshttps://doi.org/10.1145/3832783.3837493openalex-snapshot
CiL-Agent: Compiler-in-the-Loop LLM Agent for Memory-Safe C Program Repair
inferred← citeshttps://doi.org/10.11591/ijece.v13i2.pp1932-1942openalex-snapshot
Efficient and linear static approach for finding the memory leak in C
inferred← citeshttps://doi.org/10.14722/ndss.2021.24416openalex-snapshot
Detecting Kernel Memory Leaks in Specialized Modules with Ownership Reasoning
inferred← citeshttps://doi.org/10.22214/ijraset.2022.42562openalex-snapshot
Bug Detection and Report: A Case Study on Dataset for Software Management using Security Bug Report
inferred← citeshttps://doi.org/10.26599/tst.2019.9010068openalex-snapshot
A memory-related vulnerability detection approach based on vulnerability features
inferred← citeshttps://doi.org/10.3390/electronics13214307openalex-snapshot
SafeMD: Ownership-Based Safe Memory Deallocation for C Programs
inferred← citeshttps://doi.org/10.3390/sym12091563openalex-snapshot
Automatic Repair of Semantic Defects Using Restraint Mechanisms
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.