jakobkroeker / FiniteFieldExperiments.M2

A simple Macaulay2-Framework for finite field experiments
1 stars 1 forks source link

break M2 basic functionality #190

Open jakobkroeker opened 7 years ago

jakobkroeker commented 7 years ago

currently (not only) in M2 the following is possible without a warning or error:

ZZ#isPrime = (n)-> return true; -- more evil: randomly return incorrect results.
length(List) := Nothing => (ht)-> null
isPrime 2 -- true
length {1,2,3} --null

An evil package could obfuscate the code above (using 'value' and string concatenation) and execute it when its loaded...

upstream: https://github.com/Macaulay2/M2/issues/581