|
|
|
|
|
|
by contravariant
2374 days ago
|
|
|
Furthermore almost any programming language is going to be pretty much impossible to analyse the behaviour of. There are are some pretty fancy theorems about incomputability, but really it's just because you can build a compiler that reads obfuscated byte code. Forget not being able to use string matching, there are no programs capable of predicting the behaviour of programs without effectively running it in a sandbox. |
|
|