Issues · pub / frama-c · GitLab

Frama-c crash with Cil.SizeOfError sizeof(void)

#2551 · opened Apr 20, 2021 by Karine EM eva kernel
- 1
updated Apr 20, 2021
An option to return error code if there are any problems with the analysis, so that frama-c is easier to be used in CI/CD workflows 3 of 3 tasks completed

#54 · opened Jan 29, 2021 by varosi eva wp
- 3
updated Mar 29, 2021
"pointer comparison" warning emitted for "p==NULL"

#298 · opened Nov 11, 2016 by Jochen Burghardt bug eva
- 4
updated Feb 22, 2021
Option "-lib-entry" results misses possible values of function pointers

#296 · opened Nov 07, 2016 by Jochen Burghardt bug eva
- 1
updated Feb 22, 2021