Alias analysis is useful for progra

Alias analysis is useful for program debugging and program
understanding. To show this, we present an example.
Fig.1(a) shows a sample JAVA program and Fig.1(b)
shows its execution outputs. This program computes the
salaries of employee Emp and manager Mng. The salary
of the manager should be higher than that of the employee.
However, the program execution output is incorrect since a
salary addition was made to Emp, not to Mng. When the
user recognizes such a fault, he/she computes the aliases
for reference variable Emp at line 32. In this paper, we call
such a target expression of the alias analysis the alias criterion
(or simply criterion), and it is specified by a tuple
, where s is a statement in the source program and
e is an expression at s. In the figure, shadowed expressions
represent the resulting aliases for . Emp at line
32 is the alias criterion and is also an alias itself. Therefore,
it is boxed and shadowed. We can easily see around
those shadowed expressions, and can identify a fault at the
salary addition statement at line 24. By modifying the statement
e.add salary(200) to add salary(200) at
line 24, the program will compute an expected result as
shown in Fig.1(c).

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

วิเคราะห์นามแฝงจะเป็นประโยชน์สำหรับการดีบักโปรแกรมและโปรแกรมทำความเข้าใจ การแสดงนี้ เรานำเสนอตัวอย่างFig.1(a) แสดงตัวอย่างโปรแกรม JAVA และ Fig.1(b)แสดงการแสดงผลการดำเนินการ โปรแกรมนี้คำนวณการเงินเดือนของพนักงาน Emp และจัดการ Mng เงินเดือนของผู้จัดการควรจะสูงกว่าของพนักงานอย่างไรก็ตาม การแสดงผลการดำเนินการโปรแกรมไม่ถูกต้องตั้งแต่การEmp ไม่ให้ Mng จะเพิ่มเงินเดือน เมื่อการผู้ใช้ตระหนักถึงข้อบกพร่องดังกล่าว เขาจะแฝงตัวสำหรับตัวแปรอ้างอิง Emp ที่บรรทัด 32 ในเอกสารนี้ เราเรียกดังกล่าวเป็นเป้าหมายนิพจน์การวิเคราะห์นามแฝงเงื่อนไขแฝง(หรือเพียงแค่เกณฑ์), และมีระบุ โดยทูเพิลโดยที่ s คือ คำสั่งในโปรแกรมต้นฉบับ และe คือ ค่าที่ s ในภาพ แรเงานิพจน์หมายถึงนามแฝงของผลลัพธ์สำหรับ . Emp ที่บรรทัด32 เป็นเกณฑ์นามแฝง และก็แฝงตัว ดังนั้นมันเป็นกล่องกล่อง และแรเงา เราสามารถมองเห็นรอบ ๆนิพจน์การแรเงา และสามารถระบุข้อบกพร่องในการงบเพิ่มเงินเดือนในรายการ 24 โดยการปรับเปลี่ยนคำสั่งsalary(200) e.add เพิ่ม salary(200) ที่สาย 24 โปรแกรมจะคำนวณผลลัพธ์คาดไว้เป็นแสดงใน Fig.1(c)

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

การวิเคราะห์ฉายาจะเป็นประโยชน์สำหรับการแก้จุดบกพร่องและความเข้าใจโปรแกรมโปรแกรม

เพื่อแสดงนี้เรานำเสนอตัวอย่าง .
” ( ) แสดงให้เห็นตัวอย่างและโปรแกรม Java ” ( B )
แสดงถึงการดำเนินการเอาท์พุท โปรแกรมนี้คำนวณเงินเดือนของ EMP
พนักงานและผู้จัดการ บริษัท บี. เงินเดือน
ของผู้จัดการควรจะสูงกว่าที่ของพนักงาน
อย่างไรก็ตาม การส่งออกไม่ถูกต้องตั้งแต่
โปรแกรมนอกจากเงินเดือนมาด้วยไม่ บริษัท บี. เมื่อ
ผู้ใช้จำเช่นความผิด เขาคำนวณนามแฝง
อ้างอิงตัวแปร EMP ที่สาย 32 ในกระดาษนี้เราเรียก
เช่นเป้าหมายการแสดงออกของการวิเคราะห์ฉายาฉายาเกณฑ์
( หรือเพียงแค่เกณฑ์ ) และมีการระบุโดย tuple
< S , E > ซึ่งเป็นงบที่อยู่ในแหล่งโปรแกรมและ
E คือการแสดงออกที่เอส ในรูปเงาการแสดง
แสดงผลแทน < ใช้ EMP > EMP ที่บรรทัด
32 เป็นเกณฑ์ และยังเป็นนามแฝงนามแฝงตัวเอง ดังนั้น
เป็น boxed และเงา . เราสามารถเห็นเงาๆ
พวกสำนวน และสามารถระบุความผิดที่
นอกจากเงินเดือนงบประมาณบรรทัดที่ 24 โดยการปรับเปลี่ยนงบ
e.add เงินเดือน ( 200 ) เพื่อเพิ่มเงินเดือน ( 200 )
เส้น 24โปรแกรมจะคำนวณผลที่คาดหวังเป็น
แสดง” ( C )