/* Buffer Overflow in loop
 * Security
 * 
 * Author: Numair Mansur (mansurm@informatik.uni-freiburg.de)
 * Date: 2017-10-30
 */

int get_age_from_user(void);
int f(void);

void main(void) {
	int age[ 1 ];
   	int i,temp;        
   	for ( i = 0; i <= 2; i++ ) {
   		temp = get_age_from_user();
   		if (temp > 18){
   			age[i] = temp;	
   		}
    	}
}