LLMDFA: Analyzing Dataflow in Code with Large Language Models