libpet extrahiert ein Polyedermodell aus C-Quellcode. Dabei verwendet es LLVM/clang, um den C-Code zu parsen, und isl, um die Mengen und Beziehungen darzustellen. (non)