-
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
- Grok zaczął nadużywać wulgaryzmów i wprost obrażać niektóre znane osoby
- 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
Najnowsze wątki
- 2025-07-27 Czy to jeszcze dziala
- 2025-07-27 Fotele firmy RECARO Aircraft Seating ze Świebodzina dla nowych samolotów LOT
- 2025-07-27 Fotele firmy RECARO Aircraft Seating ze Świebodzina dla nowych samolotów LOT
- 2025-07-26 Elektrownia Siersza w kolejce do zaorania
- 2025-07-26 Odkryte w Polsce złoża ropy i gazu powodują nerwowość u Niemców
- 2025-07-26 Odbiornik ADS-B i wzmacniacze
- 2025-07-26 Next.Gazeta informuje, że od 2029 roku (lub 2030 roku) cyfrowe euro stanie się prawnym środkiem płatniczym w całej UE
- 2025-07-26 Warszawa => Head of Technology <=
- 2025-07-26 Warszawa => Strategic Account Manager <=
- 2025-07-26 Mołdawia. Demokratura zastępuje demokrację.
- 2025-07-26 Prawicowa influencerka Candace Owens zapowiada walkę do końca ,,dla całego świata" [z parą prezydencką Macron]
- 2025-07-26 Next.Gazeta informuje, że od 2029 roku (lub 2030 roku) cyfrowe euro stanie się prawnym środkiem płatniczym w całej UE
- 2025-07-26 Ukraińscy kibice [w trakcie meczu] wzywali do zabijania Serbów
- 2025-07-26 Przejechałbym babę...
- 2025-07-26 Re: Temat: obowiazkowe kaski