同じ機能のコードソースバリアントの検出
私がこのJavaScript悪意のある関数f1()を持っているとしましょう：
_<SCRIPT type="text/javascript">
function f1(){
a=1;
b=2;
c=a+b;
}
</SCRIPT>
_
この関数は、JavaScriptと呼ばれるより大きなmyScriptプログラムに組み込まれています。Pythonと呼ばれるmyScannerスクリプトを使用します。このスクリプトは、myScriptを読み取り、f1()が存在するかどうかを警告します。myScannerはうまく機能します。しかし、これらの変数の名前を変更した場合、または単にf1()のソースコードを別の方法で記述した場合に、myScriptでこの悪意のある関数のすべての可能な形式を確認する方法がわかりませんが、それは実行されます同じタスク。
私の質問は、同じアクションを実行する限り、myScannerがf1()に加えられた変更をどのように検出できるかということです。
これは決定不可能な問題です。 停止性問題 と同じくらい難しいです。