News for hackers. Stuff that matters.

A comment on ATM NFC Hack. Parent comment

Re:ATM NFC Hack by paavohtl on Sunday June 27, 2021 @04:49AM (#27649799)
By this logic no C or C++ developer in history is a professional programmer. Approximately zero non-trivial programs have been written in C or C++ without memory management problems and/or vulnerabilities.
[ Parent | on HN ]
Re:ATM NFC Hack by junon on Sunday June 27, 2021 @06:00AM (#27650148)
That's an ignorant and wrong assertion, spoken with an incredible amount of confidence.

Look up software verification. There are verifiers for C.

[ Parent | on HN ]
Re:ATM NFC Hack by omegalulw on Sunday June 27, 2021 @07:21PM (#27656409)
This is misleading. Formally verifying the behaviour of any large software is a really tall task, no matter what language they are written in.
[ Parent | on HN ]
Re:ATM NFC Hack by junon on Friday July 02, 2021 @10:18PM (#27718854)
That's not what the parent comment asserted though.
[ Parent | on HN ]