Software Model Checking with VM Snapshots.
With a given set of c programs ,find errors on linux , using C based model checkers and dump the contents on the host machine using windbg and extract it using volality and add valuable variables to make the programs correct.