Symflower
Unit-test generation via symbolic execution plus LLMs.
About
Symflower takes a different route from pure-LLM test generators: it combines symbolic execution and static analysis with large language models to generate unit tests for Java, Go, and Kotlin. The hybrid approach means tests are grounded in actual code paths rather than model guesses, and a free CLI is available with limitations for trying it out.
It is a commercial product with narrower language support than LLM-only rivals, and the free CLI tier is limited. Teams on Python, TypeScript, or other stacks will need to look elsewhere.
What it can do
- Unit-test generation for Java, Go, and Kotlin
- Symbolic execution combined with static analysis and LLMs
- Free CLI with limitations
- CI integration
Setup
- Download the free Symflower CLI or sign up for a commercial plan.
- Run the CLI against your Java, Go, or Kotlin project.
- Review the generated unit tests and integrate them into your suite.
- Wire the CLI into CI for continuous test generation.
Prerequisites
A Java, Go, or Kotlin project; the Symflower CLI installed.
Use cases
Works with
Trust score — 7/10
Scored 7/10 (verified tier, metrics-v1). Evidence: Hybrid symbolic-execution + LLM approach confirmed in independent awesome-lists; Java/Go/Kotlin support; free CLI with limitations; Commercial product; narrower language coverage than LLM-only rivals; Capped at 7: thinner independent review coverage. License: Proprietary commercial with free CLI tier..
How the trust score is built
Full methodology →- Adoption · stars/downloads, log-scaled vs peers
- 6.0/10
- Maintenance · recency, releases, issue load
- 7.0/10
- Openness · license + docs
- 5.0/10
- Manual review · sanity read + red-flag check
- 7.0/10
- · Hybrid symbolic-execution + LLM approach confirmed in independent awesome-lists
- · Java/Go/Kotlin support; free CLI with limitations
- · Commercial product; narrower language coverage than LLM-only rivals
- · Capped at 7: thinner independent review coverage
Sources
Every fact above was checked against these sources. Where a claim comes from the provider and couldn't be independently verified, the text says so.