Responsible for this page: David Lawrence, davla@ep.liu.se
Page last updated: 2008-07-17
|
Content
| Files: | Description | File size | Format | |
| Fulltext | 393K | PDF (requires Acrobat Reader) | ||
| Fulltext | 224K | 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. | |||
| 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 | |||
| Checksum PDF: | 5366f37870aecb9b4d6914d8fda57645 /home/ep/www/ea/cis/1997/009/16/cis9700916.pdf (MD5) | |||
| Checksum PS: | dbb513396288a5f162e2ce437bf333fb /service/www-ep/docs/ea/cis/1997/009/16/cis9700916.ps (MD5) | |||
| PGP PDF: | PGP | |||
| PGP PS: | PGP | |||
| Old Checksum: | Checksum (PS) | Information about recalculation of Checksum | |||
| SPECIAL INFO: | Checksum, PGP and persistence | |||
REFERENCE TO THIS PAGE:
|
||||
Last updated: 2008-07-17