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

1. klee

   1 5 2,800 7.6 C++

   KLEE Symbolic Execution Engine

   

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

2. InfluxDB

   www.influxdata.com featured

   InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

   

3. llvm

   2 4 1,229 3.7 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).

4. go-llvm

   3 4 259 3.9 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