if you don't mind going impure, you could translate those functions into actors and (easily) test their resiliency against alien attack using a virtual machine

if you don't mind going impure, you could translate those functions into actors and (easily) test their resiliency against alien attack using a virtual machine like the BEAM.