1:BUILD_BY[name] student5 1:BUILD_ENVIRONMENT[operating system 32 vs 64] 1:END_BUILD_ENVIRONMENT 1:DEPENDENCIES[list of dependencies with where to get them] 1:END_DEPENDENCIES 1:NOTES[notes on attempted build] gave an error ./qarmc.sh: 3: ./qarmc.sh: ./main.native: not found UNKNOWN Please try to verify on a 32bit linux, since the file name indicates a 32bit version. There is no data to test the script with 1:END_NOTES 2:BUILD_BY[name] student8 2:BUILD_ENVIRONMENT[operating system 32 vs 64] Ubuntu 64 2:END_BUILD_ENVIRONMENT 2:DEPENDENCIES[list of dependencies with where to get them] 2:END_DEPENDENCIES 2:NOTES[notes on attempted build] $ ./qarmc.sh file.c Using CIL 1.3.7 Copyright (c) 2001-2007, George C. Necula Scott McPeak Wes Weimer Ben Liblit Matt Harren All rights reserved. processing file.c Computing points-to sets... Total number of things pointed to: 0 Read Global variables per function: main: Write Global variables per function: main: cil2armc: file.c.armc SAFE 2:END_NOTES