LLM Test Generation via Iterative Hybrid Program Analysis