К вопросу о выявлении возможных переполнений буферов посредством статического анализа исходного кода программстатья