Frama-C Windows二進制可用嗎？

Question

我希望做一些Frama-C開源項目的實驗，並希望在Windows 7機器上安裝這些工具。 看起來以前的版本有Windows的二進制安裝程序，但最新版本的氮只有源代碼可用。 該項目的網站frama-c.com說這些應該可用，但我沒有在他們的下載頁面上看到它們。 二進制安裝程序在其他地方可用嗎？

Answer 1

您可以在此處找到安裝Frama-C Nitrogen二進制版本的說明，這是撰寫本文時的最新版本。 它安裝在較舊版本的Boron之上，並將其升級為氮氣。