hi,
while exploring the code base of Randprog,I am failing to find a way on how calculations of the checksum of global variables is done to check the correctness of program.
I think this part of RandomProgramGenerator.cpp does the job.
if (CGOptions::compute_hash()) {
HashGlobalVariables(out);
}
which further calls ,
MapVariableList(GlobalList, out, HashVariable);
and above function traverses the GlobalList and assigns the values to the globalvariables.
Where does this globalvariables come from?
Could someone please tweak the further way in understanding the logic and functions and files which do the job of computing the global hashvalue.
Thanks,
Sameeran Joshi.