LLVM.FFI.Analysis