If I had to guess, they're likely referring to the lack of side-effects in some functional languages. This makes it a bit easier to formally verify the correctness.
What's funny is that some of these languages lack types, which makes it a whole lot harder to secure.