SeaHorn -
A fully automated analysis framework for LLVM-based languages https://seahorn.github.io/