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.

Old Frama-C mailing list archives for August 2015

• Main index
• Thread index for August 2015

---

• [Frama-c-discuss] query regarding size of file
  • From: mitra2270 at gmail.com (sowmya mitra Attaluri)
• [Frama-c-discuss] query regarding size of file
  • From: virgile.prevosto at m4x.org (Virgile Prevosto)
• [Frama-c-discuss] Tim's question about unusually fast analysis involving Frama_C_interval(0, 0xffffffff)
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
• [Frama-c-discuss] (no subject)
  • From: mitra2270 at gmail.com (sowmya mitra Attaluri)
• [Frama-c-discuss] PhD position announcement: Mixing Unproved and Proved sub-systems through Contracts for Correct-by-Construction system design
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] static arrays
  • From: junkil.park at cis.upenn.edu (Junkil (David) Park)
• [Frama-c-discuss] static arrays
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
• [Frama-c-discuss] specification question
  • From: tim.newsham at gmail.com (Tim Newsham)
• [Frama-c-discuss] fopen and null pointers
  • From: tim.newsham at gmail.com (Tim Newsham)
• [Frama-c-discuss] memcpy / memset question
  • From: tim.newsham at gmail.com (Tim Newsham)
• [Frama-c-discuss] trouble debugging assertions
  • From: tim.newsham at gmail.com (Tim Newsham)
• [Frama-c-discuss] trouble debugging assertions
  • From: anne.pacalet at free.fr (Anne Pacalet)
• [Frama-c-discuss] trouble debugging assertions
  • From: tim.newsham at gmail.com (Tim Newsham)
• [Frama-c-discuss] trouble debugging assertions
  • From: tim.newsham at gmail.com (Tim Newsham)
• [Frama-c-discuss] trouble debugging assertions
  • From: tim.newsham at gmail.com (Tim Newsham)
• [Frama-c-discuss] specification question
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] fopen and null pointers
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] memcpy / memset question
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] trouble debugging assertions
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] trouble debugging assertions
  • From: tim.newsham at gmail.com (Tim Newsham)
• [Frama-c-discuss] trouble debugging assertions
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] trouble debugging assertions
  • From: tim.newsham at gmail.com (Tim Newsham)
• [Frama-c-discuss] [Why3-club] why3 / why2 and jessie -- a few questions
  • From: dmentre at linux-france.org (David MENTRÉ)
• [Frama-c-discuss] trouble debugging assertions
  • From: dmentre at linux-france.org (David MENTRÉ)
• [Frama-c-discuss] specification question
  • From: tim.newsham at gmail.com (Tim Newsham)
• [Frama-c-discuss] arbitrary buffers in analysis
  • From: tim.newsham at gmail.com (Tim Newsham)
• [Frama-c-discuss] arbitrary buffers in analysis
  • From: tim.newsham at gmail.com (Tim Newsham)
• [Frama-c-discuss] arbitrary buffers in analysis
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] arbitrary buffers in analysis
  • From: tim.newsham at gmail.com (Tim Newsham)
• [Frama-c-discuss] my first frama verification
  • From: tim.newsham at gmail.com (Tim Newsham)
• [Frama-c-discuss] headers question
  • From: tim.newsham at gmail.com (Tim Newsham)
• [Frama-c-discuss] my first frama verification
  • From: anne.pacalet at free.fr (Anne Pacalet)
• [Frama-c-discuss] my first frama verification
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] arbitrary buffers in analysis
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] my first frama verification
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] my first frama verification
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] my first frama verification
  • From: tim.newsham at gmail.com (Tim Newsham)
• [Frama-c-discuss] my first frama verification
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] my first frama verification
  • From: tim.newsham at gmail.com (Tim Newsham)
• [Frama-c-discuss] headers question
  • From: Andre.OLIVEIRAMARONEZE at cea.fr (Andre Oliveira)
• [Frama-c-discuss] arbitrary buffers in analysis
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
• [Frama-c-discuss] arbitrary buffers in analysis
  • From: tim.newsham at gmail.com (Tim Newsham)
• [Frama-c-discuss] arbitrary buffers in analysis
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
• [Frama-c-discuss] arbitrary buffers in analysis
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
• [Frama-c-discuss] static arrays
  • From: boris at yakobowski.org (Boris Yakobowski)
• [Frama-c-discuss] fopen and null pointers
  • From: boris at yakobowski.org (Boris Yakobowski)
• [Frama-c-discuss] memcpy / memset question
  • From: boris at yakobowski.org (Boris Yakobowski)
• [Frama-c-discuss] specification question
  • From: boris at yakobowski.org (Boris Yakobowski)
• [Frama-c-discuss] my first frama verification
  • From: boris at yakobowski.org (Boris Yakobowski)
• [Frama-c-discuss] my first frama verification
  • From: boris at yakobowski.org (Boris Yakobowski)
• [Frama-c-discuss] arbitrary buffers in analysis
  • From: boris at yakobowski.org (Boris Yakobowski)
• [Frama-c-discuss] arbitrary buffers in analysis
  • From: boris at yakobowski.org (Boris Yakobowski)
• [Frama-c-discuss] my first frama verification
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] my first frama verification
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] Speedup Frama-C/WP generating proof obligations
  • From: junkil.park at cis.upenn.edu (Junkil (David) Park)
• [Frama-c-discuss] arbitrary buffers in analysis
  • From: tim.newsham at gmail.com (Tim Newsham)
• [Frama-c-discuss] arbitrary buffers in analysis
  • From: tim.newsham at gmail.com (Tim Newsham)
• [Frama-c-discuss] arbitrary buffers in analysis
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] arbitrary buffers in analysis
  • From: boris at yakobowski.org (Boris Yakobowski)
• [Frama-c-discuss] arbitrary buffers in analysis
  • From: boris at yakobowski.org (Boris Yakobowski)
• [Frama-c-discuss] arbitrary buffers in analysis
  • From: boris at yakobowski.org (Boris Yakobowski)
• [Frama-c-discuss] Meaning of "FROM \nothing" for function calls in -deps analysis?
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] Meaning of "FROM \nothing" for function calls in -deps analysis?
  • From: pascal.cuoq at gmail.com (Pascal Cuoq)
• [Frama-c-discuss] Meaning of "FROM \nothing" for function calls in -deps analysis?
  • From: boris at yakobowski.org (Boris Yakobowski)
• [Frama-c-discuss] Meaning of "FROM \nothing" for function calls in -deps analysis?
  • From: dmentre at linux-france.org (David MENTRE)
• [Frama-c-discuss] Speedup Frama-C/WP generating proof obligations
  • From: Patrick.Baudin at cea.fr (BAUDIN Patrick)
• [Frama-c-discuss] Speedup Frama-C/WP generating proof obligations
  • From: junkil.park at cis.upenn.edu (Junkil (David) Park)
• [Frama-c-discuss] arbitrary buffers in analysis
  • From: moy at adacore.com (Yannick Moy)

---

Mail converted by MHonArc