Issues · pub / frama-c · GitLab

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 · created Jan 29, 2021 by varosi eva wp
- 3
updated Mar 29, 2021
Option "-lib-entry" results misses possible values of function pointers

#296 · created Nov 07, 2016 by Jochen Burghardt bug eva
- 1
updated Feb 22, 2021
"pointer comparison" warning emitted for "p==NULL"

#298 · created Nov 11, 2016 by Jochen Burghardt bug eva
- 4
updated Feb 22, 2021
Unexpected error (Stack overflow) with large array sizes and expressions

#2585 · created Nov 08, 2021 by arindam-8 eva
- 0
updated Jan 28, 2022
Unexpected error (File "src/plugins/value/engine/evaluation.ml", line 1176, characters 14-20: Assertion failed)

#2610 · created May 10, 2022 by Karine EM eva
- 1
updated May 10, 2022