Save/Load elapsed time
ID0000180: This issue was created automatically from Mantis Issue 180. Further discussion may take place here.
|Product Version||Frama-C GIT, precise the release id||Target Version||-||Fixed in Version||Frama-C Beryllium-20090901|
A state is saved after a simple value analysis: frama-c -val -slevel 0 -main M file.c -save state.sav file.c is about 12 ksloc. This analysis takes about 15 minutes.
Simply loading the previously generated state.sav file: frama-c -load state.sav takes about 18 minutes.
A loading time being greater than the analyzing+saving time is quite puzzling!
An analysis recommended by some of Frama-C's experts showed that most of the elapsed time was due to value_table deserializing. What can be done to improve loading time?
(P.S. : Rel.id>=5634)