Not without machine code analysis. That's a pretty big attack surface itself if you're relying on it for safety properties.