ConcoLLMic is an AI-powered concolic testing engine that helps developers detect elusive software vulnerabilities.
- 🌐 Native multi-language support: Works on your favorite languages out of the box. Even for polyglot systems!
- 🧩 Goodbye, environment models: No more warnings from unmodelled functions and environments.
- 📖 Readable insights: Human-friendly constraint summaries and reproducible test cases.
- 🚀 Covers more, and faster: In ~4h, ConcoLLMic achieves 230+%/80+% higher coverage than KLEE/AFL++ in 48h.
- 💸 Efficient on cost: ~$0.21 per test case on average.