@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},
	}