| dc.identifier.uri | http://hdl.handle.net/1951/55410 | |
| dc.identifier.uri | http://hdl.handle.net/11401/70977 | |
| dc.description.sponsorship | This work is sponsored by the Stony Brook University Graduate School in compliance with the requirements for completion of degree. | en_US |
| dc.format | Monograph | |
| dc.format.medium | Electronic Resource | en_US |
| dc.language.iso | en_US | |
| dc.publisher | The Graduate School, Stony Brook University: Stony Brook, NY. | |
| dc.type | Thesis | |
| dcterms.abstract | As software grows in complexity, there is a need to check theruntime behavior of programs for potentially hazardous runtimestates, and take the appropriate action. The tracecut mechanism,which allows one to match sequences of runtime events against aproperty specification given as a regular expression, providesus with this functionality.In this thesis, we show how tracecut functionality can be appliedto C programs by making use of InterAspect, an aspect-orientedinstrumentation framework. InterAspect is a GCC compiler plug-inthat performs runtime instrumentation at the GIMPLE level, GCC'sintermediate representation. Our approach interprets a tracecutspecification given as a regular expression as a finite state machine,and generates the code needed to perform the state machine transitions.The utility of our approach is illustrated by two case studies, oneinvolving a tracecut for a simple data-source iterator, and the otherinvolving a tracecut specification of file open-close behavior. Thelatter tracecut is applied to the bzip2 file compression utility | |
| dcterms.available | 2012-05-15T18:02:58Z | |
| dcterms.available | 2015-04-24T14:45:23Z | |
| dcterms.contributor | Smolka, Scott A. | en_US |
| dcterms.contributor | . | en_US |
| dcterms.creator | Dixit, Ketan | |
| dcterms.dateAccepted | 2012-05-15T18:02:58Z | |
| dcterms.dateAccepted | 2015-04-24T14:45:23Z | |
| dcterms.dateSubmitted | 2012-05-15T18:02:58Z | |
| dcterms.dateSubmitted | 2015-04-24T14:45:23Z | |
| dcterms.description | Department of Computer Science | en_US |
| dcterms.format | Application/PDF | en_US |
| dcterms.format | Monograph | |
| dcterms.identifier | Dixit_grad.sunysb_0771M_10408.pdf | en_US |
| dcterms.identifier | http://hdl.handle.net/1951/55410 | |
| dcterms.identifier | http://hdl.handle.net/11401/70977 | |
| dcterms.issued | 2010-12-01 | |
| dcterms.language | en_US | |
| dcterms.provenance | Made available in DSpace on 2012-05-15T18:02:58Z (GMT). No. of bitstreams: 1
Dixit_grad.sunysb_0771M_10408.pdf: 175538 bytes, checksum: b2ef92d254d1172a747de313625f544c (MD5)
Previous issue date: 1 | en |
| dcterms.provenance | Made available in DSpace on 2015-04-24T14:45:23Z (GMT). No. of bitstreams: 3
Dixit_grad.sunysb_0771M_10408.pdf.jpg: 1894 bytes, checksum: a6009c46e6ec8251b348085684cba80d (MD5)
Dixit_grad.sunysb_0771M_10408.pdf.txt: 37742 bytes, checksum: ca7fd8caa34dde2bab0f2ac5e6bc1f8b (MD5)
Dixit_grad.sunysb_0771M_10408.pdf: 175538 bytes, checksum: b2ef92d254d1172a747de313625f544c (MD5)
Previous issue date: 1 | en |
| dcterms.publisher | The Graduate School, Stony Brook University: Stony Brook, NY. | |
| dcterms.subject | Computer Science | |
| dcterms.title | Implementing Tracecuts in the InterAspect Program Instrumentation Framework | |
| dcterms.type | Thesis | |
