To try to verify dynamic code at compile time would likely walk you straight into the halting problem just like it would for many kinds of tooling.

试图在编译阶段验证动态代码会使你陷入停机问题的漩涡。

youdao

It promises to assist with halting copyright infringement which is a huge problem for the movie industry.

BBC: US pirate hunters target movies