This region analysis infers array sizes for pointers throughout the program. Sizes are represented symbolically, and size information is inferred from allocas and malloc() calls.

> Install and use our region analysis

> Read a brief report about out region analysis

Type the code in the box above or select a C/C++ file to upload. ?    

Choose the output: