full-disclosure - Coding securely, was Linux (in)security

lists.openwall.net		lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC
Open Source and information security mailing list archives

Hash Suite for Android: free password hash cracker in your pocket

[<prev] [next>] [<thread-prev] [day] [month] [year] [list]

Message-ID: <3FA17A72.5030304@algroup.co.uk>
From: ben at algroup.co.uk (Ben Laurie)
Subject: Coding securely, was Linux (in)security

Valdis.Kletnieks@...edu wrote:
> On Wed, 29 Oct 2003 12:08:20 GMT, Ben Laurie said:
> 
> 
>>Duh. That's a complete misunderstanding of the halting problem - which
>>is, in essence, that you can't write a program which can predict, in
>>general, whether another program will halt. Its perfectly possible to
>>write programs that are guaranteed to halt.
> 
> 
> Correct.  The point is that 'can you design a language that *guarantees* non
> terminating programs' is isomorphic to the compiler solving the Halting Problem.

Partial recursive functions (no, they aren't Turing complete).

Cheers,

Ben.

-- 
http://www.apache-ssl.org/ben.html       http://www.thebunker.net/

"There is no limit to what a man can do or how far he can go if he
doesn't mind who gets the credit." - Robert Woodruff