abclinuxu.cz AbcLinuxu.cz itbiz.cz ITBiz.cz HDmag.cz HDmag.cz abcprace.cz AbcPráce.cz
AbcLinuxu hledá autory!
Inzerujte na AbcPráce.cz od 950 Kč
Rozšířené hledání
×
dnes 21:32 | Nasazení Linuxu

Canonical představuje nejnovější verzi chytré helmy DAQRI s Ubuntu pro rozšířenou realitu. K vidění bude příští týden v Barceloně na veletrhu Mobile World Congress 2017.

Ladislav Hagara | Komentářů: 0
dnes 21:31 | Pozvánky

Pro zájemce o hlubší znalosti fungování operačních systémů připravila MFF UK nový předmět Pokročilé operační systémy, v rámci něhož se vystřídají přednášející nejen z řad pracovníků fakulty, ale dorazí také odborníci ze společností AVAST, Oracle, Red Hat a SUSE. Tento předmět volně navazuje na kurz Operační systémy ze zimního semestru, ale pokud máte praktické zkušenosti odjinud (například z přispívání do jádra Linuxu) a chcete si

… více »
Martin Děcký | Komentářů: 0
dnes 21:30 | Pozvánky

Czech JBoss User Group Vás srdečně zve na setkání JBUG v Brně, které se koná ve středu 1. března 2017 v prostorách Fakulty Informatiky Masarykovy Univerzity v místnosti A318 od 18:00. Přednáší Tomáš Remeš a Matěj Novotný na téma CDI 2.0 - New and Noteworthy. Více informací na Facebooku a na Twitteru #jbugcz.

mjedlick | Komentářů: 0
včera 23:45 | Zajímavý software

Na blogu Qt bylo představeno Qt 3D Studio. Jedná se o produkt dosud známý pod názvem NVIDIA DRIVE™ Design Studio. NVIDIA jej věnovala Qt. Jedná se o několik set tisíc řádků zdrojového kódu. Qt 3D Studio bude stejně jako Qt k dispozici jak pod open source, tak pod komerční licencí. Ukázka práce s Qt 3D Studiem na YouTube.

Ladislav Hagara | Komentářů: 8
včera 17:50 | Komunita

Nadace The Document Foundation (TDF) zastřešující vývoj svobodného kancelářského balíku LibreOffice slaví 5 let od svého oficiálního vzniku. Nadace byla představena 28. září 2010. Formálně byla založena ale až 17. února 2012.

Ladislav Hagara | Komentářů: 0
včera 12:50 | Komunita

Mozilla.cz informuje, že dosud experimentální funkce Page Shot z programu Firefox Test Pilot (zprávička) se stane součástí Firefoxu. Page Shot je nástroj pro vytváření snímků webových stránek. Umí výběr oblasti, prvku stránky (např. odstavce), nebo uložení snímku celé stránky. Snímky lze ukládat na disk nebo nahrávat na server Mozilly. Nedávno bylo oznámeno, že se součástí Firefoxu stane Activity Stream.

Ladislav Hagara | Komentářů: 29
včera 04:10 | Nová verze

Po 10 týdnech vývoje od vydání Linuxu 4.9 (zprávička) oznámil Linus Torvalds, mj. již 20 let žijící v USA, vydání Linuxu 4.10 (LKML). Přehled nových vlastností a vylepšení například na Kernel Newbies a v Jaderných novinách (1, 2 a 3). Kódové jméno Linuxu 4.10 je Fearless Coyote.

Ladislav Hagara | Komentářů: 19
19.2. 15:55 | Zajímavý projekt

Vyzkoušet si příkazy a vyřešit několik úkolů lze na stránkách Commandline Challenge (CMD Challenge). Úkoly lze řešit různými způsoby, důležitý je výsledek. Zdrojové kódy jsou k dispozici na GitHubu pod licencí MIT.

Ladislav Hagara | Komentářů: 18
18.2. 17:35 | Bezpečnostní upozornění

Německá Bundesnetzagentur (obdoba českého ČTU) zakázala na německém území prodej panenky Cayla kvůli „špionáži“ dětí. Tato elektronická hračka obsahuje mikrofon, reproduktor a kameru a bezdrátové komunikační rozhraní, pomocí kterého se hračka připojuje na servery výrobce. Takovýmto způsobem může hračka pomocí umělé inteligence „odpovídat“ na dotazy dítěte. Hlavní problém bude ale asi někde jinde, podle prvotních zpráv může

… více »
Petr Tomášek | Komentářů: 34
17.2. 15:30 | Bezpečnostní upozornění

CSIRT.CZ upozorňuje, že bezpečnostní experti objevili nový typ malwaru, jenž cílí na open source e-commerce platformu Magento. Malware je zajímavý tím, že se jedná o první svého druhu, jehož kód zůstává skrytý v SQL databázi zasaženého e-shopu. Škodlivý kód je volán pomocí tzv. SQL trigerru, který je spouštěn při každém vytvoření objednávky v systému.

Ladislav Hagara | Komentářů: 5
Jak se stavíte k trendu ztenčování přenosných zařízení (smartphony, notebooky)?
 (13%)
 (2%)
 (72%)
 (3%)
 (10%)
Celkem 677 hlasů
 Komentářů: 61, poslední dnes 13:06
Rozcestník
Štítky: není přiřazen žádný štítek

Dotaz: Ako osetrit pretecenia buffera v C?

Tombik avatar 6.3.2010 18:39 Tombik | skóre: 12
Ako osetrit pretecenia buffera v C?
Přečteno: 397×
Dobry vecer,

Mam napriklad funkciu:

int sucetPrvkovPola(int *x,int k)
{
    int i,s=0;
    
    for(i=0; i<k; i++)
    {
	s=s+x[i];
    }

    return s;
}

Napriklad ked sa program pokusi scitat dva prvky s hodnotami 2 000 000 000 a napriklad 2 000 500 000 co dava spolu vacsiu hodnotu ako je rozsah integeru. Vtedy by mala funkcia skoncit s chybovym hlasenim. Neviem si s tym poradit.

Dik

Řešení dotazu:


Odpovědi

6.3.2010 18:56 kovariadam | skóre: 12 | blog: biased | Košice/Brno
Rozbalit Rozbalit vše Re: Ako osetrit pretecenia buffera v C?
Tombik avatar 6.3.2010 19:05 Tombik | skóre: 12
Rozbalit Rozbalit vše Re: Ako osetrit pretecenia buffera v C?
Ano pomocou INT_MAX som to skusal lenze akonahle vznikne vacsia hodnota ako INT_MAX tak do premennej "s" sa zapise zaporna hodnota. Pritom ale v tom poli mozu byt aj zaporne hodnoty (treba to osetrit aj pre pripad ked hodnota bude mensia ako INT_MIN).

Neviem teda ako to mam pouzit.
6.3.2010 19:28 pc2005 | skóre: 32 | blog: GardenOfEdenConfiguration | liberec
Rozbalit Rozbalit vše Re: Ako osetrit pretecenia buffera v C?
Tak to při výpočtu uložit do proměnné třeba 64bit a pak testovat na rozsah 32bitu. Jinak na x86 se na strojové úrovni při přetečení tuším nastaví příznak OF.
Chuck Norris řekl babičce, že si dá jen 3 knedlíky. A dostal 3 knedlíky. | 帮帮我,我被锁在中国房
Tombik avatar 6.3.2010 19:32 Tombik | skóre: 12
Rozbalit Rozbalit vše Re: Ako osetrit pretecenia buffera v C?
Dik za radu v programovani som zaciatocnik moc nerozumiem tomu ako to myslis....nemozes byt troska konkretnejsi?
Řešení 1× (Tombik (tazatel))
6.3.2010 19:41 kovariadam | skóre: 12 | blog: biased | Košice/Brno
Rozbalit Rozbalit vše Re: Ako osetrit pretecenia buffera v C?
Napríklad si vytvoriť premennú s ako long a tú testovať na INT_MAX a INT_MIN.
6.3.2010 19:47 kovariadam | skóre: 12 | blog: biased | Košice/Brno
Rozbalit Rozbalit vše Re: Ako osetrit pretecenia buffera v C?
Alebo ak si na 32bitotvej platforme, tak ako long long int a kompilovať to s voľbou -std=c99.
Tombik avatar 6.3.2010 19:48 Tombik | skóre: 12
Rozbalit Rozbalit vše Re: Ako osetrit pretecenia buffera v C?
Diky
Řešení 1× (Tombik (tazatel))
6.3.2010 21:46 pht | skóre: 48 | blog: pht
Rozbalit Rozbalit vše Re: Ako osetrit pretecenia buffera v C?
To je zase snůška nesmyslů.

Za prvé se tomu neříká přetečení bufferu ale přetečení číselného rozsahu.

Za druhé - "detekci přetečení uděláme tak, že použijeme číslo s větším rozsahem" - wtf? A jak byste pánové chtěli detekovat přetečení long longu? "To nejde"?

Doporučuju si přečíst např. secure coding, je tam toho o něco víc než jen čísla. Ale pro ty netrpělivé:

Varianta 1:
int a,b ... 
if ((a > 0) && (b > 0) && (INT_MAX - a > b)) printf("a+b pretece");
if ((a < 0) && (b < 0) && (a < INT_MIN - b)) printf("a+b podtece");
Varianta 2:
int a,b ...
int c = a+b;
if ((a > 0) && (c < b)) printf("a+b preteklo");
if ((a < 0) && (c > b)) printf("a+b podteklo");
In Ada the typical infinite loop would normally be terminated by detonation.
6.3.2010 22:29 kovariadam | skóre: 12 | blog: biased | Košice/Brno
Rozbalit Rozbalit vše Re: Ako osetrit pretecenia buffera v C?
A jak byste pánové chtěli detekovat přetečení long longu? "To nejde"?
No predsa long long longom... :P
Fuky avatar 7.3.2010 00:35 Fuky | skóre: 52 | blog: 4u
Rozbalit Rozbalit vše Re: Ako osetrit pretecenia buffera v C?

Catching Integer Overflows in C
Here is a complete set of three functions for ``careful'' addition, subtraction, and multiplication.:

#include <stdio.h>
#include <limits.h>

int
chkadd(int a, int b)
{
	if(b < 0)
		return chksub(a, -b);
	if(INT_MAX - b < a) {
		fputs("int overflow\n", stderr);
		return INT_MAX;
	}
	return a + b;
}

int
chksub(int a, int b)
{
	if(b < 0)
		return chkadd(a, -b);
	if(INT_MIN + b > a) {
		fputs("int underflow\n", stderr);
		return INT_MIN;
	}
	return a - b;
}

int
chkmul(int a, int b)
{
	int sign = 1;
	if(a == 0 || b == 0) return 0;
	if(a < 0) { a = -a; sign = -sign; }
	if(b < 0) { b = -b; sign = -sign; }
	if(INT_MAX / b < a) {
		fputs("int overflow\n", stderr);
		return (sign > 0) ? INT_MAX : INT_MIN;
	}
	return sign * a * b;
}
7.3.2010 07:25 pht | skóre: 48 | blog: pht
Rozbalit Rozbalit vše Re: Ako osetrit pretecenia buffera v C?
		return chksub(a, -b);
epic fail!
In Ada the typical infinite loop would normally be terminated by detonation.
Fuky avatar 7.3.2010 12:20 Fuky | skóre: 52 | blog: 4u
Rozbalit Rozbalit vše Re: Ako osetrit pretecenia buffera v C?
Prosím, víc rozepiš co se Ti nezdá, já si myslím, že je to v naprostém pořádku.
7.3.2010 12:37 Jirka P
Rozbalit Rozbalit vše Re: Ako osetrit pretecenia buffera v C?
Nápověda (myslím dost explicitní): Nekonečná rekurze.
Fuky avatar 7.3.2010 12:53 Fuky | skóre: 52 | blog: 4u
Rozbalit Rozbalit vše Re: Ako osetrit pretecenia buffera v C?
Z chkadd() se volá chksub(a, -b) pouze, když je b záporné číslo. Tedy v chksub() se nemůže zavolat chkadd(a, -b), protože ze záporného b se udělalo kladné, tedy žádná nekonečná rekurze se nekoná. Pokud si někdo myslí opak, uveďte konkrétní příklad, možná se na to jen nedívám z dostatečného odstupu a stále mi něco uniká. ;-)
7.3.2010 13:27 pht | skóre: 48 | blog: pht
Rozbalit Rozbalit vše Re: Ako osetrit pretecenia buffera v C?
main() {int i = -2147483648; printf ("%x %x %s\n", i, (-i), (i == -i)?"pooh":""); }
To je svinské číslo, které je záporné, i když se z něj veme absolutní hodnota :) Holt matematika a numerická matematika jsou dvě různé věci, s floating point čísly je to ještě horší.
In Ada the typical infinite loop would normally be terminated by detonation.
7.3.2010 12:48 pht | skóre: 48 | blog: pht
Rozbalit Rozbalit vše Re: Ako osetrit pretecenia buffera v C?
Je dost důležité, aby v samotné kontrole přetečení nedošlo k přetečení. Rozsah záporných a kladných čísel není symetrický (a nikdo nikdy neřekl že by měl být). Takže pokud uděláte -b, tak nemáte zaručeno že nedošlo k přetečení.

V běžné reprezentaci kladných/záporných čísel, kterou mj. používá architektura x86(-64), může dojít k přetečení pro nejmenší reprezentovanou hodnotu (-2n-1 kde n je počet bitů reprezentace). A zrovna v kombinaci s tímto kódem dojde i k té nekonečné rekurzi, jak tu někdo naznačoval.
In Ada the typical infinite loop would normally be terminated by detonation.
Fuky avatar 7.3.2010 13:01 Fuky | skóre: 52 | blog: 4u
Rozbalit Rozbalit vše Re: Ako osetrit pretecenia buffera v C?
Dík za vysvětlení, hlavně, že jsem o nesymetrii včera četl v tom článku a dneska čučím do kódu a vůbec mi to nedošlo. ;-)
Fuky avatar 7.3.2010 13:09 Fuky | skóre: 52 | blog: 4u
Rozbalit Rozbalit vše Re: Ako osetrit pretecenia buffera v C?

Ach ta nepozornost, hlavně, že mají před začátkem kódu poznámku:

(Note: these functions all share one bug: they may fail if invoked on the largest negative integer, INT_MIN.)

7.3.2010 13:28 pht | skóre: 48 | blog: pht
Rozbalit Rozbalit vše Re: Ako osetrit pretecenia buffera v C?
To je poznámka typu: můj kód je dobrý asi jako čínské pivo...
In Ada the typical infinite loop would normally be terminated by detonation.
AraxoN avatar 7.3.2010 11:00 AraxoN | skóre: 45 | blog: slon_v_porcelane | Košice
Rozbalit Rozbalit vše Re: Ako osetrit pretecenia buffera v C?
Mňa na tom celom zaráža to, že sa to robí takto dookola. Na procesore x86 je už od vzniku tejto architektúry overflow flag, ktorý sa nastaví správne po každej aritmetickej operácii a inštrukcia INTO, ktorá potom spraví interrupt ak došlo k pretečeniu. Malo by stačiť povedať prekladaču, aby tam tú inštrukciu INTO dával a bolo by to vyriešené...
A fine is a tax for doing wrong. A tax is a fine for doing well.
7.3.2010 11:05 l4m4
Rozbalit Rozbalit vše Re: Ako osetrit pretecenia buffera v C?
Muselo by to ale jít vypnout pro konkrétní bloky kódu, které s přetečením počítají.
AraxoN avatar 7.3.2010 11:15 AraxoN | skóre: 45 | blog: slon_v_porcelane | Košice
Rozbalit Rozbalit vše Re: Ako osetrit pretecenia buffera v C?
Cez direktívu #pragma, alebo cez špeciálny symbol prekladača, ako je __builtin_expect() v GCC...
A fine is a tax for doing wrong. A tax is a fine for doing well.
7.3.2010 11:41 pht | skóre: 48 | blog: pht
Rozbalit Rozbalit vše Re: Ako osetrit pretecenia buffera v C?
Myslím, že to into asi nebude to pravé ořechové, protože by to znamenalo přepnutí kontextu. Teoreticky by pak jádro mohlo poslat nějaký signál, ale, "uh". IMHO na to stačí klasický jump on overflow, ale bohužel (asi kvůli multiplatformnosti) to tak nedělají ani překladače které by měly přetečení poznat.
In Ada the typical infinite loop would normally be terminated by detonation.
7.3.2010 14:37 pc2005 | skóre: 32 | blog: GardenOfEdenConfiguration | liberec
Rozbalit Rozbalit vše Re: Ako osetrit pretecenia buffera v C?
Za druhé - "detekci přetečení uděláme tak, že použijeme číslo s větším rozsahem" - wtf? A jak byste pánové chtěli detekovat přetečení long longu? "To nejde"?
V zadání se sčítaly tuším dva 32bit integery, mám takový dojem, že při sečtení se 64bit limit nikdy nepřekročí :-P.
Chuck Norris řekl babičce, že si dá jen 3 knedlíky. A dostal 3 knedlíky. | 帮帮我,我被锁在中国房
Aetos avatar 7.3.2010 07:01 Aetos | skóre: 13
Rozbalit Rozbalit vše Re: Ako osetrit pretecenia buffera v C?
Vím, že problém je už vyřešen, ale co to řešit tak, jak to řeší všichni. Mám na mysli kalkulačku. Když je hodnota větší než ... tak jí zapíše/uloží/zobrazí jako mantisu a exponent;-)
7.3.2010 10:47 l4m4
Rozbalit Rozbalit vše Re: Ako osetrit pretecenia buffera v C?
A syscallu, který chce integer, to budeš předávat jak?
8.3.2010 11:26 zulu
Rozbalit Rozbalit vše Re: Ako osetrit pretecenia buffera v C?
Takže můžeš sčítat do nekonečna? To máš skvělou kalkulačku.

Založit nové vláknoNahoru

Tiskni Sdílej: Linkuj Jaggni to Vybrali.sme.sk Google Del.icio.us Facebook

ISSN 1214-1267   www.czech-server.cz
© 1999-2015 Nitemedia s. r. o. Všechna práva vyhrazena.