プログラムにおける関数同士の依存を可視化したもの。 静的コールグラフと動的コールグラフとがある。
Linuxカーネル内の関数のコールグラフを表示したり、ソースコードの行指定をして変数の値を出力したりするといったようなトレーシングをするために、トレーサーを利用する。 Linuxカーネルのトレーサーには、ftraceやperf、eBPFなどがある。Choosing a Linux Tracer (2015) 今回は、ftrace(trace-cmd)とperf probeを動作させるために環境構築したときのログをメモしておく。 ここでは、さくらのクラウドのUbuntu Server 18.04.2 LTS 64bitのISOイメージを基に構築したインスタンス上で、ftraceとperfの環境を…
はい、シンボリック実行だいすきクラブの友利奈緒です。通勤中に論文を読んでる系の女の子なのですが、ここ半年は本を読んでいたので論文サーベイがすっかりご無沙汰になっていました＞＜ Semantic Scholarから送られるSymbolic Executionタグのアラートを半年眺めていた限りでは、Blockchainのスマートコントラクトの検証（Verification）やJavaScript・Javaのシンボリック実行が多かった印象でしたが、調べてみると面白い論文が出てました。シンボリック実行はまだまだ盛り上がっててよかったです…>_<… Neuro-Symbolic Execution: A…
