Kontrollable Utah LLVM Fault Injector (KULFI) tool is owned by Gauss Research Group at School of Computing, University of Utah, Salt Lake City, USA. If you have any tool related queries, please send it to: vcsharma@cs.utah.edu / haran@cs.utah.edu. The home page of our research group is located  at: http://www.cs.utah.edu/formal_verification.  Copyright Information: This code is available under The University of Illinois/NCSA Open Source License (NCSA). Please refer to the link for more details http://opensource.org/licenses/NCSA