Dave Bartolomeo 65360b23f9 C++: Change model API based on feedback ...

I've separated the model interface for memory side effects from the model for escaped addresses. It will be fairly common for a given model to extend both interfaces, but they are used for two different purposes.

I've also put each model interface and the non-member predicates that query it into a named module, which seemed cleaner than having predicates named `functionModelReadsMemory()` and `getFunctionModelParameterAliasBehavior()`.

2018-12-05 10:58:46 -08:00

..

config/suites

Merge branch 'master' into users/raulga/c6277

2018-10-12 15:59:54 -07:00

ql

C++: Change model API based on feedback

2018-12-05 10:58:46 -08:00