An Approach for Detecting Feasible Paths Based on Minimal SSA Representation and Symbolic Execution
Sign Up to like & getrecommendations! 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