| Files: |
Description |
File size |
Format |
| Fulltext |
|
PDF (requires Acrobat Reader) |
| Fulltext |
|
PostScript (requires a PostScript Reader) |
| |
|
| Authors: |
David Byers and Mariam Kamkar |
| Article title: |
A Hybrid Approach to Propagation Analysis |
| Conference: |
AADEBUG'97. Proceedings of the Third International Workshop
on Automatic Debugging: Linköping, Sweden, May 26-27, 1997 |
| Publ. type: |
Article |
| Article No: |
16 |
| Language: |
English |
| Abstract [en]: |
Propagation analysis is a dynamic code analysis
technique that can be used to quantitatively assess certain software
properties that are otherwise difficult to assess, such as
testability, safety and security. The currently accepted analysis
technique relies heavily on repeated execution of the code being
assessed, and is therefore very expensive to apply. We are currently
developing static analysis methods to assist in the dynamic
assessment. Our aim is to replace the most expensive parts of the
dynamic analysis technique with less expensive and nearly as accurate
static analysis techniques. This paper summarizes our ideas on how
this can be done. |
| PDF |
| Publisher: |
Linköping University Electronic Press |
| Year: |
1997 |
| Available: |
1997-09-10 |
| No. of pages: |
5 |
| Pages: |
193-197 |
| Series: |
Linköping Electronic Articles in Computer and Information Science |
| ISSN: |
1401-9841 |
| Volume: |
2 |
| No: |
009 |
| Series: |
Linköping Electronic Conference
Proceedings |
| ISSN (print): |
1650-3686 |
| ISSN (online): |
1650-3740 |
| Issue: |
1 |
REFERENCE TO THIS PAGE:
| Byers, David and Kamkar, Mariam (1997). A Hybrid Approach to Propagation Analysis in Linköping Electronic Articles in Computer and Information Science, Vol. 2, No. 009:16. http://www.ep.liu.se/ea/cis/1997/009/16/.
() |
|