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
#include <stdlib.h> int *f(int N) { return malloc(N * sizeof(int)); } int main(int argc, char *argv[]) { int *p = f(argc + 1); return 0; }
Type the code in the box above or select a C/C++ file to upload.
?
Choose the output:
Standard output.
Pass statistics.
Control flow graphs.
