libpet extracts a polyhedral model from C sources using LLVM/clang to parse C code and isl to represent sets and relations.