frama-c

43 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Frama-c WP and preconditions
user_152829310
•
3
1
183
frama-c static-analysis
What does "Default behavior: tried with Frama-C kernel." mean?
user_5100360
•
3
2
89
frama-c
Function call in a "if" clause to ACSL
user_152829310
•
2
1
74
frama-c static-analysis
Frama-c - Problem with proving "assigns" until strlen
user_66693400
•
2
0
125
frama-c
Frama-C - Get function input value through command line
user_143071260
•
4
1
73
frama-c static-analysis
Frama-c fails to prove verify.c from Allan Blanchard's tutorial
user_152097140
•
2
1
189
frama-c
Analyze precompiled C++ files with Frama-C
user_150037100
•
2
0
99
frama-c c++
How to prove the functionality of a C stringCompare function with Frama-C?
user_89246260
•
6
1
191
frama-c static-analysis c
Eva method to compute intervals [frama-c]
user_146940540
•
2
1
105
frama-c
Frama-C's GUI (frama-c-gui) not installed despite installing frama-c on WSL Ubuntu
user_144485020
•
2
1
1005
frama-c
Hot Questions