frama-c

43 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Is it possible to write the result of code transformations back to the original source files?
user_13903930
•
3
1
43
frama-c
Frama-C does not recognize valid memory access from bitwise-ANDed index
user_41843220
•
1
1
106
acsl frama-c c
Frama-C: Array accesses with non-deterministic sizes
user_37122610
•
2
1
55
frama-c
Does Frama-C catch the UB of reading uninitialised stack variables?
user_171500820
•
2
1
39
verification frama-c c
Why are solvers timing out on a trivial bitmask function?
user_178132710
•
2
1
56
frama-c
Eva for function prototype returning pointer to array
user_176774830
•
1
1
45
frama-c
How to make a frama-c WP warning into an error?
user_50229940
•
1
1
37
frama-c warnings
How to use Domain_builder module?
user_156474540
•
1
1
61
frama-c
Frama-C 23 and Coq
user_164086060
•
1
1
165
why3 frama-c coq macos
Dynamic linking error when using ppx_compare
user_156474540
•
2
0
91
frama-c
Hot Questions