This is an very exciting idea -- combining current symexe engines and CFG/dataflow analyzers with LLMs is indeed a promising topic.

Can't wait to read the code!