LAUSR

About LAUSR
Donate
Contact Us

Follow us:

You are not signed in:

Sign Up!


   Articles with "symbolic execution" as a keyword



Specification-Based Symbolic Execution for Stateful Network Protocol Implementations in IoT

Sign Up to like & get
recommendations! Published in 2023 at "IEEE Internet of Things Journal"

DOI: 10.1109/jiot.2023.3236694

Abstract: IoT devices offer insufficient protections against exploitation of critical programming errors (such as buffer overflows) it is therefore paramount to sufficiently test IoT software before deployment. A central source of these errors is the implementations… read more here.

Keywords: protocol implementations; symbolic execution; protocol; stateful network ... See more keywords

Fuzzing, Symbolic Execution, and Expert Guidance for Better Testing

Sign Up to like & get
recommendations! Published in 2024 at "IEEE Software"

DOI: 10.1109/ms.2023.3237981

Abstract: Hybrid program analysis approaches that combine static and dynamic analysis have resulted in powerful tools for automated software testing. In this article, we argue for hybrid techniques that allow minimal but critical intervention from experts… read more here.

Keywords: execution expert; symbolic execution; fuzzing symbolic; better testing ... See more keywords

Tainting-Assisted and Context-Migrated Symbolic Execution of Android Framework for Vulnerability Discovery and Exploit Generation

Sign Up to like & get
recommendations! Published in 2020 at "IEEE Transactions on Mobile Computing"

DOI: 10.1109/tmc.2019.2936561

Abstract: Android Application Framework is an integral and foundational part of the Android system. Each of the two billion (as of 2017) Android devices relies on the system services of Android Framework to manage applications and… read more here.

Keywords: system; symbolic execution; android framework; vulnerability ... See more keywords

Concretely Mapped Symbolic Memory Locations for Memory Error Detection

Sign Up to like & get
recommendations! Published in 2024 at "IEEE Transactions on Software Engineering"

DOI: 10.1109/tse.2024.3395412

Abstract: Memory allocation is a fundamental operation for managing memory objects in many programming languages. Misusing allocated memory objects (e.g., buffer overflow and use-after-free) can have catastrophic consequences. Symbolic execution-based approaches have been used to detect… read more here.

Keywords: memory; symbolic execution; memory errors; memory locations ... See more keywords

An Approach for Detecting Feasible Paths Based on Minimal SSA Representation and Symbolic Execution

Sign Up to like & get
recommendations! Published in 2021 at "Applied Sciences"

DOI: 10.3390/app11125384

Abstract: Static analysis is one of the techniques used today to analyze source codes and minimize the issue of software vulnerability. Static analysis has the ability to observe all possible software paths in an application through… read more here.

Keywords: feasible paths; symbolic execution; approach; based minimal ... See more keywords