Open AccessModeling of library functions in an industrial static code analyzer
Author(s) -
Михаил Владимирович Беляев,
Егор Сергеевич Романенков,
В. Н. Игнатьев
Publication year - 2020
Publication title -
trudy instituta sistemnogo programmirovaniâ ran/trudy instituta sistemnogo programmirovaniâ
Language(s) - English
Resource type - Journals
eISSN - 2220-6426
pISSN - 2079-8156
DOI - 10.15514/ispras-2020-32(3)-2
Subject(s) - computer science , container (type theory) , code (set theory) , source code , implementation , programming language , spectrum analyzer , engineering , mechanical engineering , telecommunications , set (abstract data type)