@article{(Open Science Index):https://publications.waset.org/pdf/10011664, title = {Improving Taint Analysis of Android Applications Using Finite State Machines}, author = {Assad Maalouf and Lunjin Lu and James Lynott}, country = {}, institution = {}, abstract = {We present a taint analysis that can automatically detect when string operations result in a string that is free of taints, where all the tainted patterns have been removed. This is an improvement on the conservative behavior of previous taint analyzers, where a string operation on a tainted string always leads to a tainted string unless the operation is manually marked as a sanitizer. The taint analysis is built on top of a string analysis that uses finite state automata to approximate the sets of values that string variables can take during the execution of a program. The proposed approach has been implemented as an extension of FlowDroid and experimental results show that the resulting taint analyzer is much more precise than the original FlowDroid.}, journal = {International Journal of Information and Communication Engineering}, volume = {14}, number = {12}, year = {2020}, pages = {541 - 547}, ee = {https://publications.waset.org/pdf/10011664}, url = {https://publications.waset.org/vol/168}, bibsource = {https://publications.waset.org/}, issn = {eISSN: 1307-6892}, publisher = {World Academy of Science, Engineering and Technology}, index = {Open Science Index 168, 2020}, }