--- layout: fc_discuss_archives title: Message 3 from Frama-C-discuss on October 2016 ---
Dear Frama-C users, we are analyzing the source code of some C library with the Value Analysis. So, we have a large number of API functions often having user-defined structs as arguments. We think about generating a main function consisting of a loop in which in each cycle some API function is randomly called with randomly filled arguments. This way we could simulate the typcial usage of the library. Does Frama-C somehow support the task of generating such a main function? All hints are appreciated. Jens Gerlach