Cover Image

A unit-based symbolic execution method for detecting memory corruption vulnerabilities in executable codes

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Baradaran, Sara, Heidari, Mahdi, Kamali, Ali, Mouzarani, Maryam
Format:	Preprint
Published:	2022
Subjects:	Cryptography and Security Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A First Look at Privacy Risks of Android Task-executable Voice Assistant Applications
by: Pan, Shidong, et al.
Published: (2025)

Llama-based source code vulnerability detection: Prompt engineering vs Fine tuning
by: Ouchebara, Dyna Soumhane, et al.
Published: (2025)

Impact assessment for vulnerabilities in open-source software libraries
by: Plate, Henrik, et al.
Published: (2015)

Bytecode-centric Detection of Known-to-be-vulnerable Dependencies in Java Projects
by: Schott, Stefan, et al.
Published: (2025)

Synergistic Directed Execution and LLM-Driven Analysis for Zero-Day AI-Generated Malware Detection
by: Edwards, George, et al.
Published: (2026)

In the Magma chamber: Update and challenges in ground-truth vulnerabilities revival for automatic input generator comparison
by: Riom, Timothée, et al.
Published: (2025)

AppPoet: Large Language Model based Android malware detection via multi-view prompt engineering
by: Zhao, Wenxiang, et al.
Published: (2024)

Just another copy and paste? Comparing the security vulnerabilities of ChatGPT generated code and StackOverflow answers
by: Hamer, Sivana, et al.
Published: (2024)

Evaluating Large Language Models in detecting Secrets in Android Apps
by: Alecci, Marco, et al.
Published: (2025)

Trusting code in the wild: Exploring contributor reputation measures to review dependencies in the Rust ecosystem
by: Hamer, Sivana, et al.
Published: (2024)

A Holistic Approach to E-Commerce Innovation: Redefining Security and User Experience
by: Akash, Mohammad Olid Ali, et al.
Published: (2025)

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

Unknown Attack Detection in IoT Networks using Large Language Models: A Robust, Data-efficient Approach
by: Ali, Shan, et al.
Published: (2026)

Detecting Misuse of Security APIs: A Systematic Review
by: Mousavi, Zahra, et al.
Published: (2023)

Where Do Smart Contract Security Analyzers Fall Short?
by: Abdelaziz, Tamer, et al.
Published: (2026)

Repairing vulnerabilities without invisible hands. A differentiated replication study on LLMs
by: Camporese, Maria, et al.
Published: (2025)

A LINDDUN-based Privacy Threat Modeling Framework for GenAI
by: Liao, Qianying, et al.
Published: (2026)

An Empirically Grounded Reference Architecture for Software Supply Chain Metadata Management
by: Tran, Nguyen Khoi, et al.
Published: (2023)

A Practical Solution to Systematically Monitor Inconsistencies in SBOM-based Vulnerability Scanners
by: Rosso, Martin, et al.
Published: (2025)

A Practical Adversarial Attack against Sequence-based Deep Learning Malware Classifiers
by: Tan, Kai, et al.
Published: (2025)

Bridging the Gap: A Study of AI-based Vulnerability Management between Industry and Academia
by: Wan, Shengye, et al.
Published: (2024)

RiskHarvester: A Risk-based Tool to Prioritize Secret Removal Efforts in Software Artifacts
by: Basak, Setu Kumar, et al.
Published: (2025)

Constraint-based Adversarial Example Synthesis
by: Yu, Fang, et al.
Published: (2024)

From LLMs to Agents: A Comparative Evaluation of LLMs and LLM-based Agents in Security Patch Detection
by: Han, Junxiao, et al.
Published: (2025)

Dissecting Payload-based Transaction Phishing on Ethereum
by: Chen, Zhuo, et al.
Published: (2024)

DySec: A Machine Learning-based Dynamic Analysis for Detecting Malicious Packages in PyPI Ecosystem
by: Mehedi, Sk Tanzir, et al.
Published: (2025)

A Large Scale Study of AI-based Binary Function Similarity Detection Techniques for Security Researchers and Practitioners
by: Shi, Jingyi, et al.
Published: (2025)

From Reviewers' Lens: Understanding Bug Bounty Report Invalid Reasons with LLMs
by: Zheng, Jiangrui, et al.
Published: (2025)

Asset-centric Threat Modeling for AI-based Systems
by: von der Assen, Jan, et al.
Published: (2024)

Mutation-based Evaluation of Cryptographic API Misuse Detectors
by: Ami, Amit Seal, et al.
Published: (2021)

CAMP: Compiler and Allocator-based Heap Memory Protection
by: Lin, Zhenpeng, et al.
Published: (2024)

A Security Risk Assessment Method for Distributed Ledger Technology (DLT) based Applications: Three Industry Case Studies
by: Baninemeh, Elena, et al.
Published: (2024)

Detecting Protracted Vulnerabilities in Open Source Projects
by: Sridharkumar, Arjun, et al.
Published: (2026)

A Solution toward Transparent and Practical AI Regulation: Privacy Nutrition Labels for Open-source Generative AI-based Applications
by: Si, Meixue, et al.
Published: (2024)

Security study based on the Chatgptplugin system: ldentifying Security Vulnerabilities
by: Ren, Ruomai
Published: (2025)

Scheduzz: Constraint-based Fuzz Driver Generation with Dual Scheduling
by: Li, Yan, et al.
Published: (2025)

BIDO: An Out-Of-Distribution Resistant Image-based Malware Detector
by: Wang, Wei, et al.
Published: (2025)

Cluster-guided LLM-Based Anonymization of Software Analytics Data: Studying Privacy-Utility Trade-offs in JIT Defect Prediction
by: Khan, Maaz, et al.
Published: (2025)

Improving Smart Contract Security with Contrastive Learning-based Vulnerability Detection
by: Chen, Yizhou, et al.
Published: (2024)

Secure Conformance Checking using Token-based Replay and Homomorphic Encryption
by: Rodríguez-Flores, Luis-Armando, et al.
Published: (2026)