Názory k článku
Glibc 2.41 způsobuje problém některým programům a hrám

A v 21 storoci mame exec stack kvoli .. ?
Podla mna spravne, nie je absolutne ziaden dovod na to, aby sa tak aplikacia spravala. A ked potrebuje self modifying code tak si moze mmapnut memory region.

Treba kvuli trampolinam. Zpustitelnej zasobnik pouziva i knihovna ctype, kterou pouziva python. Pripadne lokalni funkce v GNU C.

ano, není to vhodné, viz zranitelnost ssh agenta, https://www.qualys.com/2023/07/19/cve-2023-38408/rce-openssh-forwarded-ssh-agent.txt, kvůli tomu nejspíš i tenhle patch vznikl a až po testování se ukazuje, že dopad je daleko větší než si zaslouží setinkový update.

2.40 -> 2.41 je normální major upgrade, tedy další půlrok vývoje na masteru navíc.

máš pravdu, glibc neřeší major, minor path, jedou jen dopředu.

Ve skutečnosti upstream i udržuje ty větve dlouhodoběji. Například i zde je úplně nový commit: https://sourceware.org/git/?p=glibc.git;a=shortlog;h=refs/heads/release/2.34/master

A jak clovek napise kod v C / C++, ktery bude mit executable stack?

Instrukce nemaji co pohledavat na zasobniku.

Osobne bych ty pametove regiony rozdelil na 4 strany (code~ro, data~nx, sys-stack~registry push/pop only, mem-stack~argumenty - adresace jen v ramci limitu volani).

Napíše ho docela jednoduše. Stačí když použije GNU C a nested functions, to vede na executable stack a spouštení kódu na stacku. Tady je to hezky popsáno: https://nullprogram.com/blog/2019/11/15/

Kde zaver toho clanku je asi najdolezitejsi:

"Nested C closures are super slick, but they’re just not worth the risk of an executable stack, and they’re certainly not worth an entire toolchain being fail open about it."

Dakujem ale za clanok. Dozvedel som sa v nom nieco velmi zaujimave a musim vyskusat (myslim skutocne, nie ironicky, ak by to tak nahodou vyznelo).

To jo, pritom by stacilo kdyby prekladac z takove funkce udelal static, pridal tam pointer na strukturu s pouzitymi argumenty od volajici funkce.. a za malej vykonovej rozdil ta funkce nemusi byt na stacku. Lokalni funkce nebude v exportech, takze realna implementace je soukromou zalezitosti prekladace.

Staci na to option v GCC, aby to nebylo na stacku.. a muzou se vsechny projekty prelozit spravne. Ze je to nenapadlo.. kdyz vymysleli flagy a optiony pro executable-stack ,)

To se mi nezda.
- static nebude ani reentrantni, ani thread-safe
- pokud to propasirujete pres nejakou "cizi" funkci, treba ze standardni knihovny (cokoli, co ma nejaky callback - qsort), jak presne tomu ten pointer predate? global variable nezafunguje, strcit to do thread local storage - porad to nebude reentrantni.