Path: csiph.com!eternal-september.org!feeder.eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: Sky89 <Sky89@sky68.com>
Newsgroups: comp.programming
Subject: There is still a problem with C++ and C
Date: Sat, 19 May 2018 13:00:18 -0400
Organization: A noiseless patient Spider
Lines: 40
Message-ID: <pdpl73$6pr$3@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 19 May 2018 17:00:19 -0000 (UTC)
Injection-Info: h2725194.stratoserver.net; posting-host="6f94b6e509dff52dedc1c2c93682a33f"; logging-data="6971"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/udDtrfqmCUhDqiwYVSBKI"
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:52.0) Gecko/20100101 Thunderbird/52.7.0
Cancel-Lock: sha1:t+eYNcu3/16I1MCFOxgl1Pjj2WE=
Content-Language: en-US
X-Mozilla-News-Host: news://news.eternal-september.org:119
Xref: csiph.com comp.programming:8811

Hello...


There is still a problem with C++ and C

About Escher C++ Verifier, read carefully:

"Escher C Verifier enables the development of formally-verifiable 
software in a subset of C (based on MISRA-C 2012)."

Read here:

http://www.eschertech.com/products/index.php


So it verifies just a "subset" of C, so that's not good for C++
because for other applications that are not a subset of C , it can
not do for example Run-time checks, so we are again into
this problem again, so read the following carefully:

I think that Delphi and FreePascal like ADA come with range checking and 
Run-time checks that catch conversion from negative signed to unsigned , 
and catch out-of-bounds indices of dynamic and static arrays and catch 
arithmetic overflow etc. and you can also dynamically catch this 
exception of ERangeError etc.

But C++ and C don't have range checking etc. so that's not good in C++ 
and C because it is not good for safety-critical systems.

You can carefully read the following, it is very important:

https://critical.eschertech.com/2010/07/07/run-time-checks-are-they-worth-it/


Thank you,
Amine Moulay Ramdane.