Proudcer-Consumer relationship: The

Proudcer-Consumer relationship: The dependence table obtained
from the Frama-C PDG provides information about the variables
that a specific variable depends on. This enables tracking where
variables are defined and used. This can then be directly used to
determine which transactions are producers of a variable and which
ones are consumers.

ผลลัพธ์ (ไทย) 1:

Proudcer ลูกค้าสัมพันธ์: ตารางการพึ่งพาอาศัยกันได้จาก PDG C ทีใช้ดีให้ข้อมูลเกี่ยวกับตัวแปรว่า ตัวแปรหนึ่ง ๆ ขึ้นอยู่กับ นี้ช่วยให้การติดตามที่ไหนมีกำหนดตัวแปร และใช้ นี้แล้วตรงไปได้ตรวจสอบธุรกรรมที่เป็นผู้ผลิตของตัวแปรและคนเป็นผู้บริโภค

ผลลัพธ์ (ไทย) 2:

ความสัมพันธ์ Proudcer ผู้บริโภค: ตารางการพึ่งพาอาศัยที่ได้รับ
จากม่า PDG-C ให้ข้อมูลเกี่ยวกับตัวแปร
ที่ตัวแปรที่เฉพาะเจาะจงขึ้นอยู่กับ ซึ่งจะช่วยให้การติดตามที่
ตัวแปรมีการกำหนดและใช้ นี้จากนั้นจะสามารถใช้โดยตรงในการ
ตรวจสอบการทำธุรกรรมซึ่งเป็นผู้ผลิตของตัวแปรและ
คนที่เป็นผู้บริโภค

ผลลัพธ์ (ไทย) 3:

ความสัมพันธ์ของตารางได้รับการ proudcer :จาก frama-c PDG ให้ข้อมูลเกี่ยวกับตัวแปรว่าตัวแปรเฉพาะขึ้นอยู่กับ . นี้จะช่วยให้ติดตามที่ตัวแปรที่ถูกกำหนดไว้ และใช้ นี้จากนั้นจะสามารถใช้โดยตรงเพื่อตรวจสอบธุรกรรมที่เป็น ผู้ผลิต ของตัวแปร และที่ที่เป็นผู้บริโภค