|
|
|
|
|
|
by NyxWulf
2394 days ago
|
|
|
In addition to the compiler there is a verifier that imposes some strict limits on programs. One example is it must prove the program will halt. It would be foolish to say there couldn't be a vector there, but they have done really strong work in protecting against that type of attack. |
|
|