From 902aa5ad09df2fb6c339e419a62c05e3a541a04c Mon Sep 17 00:00:00 2001 From: Chengyu HAN Date: Thu, 16 May 2024 10:22:33 -0500 Subject: [PATCH 1/3] Libraries: Add llvm-cbe --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 7b709d9..a457a5a 100644 --- a/README.md +++ b/README.md @@ -163,6 +163,7 @@ This README.md itself mostly records **LLVM backend** (as well as mixed) resourc - [diffkemp](https://github.com/viktormalik/diffkemp) - Static analysis of semantic differences in kernel versionsa - [GaloisInc/yapall](https://github.com/GaloisInc/yapall) - A precise and scalable pointer analysis for LLVM, written in Ascent - [llvm2c](https://github.com/staticafi/llvm2c) - Decompiler of LLVM bitcode to C +- [llvm-cbe](https://github.com/JuliaHubOSS/llvm-cbe) - Resurrected LLVM "C Backend" - [dr checker](https://github.com/ucsb-seclab/dr_checker) - A Soundy Vulnerability Detection Tool for Linux Kernel Drivers - [DG](https://github.com/mchalupa/dg) - Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode - dg can integrate SVF, see [here](https://github.com/mchalupa/dg/blob/master/doc/SVF.md) for details From d468df9fa8b909d35e6e19c3bb20e3e2ed4e660d Mon Sep 17 00:00:00 2001 From: Chengyu HAN Date: Thu, 16 May 2024 10:22:51 -0500 Subject: [PATCH 2/3] Languages: Add GNAT --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index a457a5a..42520a1 100644 --- a/README.md +++ b/README.md @@ -179,6 +179,7 @@ This README.md itself mostly records **LLVM backend** (as well as mixed) resourc - C/C++/ObjC/ObjC++ - [Swift](https://developer.apple.com/swift/) - [GHC Haskell](https://www.haskell.org/ghc/) +- [GNAT](https://github.com/AdaCore/gnat-llvm) - [Rust](https://www.rust-lang.org) - [Julia](https://julialang.org/) - [scala-native](https://github.com/scala-native/scala-native) From afb8e56aa75abcd40711bf2a8bb350850f4e10e5 Mon Sep 17 00:00:00 2001 From: Chengyu HAN Date: Thu, 16 May 2024 10:23:10 -0500 Subject: [PATCH 3/3] Languages: Add TinyGo --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 42520a1..b558c9e 100644 --- a/README.md +++ b/README.md @@ -190,6 +190,7 @@ This README.md itself mostly records **LLVM backend** (as well as mixed) resourc - [mojo](https://docs.modular.com/) - [solang](https://github.com/hyperledger/solang) - [Ola](https://github.com/mateeeeeee/Ola) - a toy language, for learning LLVM-backend codegen +- [TinyGo](https://github.com/tinygo-org/tinygo) - ~~[go-llvm](https://github.com/go-llvm/llgo)~~ # Setup