• DocumentCode
    3087354
  • Title

    New Approach to Path Explosion Problem of Symbolic Execution

  • Author

    Xiao, Xu ; Zhang, Xiao-Song ; Li, Xiong-Da

  • Author_Institution
    Sch. of Comput. Sci. & Eng., Univ. of Electron. Sci. & Technol. of China, Chengdu, China
  • fYear
    2010
  • fDate
    17-19 Sept. 2010
  • Firstpage
    301
  • Lastpage
    304
  • Abstract
    This paper is dedicated to the study of Symbolic Execution and improves the core algorithm of it using Heuristic learning, search and Function Abstraction to effectively address the path explosion problem, which will trigger the vulnerabilities that the traditional method can not find and improve the efficiency, precision and accuracy of software vulnerability discovery.
  • Keywords
    program testing; security of data; software quality; function abstraction; heuristic learning; path explosion problem; software vulnerability discovery; symbolic execution; Algorithm design and analysis; Explosions; Heuristic algorithms; Security; Software; Software algorithms; Testing; Funtcion Abstraction; Heuristic learning and search; Path Explosion; Symbolic Execution;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Pervasive Computing Signal Processing and Applications (PCSPA), 2010 First International Conference on
  • Conference_Location
    Harbin
  • Print_ISBN
    978-1-4244-8043-2
  • Electronic_ISBN
    978-0-7695-4180-8
  • Type

    conf

  • DOI
    10.1109/PCSPA.2010.80
  • Filename
    5635841
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3087354