control-flow-graph

0熱度

1回答

我想爲不可執行二進制文件生成控制流圖。目標是對Linux內核生成的二進制文件進行靜態分析。有沒有可以做到這一點的工具？我通過搜索找到的工具僅適用於可執行文件。我使用obj-dump將二進制反彙編爲程序集。目前，我對彙編基本塊進行分析，但在這種方法中，我無法保證是否覆蓋了所有的執行路徑。

0熱度

1回答

如何用菸灰創建控制流圖？

有一段時間，我一直在努力創建一個帶有Soot的控制流圖，我有點迷失在它的tutorials。我沒有使用Soot作爲Eclipse插件，而是一直試圖使用Soot作爲庫或API。我想要做的是，我有一堆Java項目，我想創建/生成這些項目的控制流圖。我還看到Soot中有一個功能，我可以用「DOT」格式生成控制流圖，這對我來說也是可以接受的。任何指導或示例代碼，展示如何創建/生成菸灰控制流程圖將是偉大

2熱度

2回答

如何以編程方式將java代碼（方法）解析爲控制流程圖

是否有任何API或參考庫可用於將java代碼或java方法解析爲控制流程圖（CFG）。我試圖將AST轉換爲CFG，但不能使用AST Parser來做，但沒有找到任何方式來做到這一點。我正在使用Eclipse IDE JAVA（J2SE）。請幫忙。

0熱度

1回答

從smali代碼

構建Android的控制流程圖有沒有解析smali代碼直接構建CFG的工具？我知道Androguard做了類似的事情，但是它似乎在apk文件上使用了反編譯功能，如果apk使用混淆技術，它可能會變得不可靠。

1熱度

1回答

用於C++代碼的控制流圖生成器

我正在尋找用C++編寫的源代碼的控制流圖生成器。你知道任何開源的靜態生成器嗎？我想在畢業設計中使用它來生成控制流程圖並突出顯示在執行分析的應用程序期間執行的路徑。我已經寫完整的引擎來記錄執行的行。謝謝你的所有答案。

0熱度

1回答

如何跟蹤方法參數？

我一直在嘗試爲Java編程語言找到「跟蹤方法參數」的確切術語，我通常發現「污點分析」，但仍不確定我是否處於正確的路徑。我想要的是跟蹤一個方法的參數，看看該方法的哪一部分（在範圍內）做參數效果。例如，如果一個參數被分配給另一個變量，我也想保持跟蹤所分配的變量。通過提及「部分」，它可以是代碼行，語句或控制流圖的分支。我也檢查過工具，遇到了Checker Framework和Findbugs，但是看

1熱度

1回答

循環複雜性 - 爲此java語句繪製控制流圖

任何人都可以幫忙嗎？ while (x > level) x = x – 1; x = 0

3熱度

3回答

OCaml的調用圖發生器或原因

我想分析一個OCaml /原因代碼存儲庫並理解各種功能之間的調用。有沒有提供這種功能的工具？

0熱度

1回答

線路，分支和獨立路徑覆蓋的區別？

線路，分支和獨立路徑覆蓋有什麼區別？給出以下情形，路徑將如何顯示？圖片爲下面的鏈接上控制流圖 - >http://testerstories.com/files/Path.Test.011.png 步驟尋找爲每一個真實路徑被太多讚賞。謝謝:)

1熱度

1回答

向無環圖的遍歷在Java Web應用程序

所以我建立一個Web應用程序，你可以建立一個向圖，其中一個節點將代表的一些操作和邊緣將代表這些操作之間的數據流。所以對於邊緣{u，v}，你必須在v之前運行。 Click this link to see a sample graph START節點表示初始值和作爲指定的除輸出的其他節點確實操作。輸出節點將輸出它接收的值作爲輸入。我應該使用哪種算法的方法來處理這樣的圖形？