%0 Journal Article
	%A Assad Maalouf and  Lunjin Lu and  James Lynott
	%D 2020
	%J International Journal of Information and Communication Engineering
	%B World Academy of Science, Engineering and Technology
	%I Open Science Index 168, 2020
	%T Improving Taint Analysis of Android Applications Using Finite State Machines
	%U https://publications.waset.org/pdf/10011664
	%V 168
	%X 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.
	%P 541 - 547