Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | 이욱세 | - |
dc.date.accessioned | 2019-05-16T05:21:16Z | - |
dc.date.available | 2019-05-16T05:21:16Z | - |
dc.date.issued | 2008-02 | - |
dc.identifier.citation | 2008 10th International Conference on Advanced Communication Technology, Page. 105-109 | en_US |
dc.identifier.issn | 1738-9445 | - |
dc.identifier.uri | https://ieeexplore.ieee.org/document/4493722 | - |
dc.identifier.uri | https://repository.hanyang.ac.kr/handle/20.500.11754/104325 | - |
dc.description.abstract | We devise an automatic verification tool for embedded Linux driver source code. Our tool can verify whether a device driver is correctly implemented without violating API usage rules, causing pointer errors, and leaking memory. The verification engine uses a lightweight version of shape analysis and an abstract interpretation on integer values. For debugging errors which the verifier finds out, we devise an error tracking engine which accurately points out the possible sources of errors. Our verifier and error tracer are embedded into our integrated development environment for embedded Linux device drivers as an eclipse plug-in. | en_US |
dc.language.iso | en_US | en_US |
dc.publisher | IEEE | en_US |
dc.subject | Backward error-tracing | en_US |
dc.subject | Device driver | en_US |
dc.subject | Program verification | en_US |
dc.subject | Shape analysis | en_US |
dc.subject | Static analysis | en_US |
dc.title | APROV: Another Program Verifier for Embedded Linux Device Drivers | en_US |
dc.type | Article | en_US |
dc.identifier.doi | 10.1109/ICACT.2008.4493722 | - |
dc.contributor.googleauthor | Lee, Oukseh | - |
dc.contributor.googleauthor | Jung, Seung-Cheol | - |
dc.contributor.googleauthor | Ahn, Hyo-Cheon | - |
dc.contributor.googleauthor | Kim, Taeho | - |
dc.sector.campus | E | - |
dc.sector.daehak | COLLEGE OF ENGINEERING SCIENCES[E] | - |
dc.sector.department | DEPARTMENT OF COMPUTER SCIENCE AND ENGINEERING | - |
dc.identifier.pid | oukseh | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.