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

• klee

  4 2,461 8.7 C++

  KLEE Symbolic Execution Engine

  

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

• llvm

  4 1,156 2.2 Go

  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).

• InfluxDB

  www.influxdata.com featured

  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.

  

• go-llvm

  4 204 5.6 Go

  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.

Suggest a related project