The problem In the last few months, I have been struggling with this problem: Should input parameters be checked? Hundreds of warnings were thrown by static analysis tool in a large base code, most of them regarding pointers which could […]
Overflow Sometimes, the results of working with integers may go outside the range that can be represented, that is, when the result of operating on two k-bit numbers is a (k+1)-bit result. Static analysis tools such as Polyspace or Sonar […]
We come from A dummy blockchain implementation in C (I) 1. Parties All the ingredients are ready, so now it is time to code the main function. As I already said, it is going to be a voting system. For […]
Voting with Blockchain Hundreds of thousands of articles have been written about blockchain and how it is going to change the world. I am not to talk why I don’t understand how this can be possible. Neither Bitcoin, which (from […]