<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.3 20210610//EN" "https://jats.nlm.nih.gov/publishing/1.3/JATS-journalpublishing1-3.dtd">
<article article-type="research-article" dtd-version="1.3" xml:lang="ru">
  <front xmlns:xlink="http://www.w3.org/1999/xlink">
    <journal-meta>
      <journal-id journal-id-type="elibrary">9004</journal-id>
      <journal-title-group>
        <journal-title>Problems of information security. Computer systems</journal-title>
        <trans-title-group xml:lang="ru">
          <trans-title>Проблемы информационной безопасности. Компьютерные системы</trans-title>
        </trans-title-group>
      </journal-title-group>
      <issn pub-type="epub">2071-8217</issn>
    </journal-meta>
    <article-meta xmlns:xlink="http://www.w3.org/1999/xlink">
      <article-id pub-id-type="publisher-id">12</article-id>
      <article-id pub-id-type="doi">10.48612/jisp/39tp-t61k-29uv</article-id>
      <title-group>
        <article-title>A method for finding errors in program code based on inmemory fuzzing</article-title>
        <trans-title-group xml:lang="ru">
          <trans-title>Метод поиска ошибок в программном коде на базе фаззинга «в памяти»</trans-title>
        </trans-title-group>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <contrib-id contrib-id-type="orcid">0009-0007-4911-8471</contrib-id>
          <name>
            <surname>Samarin</surname>
            <given-names>Nikolay</given-names>
          </name>
          <xref ref-type="aff" rid="aff1"/>
          <email>samarin_nik@mail.ru</email>
        </contrib>
      </contrib-group>
      <aff id="aff1">Research Institute «Kvant»</aff>
      <pub-date publication-format="electronic" date-type="pub" iso-8601-date="2024-06-20">
        <day>20</day>
        <month>06</month>
        <year>2024</year>
      </pub-date>
      <issue>2</issue>
      <fpage>130</fpage>
      <lpage>137</lpage>
      <self-uri xmlns:xlink="http://www.w3.org/1999/xlink" content-type="pdf" xlink:href="https://jisp.spbstu.ru/userfiles/files/soderzhaniya/2024_2_rus.pdf"/>
      <abstract xml:lang="en">
        <p>The paper proposes a method of searching for errors in software based on “in-memory” code phasing. Within the framework of the method, special fragments called “points” are selected in the software code, and these “points” are subjected to phasing testing in isolation from the rest of the program code. A practical example of using the method is presented, as a result of which a memory corruption error was detected in the code</p>
      </abstract>
      <kwd-group xml:lang="en">
        <kwd>information security</kwd>
        <kwd>software</kwd>
        <kwd>error detection</kwd>
        <kwd>mathematical modelling</kwd>
        <kwd>symbolic execution</kwd>
        <kwd>fuzzing</kwd>
      </kwd-group>
    </article-meta>
  </front>
</article>
