@concollmic
1
Published Tools
118
Total Stars
0
Weekly Downloads
ConcoLLMic
ConcoLLMic: the first language- and theory-agonistic concolic execution engine via LLM agents