Handling pointers and unstructured statements in the forward computed dynamic slice algorithm
Different program slicing methods are used for debugging, testing, reverse engineering and maintenance. Slicing algorithms can be classified as a static slicing or dynamic slicing type. In applications such as debugging the computation of dynamic slices is more preferable since it can produce more p...
Elmentve itt :
| Szerzők: | |
|---|---|
| Testületi szerző: | |
| Dokumentumtípus: | Cikk |
| Megjelent: |
2002
|
| Sorozat: | Acta cybernetica
15 No. 4 |
| Kulcsszavak: | Számítástechnika, Kibernetika |
| Tárgyszavak: | |
| Online Access: | http://acta.bibl.u-szeged.hu/12692 |
| LEADER | 01811nab a2200241 i 4500 | ||
|---|---|---|---|
| 001 | acta12692 | ||
| 005 | 20220614134059.0 | ||
| 008 | 161015s2002 hu o 0|| eng d | ||
| 022 | |a 0324-721X | ||
| 040 | |a SZTE Egyetemi Kiadványok Repozitórium |b hun | ||
| 041 | |a eng | ||
| 100 | 1 | |a Faragó Csaba | |
| 245 | 1 | 0 | |a Handling pointers and unstructured statements in the forward computed dynamic slice algorithm |h [elektronikus dokumentum] / |c Faragó Csaba |
| 260 | |c 2002 | ||
| 300 | |a 489-508 | ||
| 490 | 0 | |a Acta cybernetica |v 15 No. 4 | |
| 520 | 3 | |a Different program slicing methods are used for debugging, testing, reverse engineering and maintenance. Slicing algorithms can be classified as a static slicing or dynamic slicing type. In applications such as debugging the computation of dynamic slices is more preferable since it can produce more precise results. In a recent paper [5] a new so-called "forward computed dynamic slice" algorithm was introduced. It has the great advantage compared to other dynamic slice algorithms that the memory requirements of this algorithm are proportional to the number of different memory locations used by the program, which in most cases is much smaller than the size of the execution history. The execution time of the algorithm is linear in the size of the execution history. In this paper we introduce the handling of pointers and the jump statements (goto, break, continue) in the C language. | |
| 650 | 4 | |a Természettudományok | |
| 650 | 4 | |a Számítás- és információtudomány | |
| 695 | |a Számítástechnika, Kibernetika | ||
| 700 | 0 | 1 | |a Gergely Tamás |e aut |
| 710 | |a Finno-Ugoric Symposium on Programming Languages and Software Tools (7.) (2001) (Szeged) | ||
| 856 | 4 | 0 | |u http://acta.bibl.u-szeged.hu/12692/1/cybernetica_015_numb_004_489-508.pdf |z Dokumentum-elérés |