This is the KoAT2 Web Interface for the paper "Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs".
The input programs are C programs operating on ints. They are translated to the integer programs described in the paper using the tool llvm2kittel.
