Cover Image

IPSynth: Interprocedural Program Synthesis for Software Security Implementation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Shokri, Ali, Mujhid, Ibrahim Jameel, Mirakhorli, Mehdi
Format:	Preprint
Published:	2024
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Seneca: Taint-Based Call Graph Construction for Java Object Deserialization
by: Santos, Joanna C. S., et al.
Published: (2023)

Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems
by: Karakaya, Kadiray, et al.
Published: (2024)

A Landscape Study of Open Source and Proprietary Tools for Software Bill of Materials (SBOM)
by: Mirakhorli, Mehdi, et al.
Published: (2024)

A Large-Scale Exploit Instrumentation Study of AI/ML Supply Chain Attacks in Hugging Face Models
by: Casey, Beatrice, et al.
Published: (2024)

Conflicting Scores, Confusing Signals: An Empirical Study of Vulnerability Scoring Systems
by: Koscinski, Viktoria, et al.
Published: (2025)

Lessons from the Use of Natural Language Inference (NLI) in Requirements Engineering Tasks
by: Fazelnia, Mohamad, et al.
Published: (2024)

Vulnerability Detection with Interprocedural Context in Multiple Languages: Assessing Effectiveness and Cost of Modern LLMs
by: Lira, Kevin, et al.
Published: (2026)

Aspect-Oriented Programming in Secure Software Development: A Case Study of Security Aspects in Web Applications
by: Ukor, Mterorga
Published: (2025)

Formally Verified Binary-level Pointer Analysis
by: Verbeek, Freek, et al.
Published: (2025)

A Qualitative Study on Using ChatGPT for Software Security: Perception vs. Practicality
by: Kholoosi, M. Mehdi, et al.
Published: (2024)

Mining Q&A Platforms for Empirical Evidence on Quantum Software Programming
by: Khan, Arif Ali, et al.
Published: (2025)

Software Security Mapping Framework: Operationalization of Security Requirements
by: Lee, Sung Une, et al.
Published: (2025)

A Multi-Agent Consensus Protocol for Stable Software Remodularization
by: Ibrahim, Ahmed F.
Published: (2026)

The Social Psychology of Software Security (Psycurity)
by: Gren, Lucas, et al.
Published: (2024)

Real Faults in Model Context Protocol (MCP) Software: a Comprehensive Taxonomy
by: Taraghi, Mina, et al.
Published: (2026)

Implementing Effective Changes in Software Projects to Optimize Runtimes and Minimize Defects
by: Gupta, Kartik
Published: (2025)

State-of-the-Art in Software Security Visualization: A Systematic Review
by: Devendra, Ishara, et al.
Published: (2025)

Managing Security Issues in Software Containers: From Practitioners Perspective
by: Sroor, Maha, et al.
Published: (2025)

Revealing Floating-Point Accumulation Orders in Software/Hardware Implementations
by: Xie, Peichen, et al.
Published: (2024)

Ethics of Software Programming with Generative AI: Is Programming without Generative AI always radical?
by: Atemkeng, Marcellin, et al.
Published: (2024)

Evaluating Software Supply Chain Security in Research Software
by: Hegewald, Richard, et al.
Published: (2025)

How Dataflow Diagrams Impact Software Security Analysis: an Empirical Experiment
by: Schneider, Simon, et al.
Published: (2024)

A Survey of Third-Party Library Security Research in Application Software
by: Zeng, Jia, et al.
Published: (2024)

An Introduction to Adaptive Software Security
by: Nia, Mehran Alidoost
Published: (2023)

SecDOAR: A Software Reference Architecture for Security Data Orchestration, Analysis and Reporting
by: Chauhan, Muhammad Aufeef, et al.
Published: (2024)

On Categorizing Open Source Software Security Vulnerability Reporting Mechanisms on GitHub
by: Kancharoendee, Sushawapak, et al.
Published: (2025)

CREF: An LLM-based Conversational Software Repair Framework for Programming Tutors
by: Yang, Boyang, et al.
Published: (2024)

SmartChoices: Augmenting Software with Learned Implementations
by: Golovin, Daniel, et al.
Published: (2023)

Domain-Driven Design in Software Development: A Systematic Literature Review on Implementation, Challenges, and Effectiveness
by: Özkan, Ozan, et al.
Published: (2023)

Evaluating Search-Based Software Microbenchmark Prioritization
by: Laaber, Christoph, et al.
Published: (2022)

Software Security in Software-Defined Networking: A Systematic Literature Review
by: Diouf, Moustapha Awwalou, et al.
Published: (2025)

The "4W+1H" of Software Supply Chain Security Checklist for Critical Infrastructure
by: Dong, Liming, et al.
Published: (2025)

The Role of Generative AI in Strengthening Secure Software Coding Practices: A Systematic Perspective
by: Alwageed, Hathal S., et al.
Published: (2025)

Quantum Artificial Intelligence for Software Engineering: the Road Ahead
by: Wang, Xinyi, et al.
Published: (2025)

The Matthew Effect of AI Programming Assistants: A Hidden Bias in Software Evolution
by: Gu, Fei, et al.
Published: (2025)

Advancing Software Security and Reliability in Cloud Platforms through AI-based Anomaly Detection
by: Saleh, Sabbir M., et al.
Published: (2024)

Program Decomposition and Translation with Static Analysis
by: Ibrahimzada, Ali Reza
Published: (2024)

Challenges in Developing Secure Software -- Results of an Interview Study in the German Software Industry
by: Mattukat, Alex R., et al.
Published: (2025)

State-Of-The-Practice in Quality Assurance in Java-Based Open Source Software Development
by: Khatami, Ali, et al.
Published: (2023)

Operationalizing Research Software for Supply Chain Security
by: Kalu, Kelechi G., et al.
Published: (2026)