Showing 1 - 5 results of 5 for search '"LLVM"', query time: 0.02s Refine Results
  1. 1
    Method of diversity software protection based on fusion compilation

    Method of diversity software protection based on fusion compilation by Xiaobing XIONG, Hui SHU, Fei KANG

    Published 2020-12-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Defect Detection: Combining Bounded Model Checking and Code Contracts

    Defect Detection: Combining Bounded Model Checking and Code Contracts by Marat Akhin, Mikhail Belyaev, Vladimir Itsykson

    Published 2013-12-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    The algorithm and implementation of an extension to LLVM for solving the blocking between instruction sink and division-modulo combine

    The algorithm and implementation of an extension to LLVM for solving the blocking between instruction sink and division-modulo combine by YungYu Zhuang, Ting-Wei Lin, Yin-Jung Huang

    Published 2023-12-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Profile-guided optimisation for indirect branches in a binary translator

    Profile-guided optimisation for indirect branches in a binary translator by Jyun-Siang Huang, Wuu Yang, Yi-Ping You

    Published 2022-12-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    Automatic C Program Verification Based on Mixed Axiomatic Semantics

    Automatic C Program Verification Based on Mixed Axiomatic Semantics by I. V. Maryasov, V. A. Nepomnyaschy, A. V. Promsky, D. A. Kondratyev

    Published 2013-12-01
    Subjects:
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: