Subject: software quality -- static analysis -- abstract memory model -- memory object -- defect detects - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Subject software quality -- static analysis -- abstract memory model -- memory object -- defect detects

1. A sound abstract memory model for static analysis of C programs. (2018)

Authors:: Dong, Yukun
Journal:: International journal of computational science and engineering
Issue:: Volume 16:Number 3(2018)
Page Start:: 255
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗