CVE-2023-40015

Vyper, Python benzeri bir Akıllı Sözleşme Dilidir. Aşağıdaki (muhtemelen kapsamlı olmayan) ifade listesi için derleyici, argümanları soldan sağa yerine sağdan sola değerlendirir. `unsafe_add, unsafe_sub, unsafe_mul, unsafe_div, pow_mod256, |, &, ^ (bit düzeyinde işleçler), bitwise_or (kullanımdan kaldırıldı), bitwise_and (kullanımdan kaldırıldı), bitwise_xor (kullanımdan kaldırıldı), raw_call, <, >, <=, >=, ==, !=, in, not in (lhs ve rhs enum olduğunda)`. Bu davranış, argümanlardan birinin değerlendirilmesi diğer argümanların bağımlı olduğu yan etkiler ürettiğinde sorun haline gelir. Aşağıdaki ifadeler yan etki üretebilir: durumu değiştiren harici çağrı, durumu değiştiren dahili çağrı, `raw_call`, depolamada saklanan bir Dynamic Array üzerinde kullanıldığında `pop()`, `create_minimal_proxy_to`, `create_copy_of`, `create_from_blueprint`. Bu sorun henüz yamalanmamıştır. Kullanıcılara, ifadenin argümanlarının yan etki üretmediğinden veya biri üretiyorsa başka hiçbir argümanın bu yan etkilere bağımlı olmadığından emin olmaları önerilir.