It's partly interesting, but as every static analyzer it's at least half wrong, 
so it has to be used carefully, and it takes time.  For example, the first 
issue is both irrelevant and mostly wrong (it probably comes from the fact 
`Assert` is defined conditionally as a non-aborting check, which makes the 
analyzer incorrectly think the checked value can be `NULL`), and the third is 
totally wrong, which might be interesting to report to the authors (it wrongly 
assumes control flow could skip the body of a `while(1)` loop). 
`src/encodings.c:608: error: PREMATURE_NIL_TERMINATION_ARGUMENT` is also 
incorrect, because of the semantic of the "incriminated" function.

Anyway, thank you for this, but it has to be sorted out, as it's not very 
useful straight out of the analyzer.

You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:

Reply via email to