byako

byako has asked 0 questions and find answers to 19 problems.

Stats

About

Happy Frama-C (and OCaml) developer, intent on eradicating all bugs in C programs. In a previous life, type system guru (ML^F) dedicated to adding second-order polymorphism to an ML type system near you.

byako questions

byako answers

How do i analyse a complex project like open62541?
Prove while-loop in Frama-C
combine enums in different modules
Get result into a string variable in OCaml
Get the array index variable and its value in value analysis (Frama-C)
How to use functions in Value.Eval_expr, Value.Eval_op etc modules of Frama-c Value plugin
Use Frama-c to analyze a project with CMake build infrastructure
How does one prove simple equalities of non-deterministic values in Frama-C + EVA?
Gitlab - Pivotal Tracker integration
Calculate reachability to a function using frama-c's value analysis