zlacker

[parent] [thread] 0 comments
1. UncleM+(OP)[view] [source] 2022-10-02 18:49:19
That's not what "trivial property" means w.r.t. Rice's Thm.

The point is that you can produce a perfectly working analysis method that is either sound or complete but not both. "Nowhere in the entire program does the call 'panic()' appear is a perfectly workable analysis - it just has false positives.

[go to top]