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

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

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 the scrutiny of a web application’s source code. Among those paths, some may...

Full description

Bibliographic Details
Main Authors: Abdalla Wasef Marashdih, Zarul Fitri Zaaba, Khaled Suwais
Format: Article
Language:English
Published: MDPI AG 2021-06-01
Series:Applied Sciences
Subjects:
detection
feasible paths
SSA
static analysis
symbolic execution
Online Access:https://www.mdpi.com/2076-3417/11/12/5384

Internet

https://www.mdpi.com/2076-3417/11/12/5384

Similar Items