This tool is an automated framework to evaluate taint-flow analysis tools in the domain of IoT
applications.
It provides mutational operators tailored to evaluate three types of sensitivity analysis, flow,
path and context sensitivity.
It automatically generates mutants for those types and can be used to evaluate three taint-flow
analyzers.
To the best ofour knowledge, our framework is the first framework to address the need for
evaluating taint-flow analysis tools
and specifically those developed for IoT SmartThings applications.