BEAM analysis by PVS-Studio (a static code analyzer)

Blogs & Podcasts Blog Posts
1

PVS-studio just drops BEAM analysis report, which can be reached here.

Code legacy: Analyzing Erlang’s C and C++ modules that have been running for decades

Introduction
Logic errors
Critical errors
Memory errors
Conclusion

Code for some Erlang/OTP modules is older than most modern junior developers. These files are the true digital patriarchs. For decades, they have made sure that banking transactions, telephone networks, and messaging systems are all working properly. We decided to take a look under the hood of this long-lived language to see what exactly lies behind the lines that millions of users rely on today. In this article, let’s see what we found.

11 Likes
2

@kpy3 Excellent report.

if ((! IS_INTEGER(env, argv[3])) ||
    (! IS_INTEGER(env, argv[3]))) <---
      return enif_make_badarg(env);
4 Likes
3

Nice seems I have some bugs to fix :slight_smile:

5 Likes