3 ms·
Since it takes LLVM IR as input, why can it not take a subset of Rust or other LLVM supported language?
by alexvoda 4y ago
Since it takes LLVM IR as input, why can it not take a subset of Rust or other LLVM supported language?
- shadaj 4y agoKatara author here, you're right! Katara is built on Metalift (https://github.com/metalift/metalift https://github.com/metalift/metalift), which is a general purpose framework we've been building at Berkeley to abstract away the logic of analyzing the LLVM IR. The decision to use LLVM was exactly because it is the least-common-denominator for so so many languages, so we are excited to add official support for Rust and friends in the near future!