Top 8 C++ llvm-ir Projects
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
-
LLVM-Guide
LLVM (Low Level Virtual Machine) Guide. Learn all about the compiler infrastructure, which is designed for compile-time, link-time, run-time, and "idle-time" optimization of programs. Originally implemented for C/C++ , though, has a variety of front-ends, including Java, Python, etc.
-
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.
Project mention: Revng translates (i386, x86-64, MIPS, ARM, AArch64, s390x) binaries to LLVM IR | news.ycombinator.com | 2024-01-12Usually such things are called lifters. Wonder how this tool compares to other existing LLVM IR lifters, such as remill[0] and rellume[1].
0: https://github.com/lifting-bits/remill
Project mention: Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs | news.ycombinator.com | 2023-05-15You can use it to (mostly) validate small snippets are the same. See Alive2 for the application of Z3/formalization of programs as SMT for that [1]. As far as I'm aware there are some problems scaling up to arbitrarily sized programs due to a lack of formalization in higher level languages in addition to computational constraints. With a lot of time and effort it can be done though [2].
1. https://github.com/AliveToolkit/alive2
2. https://sel4.systems/
Project mention: Revng translates (i386, x86-64, MIPS, ARM, AArch64, s390x) binaries to LLVM IR | news.ycombinator.com | 2024-01-12
C++ llvm-ir related posts
Index
What are some of the best open-source llvm-ir projects in C++? This list will help you:
Project | Stars | |
---|---|---|
1 | llvm-tutor | 2,710 |
2 | remill | 1,177 |
3 | alive2 | 675 |
4 | rellume | 318 |
5 | ProGraML | 285 |
6 | LLVM-Guide | 111 |
7 | mewa | 21 |
8 | expr-ir | 2 |
Sponsored