Buchumschlag

IPSynth: Interprocedural Program Synthesis for Software Security Implementation

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Shokri, Ali, Mujhid, Ibrahim Jameel, Mirakhorli, Mehdi
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Seneca: Taint-Based Call Graph Construction for Java Object Deserialization
von: Santos, Joanna C. S., et al.
Veröffentlicht: (2023)

Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems
von: Karakaya, Kadiray, et al.
Veröffentlicht: (2024)

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

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

Conflicting Scores, Confusing Signals: An Empirical Study of Vulnerability Scoring Systems
von: Koscinski, Viktoria, et al.
Veröffentlicht: (2025)

Lessons from the Use of Natural Language Inference (NLI) in Requirements Engineering Tasks
von: Fazelnia, Mohamad, et al.
Veröffentlicht: (2024)

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

Aspect-Oriented Programming in Secure Software Development: A Case Study of Security Aspects in Web Applications
von: Ukor, Mterorga
Veröffentlicht: (2025)

Formally Verified Binary-level Pointer Analysis
von: Verbeek, Freek, et al.
Veröffentlicht: (2025)

A Qualitative Study on Using ChatGPT for Software Security: Perception vs. Practicality
von: Kholoosi, M. Mehdi, et al.
Veröffentlicht: (2024)

Mining Q&A Platforms for Empirical Evidence on Quantum Software Programming
von: Khan, Arif Ali, et al.
Veröffentlicht: (2025)

Software Security Mapping Framework: Operationalization of Security Requirements
von: Lee, Sung Une, et al.
Veröffentlicht: (2025)

A Multi-Agent Consensus Protocol for Stable Software Remodularization
von: Ibrahim, Ahmed F.
Veröffentlicht: (2026)

The Social Psychology of Software Security (Psycurity)
von: Gren, Lucas, et al.
Veröffentlicht: (2024)

Real Faults in Model Context Protocol (MCP) Software: a Comprehensive Taxonomy
von: Taraghi, Mina, et al.
Veröffentlicht: (2026)

Implementing Effective Changes in Software Projects to Optimize Runtimes and Minimize Defects
von: Gupta, Kartik
Veröffentlicht: (2025)

State-of-the-Art in Software Security Visualization: A Systematic Review
von: Devendra, Ishara, et al.
Veröffentlicht: (2025)

Managing Security Issues in Software Containers: From Practitioners Perspective
von: Sroor, Maha, et al.
Veröffentlicht: (2025)

Revealing Floating-Point Accumulation Orders in Software/Hardware Implementations
von: Xie, Peichen, et al.
Veröffentlicht: (2024)

Ethics of Software Programming with Generative AI: Is Programming without Generative AI always radical?
von: Atemkeng, Marcellin, et al.
Veröffentlicht: (2024)

Evaluating Software Supply Chain Security in Research Software
von: Hegewald, Richard, et al.
Veröffentlicht: (2025)

How Dataflow Diagrams Impact Software Security Analysis: an Empirical Experiment
von: Schneider, Simon, et al.
Veröffentlicht: (2024)

A Survey of Third-Party Library Security Research in Application Software
von: Zeng, Jia, et al.
Veröffentlicht: (2024)

An Introduction to Adaptive Software Security
von: Nia, Mehran Alidoost
Veröffentlicht: (2023)

SecDOAR: A Software Reference Architecture for Security Data Orchestration, Analysis and Reporting
von: Chauhan, Muhammad Aufeef, et al.
Veröffentlicht: (2024)

On Categorizing Open Source Software Security Vulnerability Reporting Mechanisms on GitHub
von: Kancharoendee, Sushawapak, et al.
Veröffentlicht: (2025)

CREF: An LLM-based Conversational Software Repair Framework for Programming Tutors
von: Yang, Boyang, et al.
Veröffentlicht: (2024)

SmartChoices: Augmenting Software with Learned Implementations
von: Golovin, Daniel, et al.
Veröffentlicht: (2023)

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

Evaluating Search-Based Software Microbenchmark Prioritization
von: Laaber, Christoph, et al.
Veröffentlicht: (2022)

Software Security in Software-Defined Networking: A Systematic Literature Review
von: Diouf, Moustapha Awwalou, et al.
Veröffentlicht: (2025)

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

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

Quantum Artificial Intelligence for Software Engineering: the Road Ahead
von: Wang, Xinyi, et al.
Veröffentlicht: (2025)

The Matthew Effect of AI Programming Assistants: A Hidden Bias in Software Evolution
von: Gu, Fei, et al.
Veröffentlicht: (2025)

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

Program Decomposition and Translation with Static Analysis
von: Ibrahimzada, Ali Reza
Veröffentlicht: (2024)

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

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

Operationalizing Research Software for Supply Chain Security
von: Kalu, Kelechi G., et al.
Veröffentlicht: (2026)