inkvizitor - Témata označená nálepkou Programovací jazyky

  • Bezpečné programování v C++ II

    V dnešním díle bych chtěl blíže pohovořit o tom, proč považuji používání naší funkce filter() za bezpečné a rozebrat ji z pohledu jednoho z kritérií správnosti kódu. Předpokládejme, že tzv. Murphyho zákony platí a tudíž není obecně možné projít zdrojový kód celé aplikace, dokonale mu porozumět ve všech souvislostech a odhalit všechny potenciální chyby…
    18. 3. 2009 0:59 (aktualizováno)
  • Bezpečné programování v C++ I

    Nedávno jsem měl debatu s Laelem Ophrirem, který tvrdil, že linuxové prostředí, kde se používají zejména jazyky C a C++, je z principu náchylnější k chybám v kódu, než prostředí Windows, kde se čím dál tím více prosazují „managed“ jazyky typu C#. Tenkrát jsem slíbil, že napíšu do blogu, proč to není pravda. V principu každý alespoň trochu rozumně napsaný program je možné pomocí statické analýzy vyšetřit a zjistit, zda je napsán korektně…
    9. 3. 2009 23:54 (aktualizováno)
  • Kudy dál v kompilovaných jazycích?

    Nejpoužívanější programovací jazyk pro programování linuxových aplikací je pravděpodobně pořád C, v závěsu za ním bude asi C++. C je jazyk, který byl navržen pro psaní operačního systému někdy v roce 1972. A 35 let poté se ještě stále používá pro tvorbu uživatelských aplikací. Sice už díky Bohu méně, ale stejně ještě pořád. Přiznám se, že tento jazyk, jakožto i jeho objetově orientovaného bratra se dvěma plusy nemám moc rád…