Analysing Switch-Case Tables by Partial Evaluation

Tracing the flow of control in code generated from  switch­case statements is difficult for static program  analysis   tools   when   the   code   contains   jumps   to  dynamically   computed   target   addresses.   Analytical 

• Type: Conference
• Year: 2007
• Where: WCET
• Authors: Niklas Holsti
• Keywords: Analysis  Tools,  Analytical Such as abstract interpretation using integer , To Dynamically  , WCET 2007, WCET 2008