Modeling of library functions in an industrial static code analyzerстатья