Furnace is a static code analysis framework for dynamic languages, aimed at efficient type and behavior inference.