> "but I was recently wondering if it would be possible to detect and deny pointer cycles in a language in an efficient way"
...not whatever issue you are worried about.