Cottontail-Proj/cottontail

Cottontail: A LLM-Driven Concolic Execution Engine (Accepted by IEEE S&P'26)

语言：C++ · GitHub 星标：47 · Fork：7

话题：memory · program-analysis · software-engineering · software-security

在 GitHub 上查看原仓库