Derleyiciler ve tercümanlar hata yapabilir mi ve biz (kullanıcılar olarak) onlarla başa çıkmak için ne yapabiliriz? [kapalı]

Bir derleyicinin çalışması temel olarak kaynak kodunu makine seviyesi koduna çeviriyorsa, derleyicide herhangi bir aksaklık olabilir, yani hatalı bir "çeviri?"

Aynısı bir tercüman için de geçerlidir: bazen gerekli içeriği çıkartamaz mı?

Derleyicilerde / tercümanlarda herhangi bir hata duymadım ama var mı?

Evet

Onları, aktif olarak geliştirilen ve nispeten olgun olanlara göre daha fazla dilde bulma eğilimindesiniz (ve bu nedenle sık sık çok fazla değişiklik görmüyorsunuz). Bu muhtemelen çoğu dilin istikrarın çeşitli “aşamalarında” yayınlanmasının nedeni budur. Gecelik bir yapının, serbest bırakılmış ve aktif olarak kullanılan bir sürüme göre daha az kararlı olması muhtemel olan serbest bırakma adayından daha az kararlı olması muhtemeldir.

Neyse ki, bu dillerin çoğunun (özellikle açık kaynaklı olanlar) rapor gönderebileceğiniz hata izleme sistemi olacaktır.

Kendi tecrübelerime göre, Windows'ta Scala'da oldukça belirsiz fakat ciddi bir hatayla karşılaştım . Bulgularımı hata izleyiciye gönderdim ve sorun oldukça hızlı bir şekilde düzeltildi. Bu durumda, dil geliştiricileri, hata günlüğü çıktısında yararlı bir not içerecek kadar akıllıydı; bu, benim karşılaştığım şeyin aslında bir derleyici hatası olduğunu ve raporun nereye gönderileceğini söyledi.

Layman'ın sözleriyle:

Tüm programlarda hata olabilir.

Derleyiciler programdır.

Ergo, derleyicilerde hatalar olabilir.

Donanımda bile hatalar olabilir; ünlü bir örnek Pentium FDIV hatası . Şüphesiz derleyicilerin böcek içerme olasılığı vardır.

Derleyiciler ve tercümanlar da yazılımdır ve bu nedenle diğer yazılımların sorunlarından ücretsiz değildirler.

Bu, MSVC 11 (2012) kadar yeni bir derleyiciden bir örnek ve işte arka uçları nasıl test ettikleri üzerine bir makale .

Elbette, çünkü derleyiciler yazılımdır.

2005 yılında, büyük bir şirket için yazdığım çok kritik bir yazılım parçasında bir kod parçasında hata oluştu. Firmaya kelimenin tam anlamıyla düzeltilmesi milyonlarca dolara mal olduğu için elbette büyük bir soruşturma başlattılar.

Neyse ki (benim açımdan), sorun Delphi'de bir derleyici sorunu olarak ortaya çıktı. Sonunda deneme bloğunda, bir işlevin dönüş değeri imha edildi ve arayan kişiye kesinlikle rastgele sonuçlar verdi. Bu belgelendi ve Borland tarafından kabul edildi.

.NET, özellikle ilk uygulamalarında, kelimenin tam anlamıyla, yüzlerce farklı bellek sızıntısı olduğu bilinmektedir.

Hatasız yazılım diye bir şeyin olmadığını iddia edeceğim. Derleyiciler istisna değildir. Yine de, çoğu iş yazılımından daha kapsamlı bir şekilde test edildiler ve akıllı, eleştirel, çekişmeli insanlar tarafından tüketiliyorlar, bu nedenle iz kayıtları aslında oldukça iyi.

Yalnızca hatalar değil, kasıtlı kötü amaçlı yazılımlar da.

Brian Kernighan tarafından orijinal Unix C derleyicisine uygulanan "giriş" truva atı bunlardan en bilinenleri; http://cm.bell-labs.com/who/ken/trust.html makalesinde bu konuda bazı bilgiler bulunmaktadır.

Evet, tabii ki herhangi bir yazılım derleyicisinin hataları gibi, örneğin gcc hata listesi burada

Evet.

Ayrıca, yalnızca derleyicilerle değil, aynı zamanda Yorumlayıcılar / hata ayıklayıcılar ve herhangi bir 3. parti yazılım aracıyla da.

Şu anda bazı 3. taraf yazılımları kullanıyoruz ve sorunun bir kısmını yaşıyoruz. Bazen bir hatayı bulup bildirdikleri için bize teşekkür ederler. :)

Bazılarında da bazı hafıza sızıntıları vardır, bu da kazaya neden olur. Buradaki önemli soru, 3. parti aracının mı, yoksa derleyicinin başvurunuzun doğru çalışması için hataları olup olmadığını nasıl belirleyebilir?

Derleyici, bir dilde (kaynak dil) yazılmış bir programı okuyan ve başka bir dilde (hedef dil), çoğunlukla makine dilinde başka bir eşdeğer programa çeviren bir programdır.

Kaynak dil kodunuzun satır satır tarandığı farklı derleyici aşamaları vardır. Kaynak dil kodunda taranan tüm Anahtar Kelimeleri izleyen bir sembol tablosu vardır.

Faz 1: Lexical Analyzer - kaynak programdaki tüm karakterleri okur ve belirteçlerin mantıksal olarak ayrılmasını sağlar (int, char, float, eğer öyleyse, o zaman, vb.)

Faz 2: Sözdizimi Analizörü - belirteçlerin akışının yapısını analiz eder. Sonek / önek vb. İçeren ifadelerin hiyerarşik ayrıştırılması (a = b + c * d)

Faz 3: Semantik Analizör - Jetonların tip kontrolü (gerçek sayı, float vb.) Ve operatör önceliği vb. Birçok şey.

Faz 4: Ara Kod Üreticisi - a = b + c * de (temp1 = c * d, temp2 = temp1 + b, temp3 = temp2-e)

Faz 5: Kod Optimizasyonu - Çeşitli Analizler (kontrol akışı, veri akışı, dönüşümler)
Ortadan Kaldıran : Artıklık kodu, Sabit yayılım, Kısmi ölü kod, ortak alt ifade, Döngü değişmez kodu

Aşama 6: Kod Üretimi - Kayıtlara değerler koyarak hedef kodun (çoğunlukla Assembly Dili) oluşturulması

Tüm bu aşamalar iyi yazılmış programlardan başka bir şey değildir ve bunun içinde N kusur olabilir.

Tabii ki, derleyiciler sadece programlardır ve yazarları da salaktır :). Dil belirtiminde bile bir hata olabilir. Örnek: c # + foreach + lambda .

Veya Python'da tercüman hata: Kötü ast çöker tercüman derleme .

Eğer derleyici / yorumlayıcıda hatalara bakmak istiyorsanız -> php'ye bakın. Tamsayı taşması ile ünlü bir hata var. İlk düzeltme başladı if (size > INT_MAX) return NULL;. Hikayenin devamı .