Some time it is not very easy finding issues in the code under analysis.



The code to be analyzed can be divided in two categories:


  1. the code written by the developer(s)
  2. the code provided by the compiler toolchain.


Sometimes the actual issues are not on the code written by the developer, but in the code provided by the compiler toolchain.


The SAFacilitator can help in identifying such issues by exposing the preprocessed code that the compiler actually processed - and submitting it to the Static Analyzers.


Spazio IT has produced this exhaustive video showing how to perform these tasks (the involved commands are described here).