dg Increase the supported standard functions

There are a lot of functions like strtod, atof, atoi, etc which use or define pointers of arguments. dg already has supported memcpy series, so do you have a plan to support such standard functions or to prepare mechanism to ease in order to increase such functions ? i

Feb 05 '18 01:02 hotpeperoncino

At this moment, I have no plan on extending support for functions from the standard library. However, it may change. Can you be more concrete where are you missing this support? Or how you imagine a mechanism for making such support easy? (Actually, I have been thinking about some declarative description of effects of undefined functions that could be defined by a user, but never had time to implement that).

Feb 05 '18 10:02 mchalupa

We have moved here towards the declarative description of external functions. Could you post here a bit more details about the features that you are missing (what and how would you like to see be modelled). Thanks

Dec 13 '18 18:12 mchalupa

Byt the way, reaching definitions analysis now supports custom modelling of functions, check e.g. https://github.com/mchalupa/dg/blob/master/include/dg/llvm/analysis/ReachingDefinitions/LLVMReachingDefinitionsAnalysisOptions.h#L27

May 27 '19 15:05 mchalupa