
ConcoLLMic
LLM-agent-powered concolic execution engine that instruments source code, summarizes path constraints in natural language, and generates test cases…
ai-securitybinary-analysiscode-analysis+8
154

LLM-agent-powered concolic execution engine that instruments source code, summarizes path constraints in natural language, and generates test cases…