|
From: | Andreas Weber |
Subject: | Re: Stories from static analysis of the Octave code base |
Date: | Fri, 4 Jan 2019 21:28:33 +0100 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.4.0 |
Am 04.01.19 um 20:35 schrieb Rik:
Besides flat out calling the wrong function (e.g., double_value instead of xdouble_value),
I found(1) one that wasn't detected by PVS, perhaps it was configured without java and thus not checked?
http://hg.savannah.gnu.org/hgweb/octave/rev/45d5a4ae636b -- Andy [1] grep -rPHn '\.[^x][a-zA-Z0-9_]+_value +\("'
[Prev in Thread] | Current Thread | [Next in Thread] |