You can use a language / compiler / static analyzer that restricts side-effects.