4 ms·

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

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!