Crab: An abstract domain library for LLVM IR-based program analysis SeaDSA: A points-to program analysis for LLVM SeaBMC: A bounded model checker for LLVM Drift: An abstract-interpretation-based static analysis to infer refinement types