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 (by thread)

• Main index
• Date index for January 2014

---

• [Frama-c-discuss] How to modify the value state of a statement for re-running the value analysis, David Yang
  • [Frama-c-discuss] How to modify the value state of a statement for re-running the value analysis, Pascal Cuoq
    • [Frama-c-discuss] How to modify the value state of a statement for re-running the value analysis, David Yang
• [Frama-c-discuss] Could it possible to change the if statement state then re-do value analysis programmatically?, Yibiao Yang
  • [Frama-c-discuss] Could it possible to change the if statement state then re-do value analysis programmatically?, Matthieu Lemerre
    • [Frama-c-discuss] Could it possible to change the if statement state then re-do value analysis programmatically?, Yibiao Yang
• [Frama-c-discuss] Could I get the statement that caused the dead code programatically?, David Yang
  • [Frama-c-discuss] Could I get the statement that caused the dead code programatically?, David Yang
• [Frama-c-discuss] how to operate on the type of Locations.Zone.map_t ?, David Yang
• [Frama-c-discuss] [wp] unproved goals for strlen() function, Xiao-lei Cui
  • [Frama-c-discuss] [wp] unproved goals for strlen() function, David Yang
    • [Frama-c-discuss] [wp] unproved goals for strlen() function, Xiao-lei Cui
      • [Frama-c-discuss] [wp] unproved goals for strlen() function, Wolfram Kahl
      • [Frama-c-discuss] [wp] unproved goals for strlen() function, David MENTRÉ
      • [Frama-c-discuss] [wp] unproved goals for strlen() function, Xiao-lei Cui
      • [Frama-c-discuss] [wp] unproved goals for strlen() function, Wolfram Kahl
      • [Frama-c-discuss] [wp] unproved goals for strlen() function, Xiao-lei Cui
      • [Frama-c-discuss] [wp] unproved goals for strlen() function, Xiao-lei Cui
• [Frama-c-discuss] How to get the defined locations or varinfos of a corresponding statement by using the value state programatically?, David Yang
• [Frama-c-discuss] How to discard a visiting glob?, David Yang
  • [Frama-c-discuss] RE : How to discard a visiting glob?, SIGNOLES Julien
    • [Frama-c-discuss] RE : How to discard a visiting glob?, David Yang
      • [Frama-c-discuss] RE : RE : How to discard a visiting glob?, SIGNOLES Julien
• [Frama-c-discuss] some questions about the "-lib-entry -main " option while value analysis a partial application, David Yang
  • [Frama-c-discuss] some questions about the "-lib-entry -main " option while value analysis a partial application, David MENTRÉ
    • [Frama-c-discuss] some questions about the "-lib-entry -main " option while value analysis a partial application, David Yang
• [Frama-c-discuss] Frama-c: WP issues, Dharmalingam Ganesan
  • [Frama-c-discuss] Frama-c: WP issues, David MENTRE
    • [Frama-c-discuss] Frama-c: WP issues, Dharmalingam Ganesan
      • [Frama-c-discuss] Frama-c: WP issues, David MENTRE
      • [Frama-c-discuss] Frama-c: WP issues, Dharmalingam Ganesan
      • [Frama-c-discuss] Frama-c: WP issues, David MENTRE
      • [Frama-c-discuss] Frama-c: WP issues, Dharmalingam Ganesan
      • [Frama-c-discuss] Frama-c: WP issues, Dharmalingam Ganesan
      • [Frama-c-discuss] Frama-c: WP issues, David MENTRE
      • [Frama-c-discuss] Frama-c: WP issues, Dharmalingam Ganesan
      • [Frama-c-discuss] Frama-c: WP issues, Julien Signoles
      • [Frama-c-discuss] Frama-c: WP issues, Dharmalingam Ganesan
      • [Frama-c-discuss] Frama-c: WP issues, Julien Signoles
      • [Frama-c-discuss] Frama-c: WP issues, Dharmalingam Ganesan
      • [Frama-c-discuss] Frama-c: WP issues, Dharmalingam Ganesan
• [Frama-c-discuss] Can i specify/proove a function to be "just called"?, ds.verification at flecsim.com
  • [Frama-c-discuss] Can i specify/proove a function to be "just called"?, Yibiao Yang
  • [Frama-c-discuss] Can i specify/proove a function to be "just called"?, Loïc Correnson
    • [Frama-c-discuss] Can i specify/proove a function to be "just called"?, ds.verification at flecsim.com
  • [Frama-c-discuss] Can i specify/proove a function to be "just called"?, Matthieu Lemerre
  • [Frama-c-discuss] Can i specify/proove a function to be "just called"?, Virgile Prevosto
    • [Frama-c-discuss] Can i specify/proove a function to be "just called"?, ds.verification at flecsim.com
• [Frama-c-discuss] MThread, Dharmalingam Ganesan
  • [Frama-c-discuss] MThread, David MENTRE
• [Frama-c-discuss] Proving Memory Safety of String Algorithms without Providing Loop Invariants, Juergen Giesl
  • [Frama-c-discuss] Proving Memory Safety of String Algorithms without Providing Loop Invariants, Jerry James
  • Message not available
    • [Frama-c-discuss] Proving Memory Safety of String Algorithms without Providing Loop Invariants, Juergen Giesl
• [Frama-c-discuss] Frama-C: Detecting unreachable code?, Dharmalingam Ganesan
  • [Frama-c-discuss] Frama-C: Detecting unreachable code?, David MENTRE
    • [Frama-c-discuss] Frama-C: Detecting unreachable code?, Nicholas Mc Guire
      • [Frama-c-discuss] Frama-C: Detecting unreachable code?, Pascal Cuoq
      • [Frama-c-discuss] Frama-C: Detecting unreachable code?, Nicholas Mc Guire
      • [Frama-c-discuss] Frama-C: Detecting unreachable code?, Nicky Williams
      • [Frama-c-discuss] Frama-C: Detecting unreachable code?, Pariente Dillon
      • [Frama-c-discuss] Frama-C: Detecting unreachable code?, Nicholas Mc Guire
      • [Frama-c-discuss] Frama-C: Detecting unreachable code?, Nicky Williams
      • Message not available
      • [Frama-c-discuss] [PROVENANCE INTERNET] Re: Frama-C: Detecting unreachable code?, Nicky Williams
      • [Frama-c-discuss] Frama-C: Detecting unreachable code?, Pariente Dillon
      • [Frama-c-discuss] Frama-C: Detecting unreachable code?, Pascal Cuoq
      • [Frama-c-discuss] Frama-C: Detecting unreachable code?, Dharmalingam Ganesan
      • [Frama-c-discuss] Frama-C: Detecting unreachable code?, Virgile Prevosto
      • [Frama-c-discuss] Frama-C: Detecting unreachable code?, Dharmalingam Ganesan
      • [Frama-c-discuss] Frama-C: Detecting unreachable code?, Mohamed Iguernelala
      • [Frama-c-discuss] Frama-C: Detecting unreachable code?, Loïc Correnson
      • [Frama-c-discuss] Frama-C: Detecting unreachable code?, Dharmalingam Ganesan
      • [Frama-c-discuss] Frama-C: Detecting unreachable code?, Dharmalingam Ganesan
      • [Frama-c-discuss] Frama-C: Detecting unreachable code?, Dharmalingam Ganesan
      • [Frama-c-discuss] Frama-C: Detecting unreachable code?, Virgile Prevosto
      • [Frama-c-discuss] Frama-C: Detecting unreachable code?, Virgile Prevosto
      • [Frama-c-discuss] Frama-C: Detecting unreachable code?, Dharmalingam Ganesan
      • [Frama-c-discuss] Frama-C: Detecting unreachable code?, Pascal Cuoq
      • [Frama-c-discuss] Frama-C: Detecting unreachable code?, Dharmalingam Ganesan
      • [Frama-c-discuss] Frama-C: Detecting unreachable code?, Pascal Cuoq
      • [Frama-c-discuss] Frama-C: Detecting unreachable code?, Dharmalingam Ganesan
      • [Frama-c-discuss] Frama-C: Detecting unreachable code?, David MENTRE
      • [Frama-c-discuss] Frama-C: Detecting unreachable code?, Boris Yakobowski
      • Message not available
      • [Frama-c-discuss] [PROVENANCE INTERNET] Re: Frama-C: Detecting unreachable code?, Nicky Williams
• [Frama-c-discuss] Frama-C: Detecting unreachable code? (Dharmalingam Ganesan), Gerlach, Jens
  • [Frama-c-discuss] Frama-C: Detecting unreachable code? (Dharmalingam Ganesan), Dharmalingam Ganesan
    • [Frama-c-discuss] Frama-C: Detecting unreachable code? (Dharmalingam Ganesan), Loïc Correnson
      • [Frama-c-discuss] Frama-C: Detecting unreachable code? (Dharmalingam Ganesan), Dharmalingam Ganesan
• [Frama-c-discuss] problem with matrix pointer, Dragan
• [Frama-c-discuss] WP - How to represent duplicate assumes?, Dharmalingam Ganesan
  • [Frama-c-discuss] WP - How to represent duplicate assumes?, Virgile Prevosto
• [Frama-c-discuss] Value Analysis: signed_overflow in addition to division_by_zero warning, Marcel Gehrke
  • [Frama-c-discuss] Value Analysis: signed_overflow in addition to division_by_zero warning, Pascal Cuoq
    • [Frama-c-discuss] Array size in Frama-C, Phu H. Phung
  • [Frama-c-discuss] Value Analysis: signed_overflow in addition to division_by_zero warning, Boris Yakobowski
• [Frama-c-discuss] two-dimensional array requires clause, Dragan
  • [Frama-c-discuss] two-dimensional array requires clause, David MENTRE
  • <Possible follow-ups>
  • [Frama-c-discuss] two-dimensional array requires clause, Dragan
    • [Frama-c-discuss] two-dimensional array requires clause, David MENTRE
• [Frama-c-discuss] A significant case study using Frama-C, Claude Marché
  • [Frama-c-discuss] A significant case study using Frama-C, David MENTRE
• [Frama-c-discuss] assigns \from supported in WP?, Dharmalingam Ganesan
  • [Frama-c-discuss] assigns \from supported in WP?, Loïc Correnson
• [Frama-c-discuss] WP: Max_List syntax error, Dharmalingam Ganesan
• [Frama-c-discuss] Frama-C and Keil C51, Alejandro J. Formichelli

---

Mail converted by MHonArc