Dynamic Dead Variable Analysis

• Main Author: Lewis, Micah S.
• Format: Others
• Published: BYU ScholarsArchive 2005
• Subjects: static analysis; model checking; abstraction; live variable analysis; dead variable analysis; verification; Computer Sciences
• Online Access: https://scholarsarchive.byu.edu/etd/639; https://scholarsarchive.byu.edu/cgi/viewcontent.cgi?article=1638&context=etd

Dynamic dead variable analysis (DDVA) extends traditional static dead variable analysis (SDVA) in the context of model checking through the use of run-time information. The analysis is run multiple times during the course of model checking to create a more precise set of dead variables. The DDVA is evaluated based on the amount of memory used to complete model checking relative to SDVA while considering the extra overhead required to implement DDVA. On several models with a complex control flow graph, DDVA reduces the amount of memory needed by 38-88MB compared to SDVA with a cost of 36 bytes of memory verhead. On several models with loops, DDVA achieved no additional reduction compared to SDVA while requiring no more memory than SDVA.