A Stub analyzer that conforms to the basic static analyzer contract for testing - View it on GitHub