Sciweavers

WCET
2007
13 years 4 months ago
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 Â...
Niklas Holsti