Analyses only partially defined

[l-kent]

The eval methods in MemoryRegionValueSetAnalysis and MemoryRegionAnalysisMisc which are the basis of the value set analysis and memory region analysis, respectively, do not work for many possible inputs. They should ideally take a more complete approach to the IR instead of only covering a limited subset.

The method evaluateExpression which is heavily used by both analyses is also only defined for a very limited subset of operations in the IR. This causes src\test\correct\function1\clang to throw an exception when the analysis is run on it, for example, as the BVCONCAT operator is not supported.