For call graphs without cycles it should be possible to run static analysis to determine the maximum amount of memory taken by your program at any point, assumi

For call graphs without cycles it should be possible to run static analysis to determine the maximum amount of memory taken by your program at any point, assuming you don't use things like malloc or alloca or dynamically sized arrays.