Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Frama-C Framework for Modular Analysis of C programs
#1
Quote:Frama-C is a suite of tools dedicated to the analysis of the source code of software written in C.

Frama-C gathers several static analysis techniques in a single collaborative framework. The collaborative approach of Frama-C allows static analyzers to build upon the results already computed by other analyzers in the framework. Thanks to this approach, Frama-C provides sophisticated tools, such as a slicer and dependency analysis.

https://frama-c.com/

[Image: attachment.php?aid=26825]


Attached Files Thumbnail(s)

“If you think you are too small to make a difference, try sleeping with a mosquito.” - Dalai Lama XIV
Reply


Messages In This Thread
Frama-C Framework for Modular Analysis of C programs - by 1van - 06-03-2018, 12:07 PM

Forum Jump:


Users browsing this thread: 1 Guest(s)