Secure Coding mailing list archives
RE: Programming languages -- the "third rail" of secure coding
From: ljknews <ljknews () mac com>
Date: Mon, 02 Aug 2004 21:02:15 +0100
At 2:25 PM +0930 8/2/04, Nick Lothian wrote:
What features make Ada safer than Java/C#? (I only have limited experience with Ada but from memory there was nothing that jumps out at me as something that Java lacks)
Quoting from Tucker Taft in http://www.google.com/groups?selm=FD85Lq.Hyp.0.-s%40inmet.camb.inmet.com
Integer conversion (casting) in Java is truncating. Integer conversion in Ada is value-preserving, with a run-time check on overflow (note that GNAT in some configurations suppresses overflow checks by default, which is naughty in some people's view ;-). To get truncation in Ada, you need to use an explicit "mod"/"rem" or Unchecked_Conversion.
Markus Kuhn has a general comparison between Ada, Java and C++ at http://www.google.com/groups?selm=77nhuv%2429c%243%40pegasus.csx.cam.ac.uk Real-time aspects of Java garbage collection are discussed at http://www.google.com/groups?selm=a3eaa964.0304162240.540962aa%40posting.google.com Enumerated types are discussed at http://www.google.com/groups?selm=sbrvtvgdcdjps866mbuonffsl816ucgipd%404ax.com Comparing the Ada protected object to the Java monitor http://www.google.com/groups?selm=82347202.0305061140.53347ae1%40posting.google.com and other synchronization issues http://www.google.com/groups?selm=3D0CA980.5050505%40worldnet.att.net Strong typing of scalars http://www.google.com/groups?selm=254c16a.0305190830.21c61eca%40posting.google.com Lack of generics means containers are not type-safe in Java http://www.google.com/groups?selm=ba162549.0301052052.5a03f7a7%40posting.google.com Reference to a general comparison document from ACT Europe http://www.google.com/groups?selm=W0er9.42832%24qb.14876%40nwrddc01.gnilink.net -- Larry Kilgallen
Current thread:
- Re: Programming languages -- the "third rail" of secure coding, (continued)
- Re: Programming languages -- the "third rail" of secure coding der Mouse (Jul 20)
- Re: Programming languages -- the "third rail" of secure coding Crispin Cowan (Jul 21)
- Re: Programming languages -- the "third rail" of secure coding Craig E. Ward (Jul 22)
- Re: Programming languages -- the "third rail" of secure coding James Walden (Jul 21)
- RE: Programming languages -- the "third rail" of secure coding Peter Amey (Jul 21)
- RE: Programming languages -- the "third rail" of secure coding Wall, Kevin (Jul 21)
- RE: Programming languages -- the "third rail" of secure coding Nick Lothian (Jul 21)
- RE: Programming languages -- the "third rail" of secure coding Michael S Hines (Jul 22)
- Re: Programming languages -- the "third rail" of secure coding Mark Rockman (Jul 23)
- RE: Programming languages -- the "third rail" of secure coding Nick Lothian (Aug 02)
- RE: Programming languages -- the "third rail" of secure coding ljknews (Aug 02)