Posts

Introduction This article summarizes my experince while using four different tools that detect undefined behavior in C/C++ programs, including some metrics, examples and which programs are best for what cases. The programs that will be mentioned throughout this article are: Undefined Behavior Sanitizer (UBSAN) - From Clang; Valgrind - From Valgrind; Frama-C’s EVA plugin - From Frama-C; KCC - From Runtime Verification; What is Undefined Behavior? Undefined behavior (UB) in C and C++ refers to code whose behavior is unpredictable according to the language specification....

What is Honey Potion? Honey Potion is a translator that allows users to harness the power of eBPF bytecodes with the power, expressiveness and simplicity of Elixir. Where can I find Honey Potion? Have a look at our github! How is the author related with Honey Potion? I am one of the developers and maintainers of Honey Potion. Among other things, I have worked on automatic compilation to eBPF bytecodes from ....

What is the Kaly? The Kaly is a 42 key split ergonomic keyboard I designed! If you like videos, here is the full rundown on how it came to be! Eventually I’ll be updating this post with much, much more about the Kaly, for example firmware, the process of building it and so, so much more! So please wait for that!