Go Noob question: How can I output LLVM IR, instrument it and also looking for a symbolic execution engine

This page summarizes the projects mentioned and recommended in the original post on /r/golang

InfluxDB - Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured
  • klee

    KLEE Symbolic Execution Engine

    I also want to use something like KLEE: https://klee.github.io/

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo
  • llvm

    Library for interacting with LLVM IR in pure Go. (by llir)

    https://github.com/llir/llvm a Go library for parsing and producing LLVM IR (written by the llir team, of whom I'm a member).

  • go-llvm

    Go bindings to LLVM. Used as part of TinyGo.

    https://github.com/tinygo-org/go-llvm a Go library with bindings to the system installed version of LLVM. Note, this can be helpful since compiling your own local version of LLVM can take a few hours.

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts

  • Using LLVM with Go

    1 project | /r/Compilers | 31 Mar 2022
  • Compiling llvm ir into a binary using Go

    1 project | /r/golang | 29 Mar 2022
  • Enums in Go: best way to convert back to string value?

    2 projects | /r/golang | 6 Jan 2022
  • Why Go is great choice for Software engineering.

    2 projects | dev.to | 7 Apr 2024
  • Golang Web: GET Method

    5 projects | dev.to | 10 Mar 2024

Did you konow that Go is
the 4th most popular programming language
based on number of metions?