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

[CEST]

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]

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).

[rajcze]

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.

[thingie]

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.

[spang]

http://www.google.com/search?q=python+safe+eval

[cezz]

To prave vedie k tomu safe evalu, ktory AFAIK uz nejaky ten cas nie je udrziavany a tazko povedat, nakolko je safe..

[diverman]

python-ply

[qiRzT]

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ě.

[JS]

Presne tak, pyparsing to resi.

[cezz]

Tiez velmi zaujimava alternativa..

[deda.jabko]

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.

[Marek 'marx' Grác]

Nešlo by to poslať ako vstup do bc ?