APROV: Another Program Verifier for Embedded Linux Device Drivers
- Title
- APROV: Another Program Verifier for Embedded Linux Device Drivers
- Author
- 이욱세
- Keywords
- Backward error-tracing; Device driver; Program verification; Shape analysis; Static analysis
- Issue Date
- 2008-02
- Publisher
- IEEE
- Citation
- 2008 10th International Conference on Advanced Communication Technology, Page. 105-109
- 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.
- URI
- https://ieeexplore.ieee.org/document/4493722https://repository.hanyang.ac.kr/handle/20.500.11754/104325
- ISSN
- 1738-9445
- DOI
- 10.1109/ICACT.2008.4493722
- Appears in Collections:
- COLLEGE OF ENGINEERING SCIENCES[E](공학대학) > COMPUTER SCIENCE AND ENGINEERING(컴퓨터공학과) > Articles
- Files in This Item:
There are no files associated with this item.
- Export
- RIS (EndNote)
- XLS (Excel)
- XML