[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[csmith-dev] Finding how global hash value is computed.

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()) {
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.
Sameeran Joshi.