ConcoLLMicconcollmic/concollmicLLM-agent-powered concolic execution engine that instruments source code, summarizes path constraints in natural language, and generates test cases…ai-securitybinary-analysiscode-analysis+81542 months ago