Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

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

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

  • Subject: [Frama-c-discuss] Generating main function for Value Analysis
  • From: jens.gerlach at fokus.fraunhofer.de (Gerlach, Jens)
  • Date: Thu, 27 Oct 2016 11:47:18 +0000
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