問題タブ [program-slicing]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
ocaml - Frama-c によるスライス
MacOにframa-cとopamをインストールしました。Hello World を手動でスライスする必要があります。つまり、ギとは違います。インターネットで検索しましたが、やり方がわかりませんでした。私の英語は十分ではありません。それで、誰かが HelloWorld.c をスライスするのを手伝ってくれませんか?
c - frama-c スライシング プラグインが使用済みのスタック値を破棄するように見える
問題の説明
スライシング プラグインをライブラリとして使用して、自動生成されたコードの未使用部分を削除する frama-c プラグインを開発しています。残念ながら、スライシング プラグインは、実際に使用される一連のスタック値をドロップします。これらは、それらのアドレスが抽象的な外部関数に渡される構造体に含まれている限り使用されます。
簡単な例
これは、私が持っているのと同じ一般的な構造をモデル化した、より単純な例です。
この例をスライスするとframa-c-gui -slice-calls some_function experiment_slicing.c(GUI を使用せずにコマンド ラインを呼び出したときにスライス出力を表示する方法がわかりません)、宣言int *a[];と への呼び出し以外はすべて削除されsome_functionます。
試みられた修正
ACSL アノテーションを追加して修正してみました。しかし、私が賢明な仕様 (以下を参照) であると信じていたものは機能しませんでした
次に、目的の動作をする割り当て (以下を参照) を試しました。ただし、関数が実際にポインターに書き込むことはなく、正しい機能のためにそれを読み取る必要があるため、これは正しい仕様ではありません。このような誤った仕様で進めば、後で奇妙な問題が発生するのではないかと心配しています。
numpy - 間隔に基づいてnumpy配列をSIiceしますか?
長さmの1次元配列をnumpyの間隔nで体系的にスライスすることは可能ですか? 1000 個の値のリストがあるとします。これを簡単に 100 個の値の 10 個のリストに分割できますか?