Frama-C @frama_c

A software analysis platform that checks security, verifies requirements, and guarantees trust in C programs. frama-c.com Joined May 2014

Tweets

84
Followers

312
Following

64
Likes

27

Frama-C @frama_c

2 years ago

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`!

0 0 10 279 0

Frama-C @frama_c

2 years ago

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

0 1 5 365 0

Frama-C @frama_c

2 years ago

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`!

0 5 18 1K 3

Download Image

Frama-C @frama_c

2 years ago

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

0 4 16 1K 1

Download Image

Frama-C @frama_c

3 years ago

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.h… #fm23

0 2 8 321 0

Download Image

Frama-C @frama_c

3 years ago

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`!

0 2 3 491 0

Frama-C @frama_c

3 years ago

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/fra…

0 0 1 182 0

Frama-C @frama_c

3 years ago

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=-4jhuq… Feedback concerning this format (e.g. with respect to existing formats such as the user manual and the blog) is welcome!

0 2 16 1K 5

Frama-C @frama_c

3 years ago

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…)! Also check out this release's main changes on our blog, with code examples and screenshots: frama-c.com/2022/11/29/fra…

0 1 4 0 0

Thales Group @thalesgroup

3 years ago

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.

0 5 14 0 1

Satnam Singh @satnam6502

3 years ago

The real IDE for C is Frama-C. @frama_c

5 3 44 0 12

Frama-C @frama_c

3 years ago

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/fra… It's still a preview release, but steadily evolving!

0 1 4 0 1

Frama-C @frama_c

3 years ago

Following Frama-C 25, there is also a new release of MetAcsl: git.frama-c.com/pub/meta/-/tre…, 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`