-
Data: 2012-09-23 11:38:21
Temat: Re: Dlaczego software to F35 jest pisany w C++ a nie w Ada
Od: kenobi <p...@g...com> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]W dniu sobota, 22 września 2012 22:47:37 UTC+2 użytkownik Maciej Sobczak napisał:
> W dniu piątek, 21 września 2012 21:02:36 UTC+2 użytkownik Sebastian Biały napisał:
>
>
>
> > Ten mit o bezpieczeństwie Ady jest powszechny.
>
>
>
> To nie jest mit i nie chodzi o biezpieczeństwo totalne, w którym nie da się napisać
złego programu (wtedy można byłoby programy generować losowo i też działałyby
poprawnie). Chodzi o relatywną pozycję Ady względem innych technologii.
>
>
>
> Analogia motoryzacyjna wygląda mniej więcej tak: nikt nie twierdzi, że nie da się
zabić w samochodach Volvo - niemniej, ludzie obeznani z tematem są ogólnie zgodni co
do tego, że poziom bezpieczeństwa Volvo ma powyżej średniej. W skrócie: można się
zabić, ale jest to trudniejsze, niż np. w Maluchu.
>
>
>
> > Wystarczy jednak zerknąc
>
>
>
> Wystarczy też zerknąć np. na listę tzw. vulnerabilities albo na zalecenia CERT żeby
zrozumieć, że spora część problemów bezpieczeństwa dzisiejszych programów w Adzie w
ogóle nie występuje albo jest po prostu łatwiejsza do ogarnięcia. Stąd właśnie
pochodzi przekonanie, że Ada jest językiem relatywnie bezpiecznym.
>
>
>
Wydaje mi sie ze pewna czesc bledow mozna by
wychwytywac w ten sposob ze zaklada sie bardzo
scisle asserty na input (przy czym ten input
to moze byc bardzo wiele bardzo roznych
czynnikow im wiecej tym lepiej) po czym
sledzi 'naocznie' czy kod bedzie dzialac poprawnie w pelnym zakresie przepuszczonych
wartosci - taka procedura gwarantuje pewne
zezpieczenstwo, tj to ze dany program bedzie
sie zachowywal ok w danym szerokim zakresie
stanów (moze tez go w tym sensie umacniac
czyli podciagac szerokosc przestrzeni tego
stanu) - a jak juz cos z zewnatrz spowoduje
ze cos wyskoczy poza ten zakres to i tak ciezko
cos poradzic
Następne wpisy z tego wątku
- 23.09.12 12:37 Kviat
- 23.09.12 13:27 kenobi
- 24.09.12 15:48 slawek
- 24.09.12 16:26 Adam Wysocki
- 24.09.12 16:44 Jacek
- 24.09.12 16:52 Roman W
- 24.09.12 17:06 Edek Pienkowski
- 24.09.12 18:07 AK
- 24.09.12 18:12 R.e.m.e.K
- 24.09.12 19:08 Karol Y
- 24.09.12 21:33 slawek
- 24.09.12 21:41 slawek
- 24.09.12 23:40 Edek Pienkowski
- 25.09.12 02:05 Kviat
- 25.09.12 08:48 kenobi
Najnowsze wątki z tej grupy
- Can you activate BMW 48V 10Ah Li-Ion battery, connecting to CAN-USB laptop interface ?
- We Wrocławiu ruszyła Odra 5, pierwszy w Polsce komputer kwantowy z nadprzewodzącymi kubitami
- Ada-Europe - AEiC 2025 early registration deadline imminent
- John Carmack twierdzi, że gdyby gry były optymalizowane, to wystarczyły by stare kompy
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2025
- Linuks od wer. 6.15 przestanie wspierać procesory 486 i będzie wymagać min. Pentium
- ,,Polski przemysł jest w stanie agonalnym" - podkreślił dobitnie, wskazując na brak zamówień.
- Rewolucja w debugowaniu!!! SI analizuje zrzuty pamięci systemu M$ Windows!!!
- Brednie w wiki - hasło Dehomag
- Perfidne ataki krakerów z KRLD na skrypciarzy JS i Pajton
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- U nas propagują modę na SI, a w Chinach naukowcy SI po kolei umierają w wieku 40-50lat
- C++. Podróż Po Języku - komentarz
Najnowsze wątki
- 2025-07-05 Shrek, wzrośnie cena prądu :-)
- 2025-07-05 Warszawa => Senior Frontend Developer (React + React Native) <=
- 2025-07-05 Środa Wielkopolska => SAP FI/CO Internal Consultant <=
- 2025-07-05 Środa Wielkopolska => SAP FI/CO Konsultant wewnętrzny <=
- 2025-07-06 Płacić za wodę ze studni
- 2025-07-06 Kolejny inżynier...
- 2025-07-05 UE ustępuje pod presją Trumpa. Socjaldemokraci: oddaliśmy miliardy
- 2025-07-04 od kiedy można obrażać Plastusia i do kiedy Batyra?
- 2025-07-05 UE ustępuje pod presją Trumpa. Socjaldemokraci: oddaliśmy miliardy
- 2025-07-03 Trybik
- 2025-07-04 Renault Symbioz
- 2025-07-04 Architektura IIIRP: Wyjątkowa, a prymitywniejsza niż stodoła pod zaborami
- 2025-07-04 Warszawa => International Freight Forwarder <=
- 2025-07-04 Wrocław => SAP ABAP Developer <=
- 2025-07-04 Warszawa => Mid/Senior IT Recruiter <=