Hlavní navigace

inkvizitor - Témata označená nálepkou Linux

  • 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)
  • Test začíná

    Dost bylo teorie, začneme praktikovat. Rozhodl jsem se, že budu experimentovat s desktopovými distribucemi v prostředí virtuálního stroje. Důvod je takový, že mě nebaví rebooty. Kromě toho nemám vhodný prázdný diskový oddíl ani místo pro nový. Zvolil jsem VirtualBox – mám relativně dobré zkušenosti s QEMU i s VMware, ale VirtualBox je, zdá se, v kursu. VirtualBox je hezký, klikací, intuitivní. Moje Gentoo mi (někdy ve čtvrtek večer, VBoxSVC.log.0 má datum a čas 25.10…
    28. 10. 2007 13:15 (aktualizováno)
  • Idealisté a pragmatici

    Přiznám se, že jsem měl původně v úmyslu v tomto blogu postupně přecházet od obecného ke konkrétnímu. Hezky rozebrat hlavní oblasti problémů, které podle mě linuxová platforma na desktopu má a pak na konkrétních příkladech tyto problémy ukazovat a snad i navrhovat řešení. Moc se mi ale do toho nechce. Mimo jiné proto, že bez těch konkrétních příkladů bude ta teorie stát dost na vodě a blog není kniha…
    28. 10. 2007 13:26 (aktualizováno)