An user configurable clang static analyzer taint checker. - Marcelo Arroyo; Francisco Chiotta; Francisco Bavera (SCCC, 2016)