Getting started with Symflower

Symflower helps you build better software by pairing static, dynamic and symbolic analyses with LLMs. This page provides a quick walkthrough to help you get started with Symflower.
For more information, see our documentation.

Install guide

Choose your environment to install Symflower:

  • Android Studio: Open Plugins, search for “Symflower”, and click Install.
  • CLI: On Linux or MacOS, run the command curl -sSLf https://get.symflower.com/install | sh. On Windows, download and open the MSI installer. There’s also the option of downloading the binary for manual installation.
  • IntelliJ IDEA: Open Plugins, search for “Symflower”, and click Install.
  • Visual Studio Code: Open Extensions, search for “Symflower”, and click Install.

See the documentation to learn more about installing Symflower. Please also check out our End-user License Agreement and our Privacy Policy.

Licensing

Some of Symflower’s features are only accessible with a license key. Visit our Licensing page to obtain a license key, and see the documentation for information on activating your license key.

Quick start guide

Symflower adds testing features to your IDE and provides a range of features for working with LLMs:

If you’re working in an IDE, we recommend you start by generating smart test templates to see how Symflower works:

  1. Open the file you want to analyze
  2. Right-click anywhere on a function
  3. Choose “Symflower: Generate Test Template for Function”

To continue, start generating test suites via symbolic execution or LLMs.

Visit our documentation to learn more about integrating Symflower into your workflow, using test templates with Spring Boot applications, and managing tests. The documentation also provides information on configuring Symflower, using the tool to migrate code, accessing logs for debugging, and tutorials on multiple use cases.

Symflower for LLMs

Symflower offers a range of features for LLMs supporting LLM development, benchmarking, LLM-based code generation workflows, and RAG.

Learn more and find usage information for each of these features:

  • symflower fix: a static analysis tool to repair code generated by LLMs
  • symflower lint: runs static analysis with preconfigured linting rules on your project
  • symflower migrate: migrates code, packages, dependencies and whole projects automatically
  • symflower run: sends a main function to Symflower for symbolic execution and returns coverage as a result
  • symflower symbols: queries all functions and methods in a repository and outputs a list of all the symbols
  • symflower test: executes the tests in your project and outputs test results and coverage information
  • symflower test-runner: performs package-level test impact analysis on your Go repositories to identify tests that are affected by the source code changes specified in your query
  • symflower trace: a task visualization tool that provides insights into application execution behavior.
Have feedback to share? If you are missing a feature or found a problem, open an issue on our community issue tracker or drop us a line at hello@symflower.com.