C source code analysis platform
Frama-C is an extensible and collaborative platform dedicated to source-code analysis of C software. The Frama-C analyzers assist you in various source-code-related activities, from the navigation through unfamiliar projects up to the certification of critical software.
System | Target | Derivation | Build status |
---|---|---|---|
x86_64-linux | /gnu/store/knyh29344jgch9mypcrm88ac3rxj37wg-frama-c-24.0.drv | ||
powerpc-linux | /gnu/store/zzh7kv907rk0lmrvywaxq4wfwn7wk36v-frama-c-24.0.drv | ||
powerpc64le-linux | /gnu/store/9plny8jf1lj3drxpsi26x5g60j0n2y61-frama-c-24.0.drv | ||
mips64el-linux | /gnu/store/2i17bz0pgj7v0jsj52yzshfsjyxgplf2-frama-c-24.0.drv | ||
i686-linux | /gnu/store/6hhh8chycxgbdlal9sx5qkg027gyaq91-frama-c-24.0.drv | ||
i586-gnu | /gnu/store/j2vr58lm4bd3wg9ir378n49h9xk51hxr-frama-c-24.0.drv | ||
armhf-linux | /gnu/store/b7cjl8i8xkr8lasi0psfyxr7l6ry92xc-frama-c-24.0.drv | ||
aarch64-linux | /gnu/store/1yml5xs9p92xc3m4x6jh9i3p16yv8sav-frama-c-24.0.drv |
Linter | Message | Location |
---|---|---|
No lint warnings ✓ |