--- layout: fc_discuss_archives title: Message 3 from Frama-C-discuss on October 2016 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Generating main function for Value Analysis



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