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 14:22 | IT novinky

Fraunhofer HHI společně se svými partnery Apple, Ericsson, Intel, Huawei, Microsoft, Qualcomm a Sony oznámil schválení nového formátu kódování videa: H.266/VVC (Versatile Video Coding). Jedná se o nástupce formátů H.264/AVC (Advanced Video Coding) a H.265/HEVC (High Efficiency Video Coding).

Ladislav Hagara | Komentářů: 7
dnes 13:00 | Zajímavý software

Společnost ISFG (Information Systems Factory Group) představila elektronickou spisovou službu SpisUm. Jedná se o open source řešení. Zdrojové kódy jsou k dispozici na GitHubu. SpisUm je postaveno na open source platformě Alfresco.

Ladislav Hagara | Komentářů: 0
dnes 02:22 | Zajímavý software

Video Trimmer je jednoduchá grafická aplikace umožňující vyříznout část videa. Vydána byla nová verze 0.2.0. K dispozici je již také ve formátu Flatpak na Flathubu.

Ladislav Hagara | Komentářů: 3
dnes 01:11 | Komunita

Byla vydána první RC verze svobodného kancelářského balíku LibreOffice 7.0. Dle plánu by finální verze měla vyjít počátkem srpna. Diskusi rozpoutalo označení Personal Edition. Dle prohlášení rady The Document Foundation označení vychází z pětiletého marketingového plánu (pdf). V plánu je LibreOffice Personal a LibreOffice Enterprise.

Ladislav Hagara | Komentářů: 12
včera 16:44 | Nová verze

Byla vydána nová major verze 3.15.0 grafického vývojového prostředí a platformy Gambas (Wikipedie) založené na interpretru programovacího jazyka Basic s rozšířením o objektově orientované programování. Přehled novinek v poznámkách k vydání. Zdrojové kódy jsou k dispozici na GitLabu.

Ladislav Hagara | Komentářů: 0
včera 15:55 | Nová verze

Byla vydána verze 2.6 svobodného nelineárního video editoru Flowblade (GitHub, Wikipedie). Přehled novinek v poznámkách k vydání a ve videu na Vimeu.

Ladislav Hagara | Komentářů: 2
včera 01:11 | Zajímavý článek

Na webu Libre Graphics World vyšel dvoudílný rozhovor s Paulem Davisem, hlavním vývojářem DAW Ardour. První část se zabývá především vývojem právě Ardouru a přepisem jeho částí, druhá část se věnuje jednak zvuku na Linuxu (PipeWire, PulseAudio, JACK) a jednak interoperabilitě s jinými DAW.

Fluttershy, yay! | Komentářů: 3
5.7. 15:55 | Komunita

V oblasti informačních a komunikačních technologií probíhají změny v názvosloví. Ke změnám se tento týden oficiálně vyjádřil CTO Red Hatu Chris Wright: nahrazením problematických slov se open source stane inkluzivnější. Také vývojáři Linuxu diskutují o inkluzivní terminologii. Do jádra se dostane soubor inclusive-terminology.rst.

Ladislav Hagara | Komentářů: 55
5.7. 13:55 | Nová verze

MaXX Interactive Desktop (navazující na projekt 5dwm.org) je linuxový port IRIX Interactive Desktop, desktopového prostředí z pracovních stanic Silicon Graphics. Vzniká s vědomím a svolením SGI, ale proto je také licence částečně proprietární. Aktuální, nově vydaná verze je 2.1. Do konce roku je plánováno přepracování grafické konfigurace, správce plochy a správce souborů.

Fluttershy, yay! | Komentářů: 7
3.7. 19:44 | Nová verze

Byla vydána nová verze 1.7.0 svobodného multiplatformního Markdown editoru Zettlr postaveného na platformě Electron. Podrobný přehled novinek na GitHubu.

Ladislav Hagara | Komentářů: 1
Používáte některé open-source řešení [protokol] pro šifrovaný instant messaging?
 (23%)
 (30%)
 (4%)
 (12%)
 (18%)
 (5%)
 (13%)
 (25%)
Celkem 310 hlasů
 Komentářů: 32, poslední 28.6. 17:51
Rozcestník

Bezpečný eval matematického vzorca (python)

1.7.2008 14:19 | Přečteno: 999× | Ostatne | poslední úprava: 1.7.2008 14:22

V poslednom období sa mi dostal pod ruky zaujímavý problém. Potrebujem bezpečne vypočítať uživateľom zadaný matematický vzorec. Problémy su hneď dva. Jednak vyhodnotiť, či vzorec vôbec je validný. (alebo teda či ide o vzorec, alebo nie - tu je tolerovaťeľné isté pochybenie) Druhý, väčší problém je bezpečnosť celého riešenia.

Validácia vzorca

Tu ide hlavne o to, že zadaný reťazec nemusí byť matematický príklad. Podobne ako napríklad google rozozná vyhľadávací reťazec od príkladu. (ide o veľmi podobnú funkcionalitu) Istá dávka tolerancie v tomto smere je v poriadku. (nevadí, keď sa pokúsi príklad vypočítať, aj keď ide o inú frázu) To som vyriešil sadou regexpov - overujem použité znaky, ich kombinácie a podobne. Všeobecne sa dá povedať, že pokiaľ dostanem na vstupe príklad, tak ho rozoznám. V prípade záujmu dohodím par riadkov v pythone, ale nejde o nič extra zaujímavé.

Bezpečný výpočet

Tu začína byť trošku problém. Na vstupe môže byť takmer čokoľvek. (predchádza len pár filtrami, ako lowercase, orezanie whitespaces a podobne) Používateľ navyše nemôže byť považovaný za dôveryhodnú osobu a môže - či už úmyselne, alebo zámerne poskytnúť nebezpečné vstupné hodnoty. (reťazec)

Pythoní eval nemôžem v tomto prípade považovať za bezpečné riešenie. Nejaké snahy o jeho secure variantu už pred nejakou dobou stroskotali. Ako riešenie sa mi ponúka spúšťanie samostatného procesu v chroote s časovým obmedzením. (v desatinách sekundy - nevadí, ak sa príklad nestihne vypočítať, vadí, ak sa bude počítať pridlho) V takom prípade zvažujem navyše použitie perlu (jeho syntax je IMHO trošku bližšia "bežnému" matematickému zápisu) plus, samozrejme, par filtrov. (konverzia na desatinnu bodku a podobne)

Záver

Otázka teda je, ako (by) ste to riešili vy? Podeľte sa o svoje nápady / skúsenosti v diskusii! Za každu radu budem vďačný.

       

Hodnocení: 67 %

        špatnédobré        

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

Komentáře

Vložit další komentář

1.7.2008 14:30 CEST
Rozbalit Rozbalit vše Re: Bezpečný eval matematického vzorca (python)
No, pokud bych mel nejakou jednodussi omezenou mnozinu operaci a funkci, asi bych si radsi napsal vlastne parser. Ono to zas takovy tezky nebude, prakticky by to mohlo byt jenom par pravidel.

Pokud bys uzivatele dokazal presvedcit na postfixovou nebo prefixovou notaci, tak jsi za vodou uplne.
cezz avatar 1.7.2008 14:44 cezz | skóre: 24 | blog: dm6
Rozbalit Rozbalit vše Re: Bezpečný eval matematického vzorca (python)
No pokusam sa o nieco velmi podobne ako zvlada google. Cize uzivatel nieco zada a ked ja uznam, ze je to vzorec, pokusim sa ho vypocitat. (a zobrazim mu riesenie prikladu popri dalsich vysledkoch, ktore zas vratia ine moduly)

Cize urcite neviem uzivatela prinutit k nejakej notacii, maximalne si ju viem ja nejako pracne naformatovat. Dokonca ako som spominal, riesim aj to, ze u nas sa pouziva desatinna ciarka, kdezto inde bodka. (snazim sa prisposobit)

Ide mi o to, ze nakolko je bezpecne si nieco take parsovat "rucne". Hlavne co sa tyka obmedzenia na cas vypoctu, spotrebovanu ram a oddelenie od premennych celeho programu (o pravach, ktore ma beziaci program nehovoriac).
Computers are not intelligent. They only think they are.
1.7.2008 15:37 rajcze | skóre: 6 | blog: rajcze | kus od Brna
Rozbalit Rozbalit vše Re: Bezpečný eval matematického vzorca (python)
Netřeba přesvědčovat na pre/postfixovou notaci, infix se dá velmi triviálním způsobem na postfix převést. A vyhodnotit výraz v postfixu už je hračka.
Rules of Optimization: Rule 1: Don't do it. Rule 2 (for experts only): Don't do it yet.
thingie avatar 1.7.2008 14:41 thingie | skóre: 8
Rozbalit Rozbalit vše Re: Bezpečný eval matematického vzorca (python)
http://haskell.org/haskellwiki/Safely_running_untrusted_Haskell_code

Ani tam to není tak lehké, ač by člověk řekl, že stačí kontrolovat typy a bude.
Růžové lži.
1.7.2008 15:00 spang
Rozbalit Rozbalit vše Re: Bezpečný eval matematického vzorca (python)
cezz avatar 1.7.2008 15:31 cezz | skóre: 24 | blog: dm6
Rozbalit Rozbalit vše Re: Bezpečný eval matematického vzorca (python)
To prave vedie k tomu safe evalu, ktory AFAIK uz nejaky ten cas nie je udrziavany a tazko povedat, nakolko je safe..
Computers are not intelligent. They only think they are.
1.7.2008 15:57 diverman | skóre: 32 | blog: život s tučňáčkem
Rozbalit Rozbalit vše Re: Bezpečný eval matematického vzorca (python)
deb http://ftp.cz.debian.org/debian jessie main contrib non-free
1.7.2008 15:57 qiRzT | skóre: 14 | blog: U_Marvina
Rozbalit Rozbalit vše Re: Bezpečný eval matematického vzorca (python)
Napsal bych si vlastní parser. Pokud jsou to jen matematické výrazy, je to LL(1) a stačí rekurzivní sestup (google určitě pro tyhle pojmy něco najde). Pokud to bude korektní, vyhodí to výsledek, pokud ne, řekne, že je to špatně.
Důležité je vědět jak problém vyřešit, zbytek zvládne i cvičená opice...
1.7.2008 20:17 JS
Rozbalit Rozbalit vše Re: Bezpečný eval matematického vzorca (python)
Presne tak, pyparsing to resi.
cezz avatar 1.7.2008 21:29 cezz | skóre: 24 | blog: dm6
Rozbalit Rozbalit vše Re: Bezpečný eval matematického vzorca (python)
Tiez velmi zaujimava alternativa..
Computers are not intelligent. They only think they are.
1.7.2008 16:00 deda.jabko | skóre: 23 | blog: blog co se jmenuje "každý den jinak" | za new york city dvakrát doleva a pak už se doptáte
Rozbalit Rozbalit vše Re: Bezpečný eval matematického vzorca (python)
k overeni spravnosti vyrazu to bude chtit neco vic nez regularni vyrazy... takze urcite to bude chtit napsat nebo vygenerovat nejaky parser. jinak pokud chcete mit absolutni jistotu, ze se vyraz nevyhodnoti na neco nechteneho, je nejlepsi napsat si vlastni evaluator.
Asi před rokem se dostali hackeři na servry Debianu a ukradli jim zdrojové kódy.
1.7.2008 19:13 Marek 'marx' Grác | skóre: 21 | blog: Paralelný blog | Brno / Bratislava
Rozbalit Rozbalit vše Re: Bezpečný eval matematického vzorca (python)
Nešlo by to poslať ako vstup do bc ?

Založit nové vláknoNahoru

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