# An Approach for Detecting Feasible Paths Based on Minimal SSA Representation and Symbolic Execution
## 4 Detection Methodology
### Avoid Duplicated Feasible Paths
In Proceedings of the 2015 IEEE / ACM International Symposium on Code Generation and Optimization (CGO), San Francisco, CA, USA, 7-11 February 2015; pp. 202-212. [CrossRef]
* [PERSON] (2002) [PERSON] LLVM: An Infrastructure for Multi-Stage Optimization. Ph.D. Thesis, University of Illinois at Urbana-Champaign, Urbana, IL, USA, 2002. * [PERSON] et al. (2013) [PERSON]; [PERSON] [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON] Simple and efficient construction of static single assignment form. In _International Conference on Compiler Construction_; Springer: Berlin/Heidelberg, Germany, 2013; pp. 102-122. [CrossRef]
* [PERSON] et al. (2019) [PERSON]; [PERSON]; [PERSON]; [PERSON] Improvements of Directed Automated Random Testing in Test Data Generation for C++ Projects. _Int. J. Softw. Eng. Knowl. Eng._**2019**, _29_, 1279-1312. [CrossRef]
* [PERSON] (2019) [PERSON] Analytical and Comparison Study of Main Web Programming Languages-ASP and PHP. _TEM J._**2019**, \(8\), 1517-1522. [CrossRef]
* [PERSON] and [PERSON] (2014) [PERSON]; [PERSON]. A practical experience on the impact of plugins in web security. In Proceedings of the 2014 IEEE 33 rd International Symposium on Reliable Distributed Systems, Nara, Japan, 6-9 October 2014; pp. 21-30. [CrossRef]
* [PERSON] et al. (2020) [PERSON]; [PERSON]; [PERSON]; [PERSON] Evaluating and Securing Text-Based Java Code through Static Code Analysis. _J. Cyberscur. Educ. Res. Pract._**2020**, _2020_, 3. * [PERSON] and [PERSON] (2016) [PERSON]; [PERSON] Cross site scripting: Detection approaches in web application. _Int. J. Adv. Comput. Sci. Appl._**2016**, \(7\), 155-160. * [PERSON] et al. (2019) [PERSON]; [PERSON]; [PERSON] [PERSON]; [PERSON]; [PERSON]; [PERSON] An Approach for Detecting Infeasible Paths Based on a SMT Solver. _IEEE Access_**2019**, \(7\), 69058-69069. [CrossRef]
* [PERSON] et al. (2016) [PERSON]; [PERSON]; [PERSON] Infeasible Paths Elimination by Symbolic Execution Techniques. In _International Conference on Interactive Theorem Proving_; Springer: Berlin/Heidelberg, Germany, 2016; pp. 36-51. [CrossRef]
* [PERSON] et al. (2020) [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON] Effective function merging in the SSA form. In Proceedings of the 41 st ACM SIGPLAN Conference on Programming Language Design and Implementation, London, UK, 15-20 June 2020; pp. 854-868. [CrossRef]
* [PERSON] et al. (2020) [PERSON]; [PERSON]; [PERSON] A Fast Verified Liveness Analysis in SSA Form. In _International Joint Conference on Automated Reasoning_; Springer: Berlin/Heidelberg, Germany, 2020; pp. 324-340. [CrossRef]
* [PERSON] and [PERSON] (2017) [PERSON]; [PERSON] [PERSON] SSA transformations to facilitate type inference in dynamically typed code. _Comput. J._**2017**, _60_, 1300-1315. [CrossRef]
* [PERSON] (2017) [PERSON] Symbolic Execution with Over-Approximation. Ph.D. Thesis, University of Melbourne, Melbourne, Australia, December 2017. * [PERSON] et al. (2005) [PERSON]; [PERSON]; [PERSON] [PERSON] DART: Directed automated random testing. In Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation, Chicago, IL, USA, 12-15 June 2005; pp. 213-223. * [PERSON] et al. (2005) [PERSON]; [PERSON]; [PERSON] CUTE: A concolic unit testing engine for C. _ACM SIGSOFT Softw. Eng. Notes_**2005**, _30_, 263-272. [CrossRef]
* [PERSON] et al. (2008) [PERSON]; [PERSON]; [PERSON]; [PERSON]; [PERSON] EXE: Automatically generating inputs of death. _ACM Trans. Inf. Syst. Secur. (TISSEC)_**2008**, _12_, 1-38. [CrossRef]
* [PERSON] et al. (2005) [PERSON]; [PERSON]; [PERSON]; [PERSON] Pathcrawler: Automatic generation of path tests by combining static and dynamic analysis. In _European Dependable Computing Conference_; Springer: Berlin/Heidelberg, Germany, 2005; pp. 281-292. [CrossRef]
* [PERSON] et al. (2013) [PERSON]; [PERSON]; [PERSON]; [PERSON] [PERSON] Jalangi: A selective record-replay and dynamic analysis framework for JavaScript. In Proceedings of the 2013 9 th Joint Meeting on Foundations of Software Engineering, Saint Petersburg, Russia, 18-26 August 2013; pp.