SQLFlow是一個可視化的在線處理SQL對象依賴關系的工具，只需要上傳你的SQL腳本，它可以自動分析SQL里的數據對象，包括database、schema、table、view、column、procedure、function、trigger等等，並且能夠分析這些數據對象之間的依賴關系，並將 ...

SQLFlow是一款專業的數據血緣關系分析工具，在大型數據倉庫中，完整的數據血緣關系可以用來進行數據溯源、表和字段變更的影響分析、數據合規性的證明、數據質量的檢查等。 一、SQLFlow 是怎樣工作的 從數據庫、版本控制系統、文件系統中獲取 SQL 腳本。 解析 SQL 腳本，分析 ...

1數據流分析基礎 1.1停機問題-抽象方法 針對基礎篇中的停機問題，我們可以試用抽象方法去嘗試解決問題。邪惡程序存在的關鍵在於程序中有if存在 。因此可以采取以下方式。 1.1.1忽略掉所有程序的if條件部分 抽象成 語義：“向左走/向右走”為非確定性選擇，程序隨機從“向左走 ...

數據流程圖 CodeQL數據流庫通過對程序或功能的數據流圖進行建模來實現對程序或功能的數據流分析。與抽象語法樹不同，數據流圖不反映程序的語法結構，而是在運行時對數據流過程序的方式進行建模。抽象語法樹中的節點代表語法元素，例如語句或表達式。另一方面，數據流圖中的節點表示在運行時帶有值的語義 ...

TS 流、包結構以及同步 1. TS 流: 可以將TS流理解為一種單一碼流、混合碼流。 　　單一碼流：TS流的基本組成單位是長度為188字節的TS包。 混合碼流：TS流有多種數據組成，一個TS包中的數據可以是視頻數據、音頻數據、填充數據，PSI/SI表格數據 ...

Socket中TCP的建立（三次握手） TCP協議通過三個報文段完成連接的建立，這個過程稱為三次握手(three-way handshake)，過程如下圖所示。 第一次 ...

注意 這條博客目前還非常不完善，可能存在一些錯誤，待后續完善 動機 編譯時的優化。 編譯器可以只根據本地信息進行一些優化。例如，考慮以下代碼。 優化器很容易識到，x的第一 ...

主要是確定系統上下文邊界，所以繪制時只需要 ...