@frama_c

A software analysis platform that checks security, verifies requirements, and guarantees trust in C programs.

frama-c.com
Joined May 2014
  • Tweets84
  • Following64
  • Followers301
6Media
Frama-C 27.1 (Cobalt) has just been released, with some GUI-related fixes and a new frama-c-script command, make-machdep, to help you create and use custom machdeps for exotic architectures! It is already available on opam, so just `opam update && opam install frama-c.27.1`!
9
297
The Software Security and Reliability Lab (LSL) at @CEA_List has several open positions (to start as soon as possible) to work in the Frama-C team! Check out our job offers @ frama-c.com/html/jobs.html
1
5
379
The beta release of Frama-C 27 (Cobalt) is out! With better C11 support, a new machdep mechanism (and generator), several improvements to Aorai, Eva, WP, etc... and also to Ivette, the new Frama-C GUI! Test it with `opam update && opam install frama-c.27.0~beta`!
Screenshot of the graphical interface, Ivette, showing several components.

ALT Screenshot of the graphical interface, Ivette, showing several components.

5
17
1,408
The Frama-C team has a stand at @ETAPSconf 2023, in Paris! Come see us and discuss about Frama-C with some kernel developers! We have open positions available: interns, PhDs, postdocs, developers.... #ETAPS2023 #formalmethods
4
15
1,228
(Pardon my French, this is for an event at #ParisSaclay) Frama-C et @BinsecTool organisent un cyber-hackathon le 28/04 au @CEA_List #SiliconPlateau pour apprendre à utiliser/approfondir l'usage de ces plateformes: analyse de code, tutoriels, challenges.. framaforms.org/inscription-c…
1
4
10
724
Ces deux plateformes open-source sont développées surtout en #OCaml (@OCamlLang), donc si le langage vous intéresse, n'hésitez pas à venir ! Nous recrutons stagiaires, CDDs, postdocs, ingénieurs-chercheurs.. plus de détails dans frama-c.com/html/contact.htm… and binsec.github.io/jobs
1
1
162
Si vous voulez y passer (pour la journée entière ou juste une partie), c'est ici : openstreetmap.org/?mlat=48.7… Pour des questions de sécurité, il faudra cependant vous inscrire au plus tard le 25/04 : framaforms.org/inscription-c…
1
135
Very interesting week participating at @fmsymp! Lots of new ideas and problems to tackle, especially in the areas of #MedicalDevices and #AI. Do you work in these areas? Do you have suggestions for Frama-C? Let us work together: frama-c.com/html/contact.htm… #fm23
2
8
323
The Frama-C 26.1 (Iron) minor release is out! It contains a few bug fixes, mostly related to compilation and installation, but also better support for \ghost and terminates ACSL clauses. If you already have opam, just run `opam update && opam install frama-c.26.1`!
2
2
492
You can now run E-ACSL in the Frama-C Docker images, which have changed from Alpine (musl) to Debian (glibc) by default! We also include Fedora images in our Docker Hub now! More details in this blog post: frama-c.com/2022/12/20/frama…
1
183
We're experimenting with video tutorials for Frama-C! In this first video, we present a brief setup with usage of Eva and Ivette: youtube.com/watch?v=-4jhuqcO… Feedback concerning this format (e.g. with respect to existing formats such as the user manual and the blog) is welcome!

Frama-C Tutorial and Tool Demonstration

Frama-C is an open-source extensible and collaborative platform ded...

youtube.com
2
16
1,291
Frama-C 26 (Iron) is out! Get it via opam (opam update && opam install frama-c.26.0) or via the Frama-C website (frama-c.com/html/get-frama-c…)! Also check out this release's main changes on our blog, with code examples and screenshots: frama-c.com/2022/11/29/frama…
1
4
To celebrate the end of #CyberMonth2022, we are proud to announce a new common criteria certification at the highest level of security – the coveted 'EAL 7' – awarded by @ANSSI_FR at the heart of our new product (the #javacard "Virtual Machine") for electronic identity documents.

5
14
The real IDE for C is Frama-C. @frama_c – at Glasgow, Scotland
4
3
43
Wondering what the new Frama-C GUI, Ivette, looks like? This blog post shows some screenshots and details the installation instructions: frama-c.com/2022/07/12/frama… It's still a preview release, but steadily evolving!
1
4
Following Frama-C 25, there is also a new release of MetAcsl: git.frama-c.com/pub/meta/-/t…, a plugin to help write high-level specifications. Especially useful for memory-related constraints. You can install MetAcsl via: `opam update && opam install frama-c-metacsl`
2
The new Frama-C 25 beta release is out! One of its main features is the beta version of the new Frama-C GUI, Ivette (currently, only for Eva and some derived plugins), based on Electron. Get it at frama-c.com/fc-versions/mang… or run "opam update; opam install frama-c.25.0~beta".
1
2
9
more replies
For detailed installation instructions, check here: git.frama-c.com/pub/frama-c/… Note that, to try the new beta GUI (Ivette), you need to install Frama-C from its source archive (and not opam). Check git.frama-c.com/pub/frama-c/… for requirements and instructions.
1
... and the official release of Frama-C 25.0 (Manganese) is out: frama-c.com/fc-versions/mang… Between the beta and this release, there were a few bug fixes. As usual, `opam update && opam install frama-c` should get you the freshest Frama-C!
1
1
Load more