I think you are thinking of @safe-ty. malloc and free can be pure, but must be contained properly.purity when it comes to mutable data is a tricky thing.-Steve
No, it should not be pure because it alter global state in a manner visible to the program.