Showing 1 - 3 results of 3 for search '"static program analysis"', query time: 0.04s Refine Results
  1. 1
    Random Model Sampling: Making Craig Interpolation Work When It Should Not

    Random Model Sampling: Making Craig Interpolation Work When It Should Not by Marat Akhin, Sam Kolton, Vladimir Itsykson

    Published 2014-12-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    LLVM-based Static Analysis Tool Using Type and Effect Systems

    LLVM-based Static Analysis Tool Using Type and Effect Systems by M. A. Belyaev, V. A. Tsesko

    Published 2011-12-01
    Subjects: “…static program analysis…”
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Survey on automated vulnerability mining techniques for IoT device firmware

    Survey on automated vulnerability mining techniques for IoT device firmware by LIU Hangtian, GAN Shuitao, ZHANG Chao, ZHANG Hongqi, SUN Wenhou, GAO Zicong, ZHAO Min, BAI Xue

    Published 2025-04-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: