Crab-llvm is a static analyzer that computes inductive invariants for LLVM-based languages based on the Crab library. It currently supports LLVM 3.8 but there is an experimental branch dev-llvm-5.0 that works for LLVM 5.0.
Keywords for this software
References in zbMATH (referenced in 1 article )
Showing result 1 of 1.
- Chungha Sung, Brandon Paulsen, Chao Wang: CANAL: A Cache Timing Analysis Framework via LLVM Transformation (2018) arXiv