CANLLVM is a static analyzer for source code in C programming language implemented as a plugin for LLVM. The project is written in OCaml. The aim of the project is to implement types and effects approach for finding bugs in C source code using type inference methods.