When we encounter instructions without instruction semantics, we should stop jump...
authorXiaozhu Meng <xmeng@cs.wisc.edu>
Fri, 11 Nov 2016 16:17:20 +0000 (10:17 -0600)
committerXiaozhu Meng <xmeng@cs.wisc.edu>
Fri, 11 Nov 2016 16:17:20 +0000 (10:17 -0600)
commit25119c1f2437e542e0f645a28dd4eb9054d780a2
treed9ccc68a1db1b096b4521ea17cca48f1744bff3f
parent9b12e48006423dd77ddd764445cdf32efa7fba7b
When we encounter instructions without instruction semantics, we should stop jump table analyis.
In such case, if the missing instruction is key to the jump table analysis, we will not be able to
resolve it. If the missing instruction is not relevant to the jump table analysis, the slicing
is including unnecessary instruction. In either case, we should fix things.
parseAPI/src/JumpTablePred.C
parseAPI/src/JumpTablePred.h