Suggested Topics within your search.
Showing 1 - 20 results of 77 for search '"Symbolic Execution"', query time: 2.07s Refine Results
  1. 1
    Static Analysis of Complex Loop Structures
    Subjects: “...symbolic execution...”
    Get full text
    Article
  2. 2
    On the Automatic Analysis of the Practical Resistance of Obfusting Transformations
    by Petr D. Borisov, Yu. V. Kosolapov
    Published 2019-09-01
    Subjects: “...symbolic execution...”
    Get full text
    Article
  3. 3
    Symvex : A Symbolic Execution System for Machine Code
    by Rönn, Mattias
    Published 2016
    Subjects: “...symbolic execution...”
    Get full text
    Others
  4. 4
    A Determined Algorithm of Code Analysis of Commodity Software
    Subjects: “...symbolic execution...”
    Get full text
    Article
  5. 5
    An empirical study of the influence of compiler optimizations on symbolic execution
    by Dong, Shiyu
    Published 2014
    Subjects: “...Symbolic execution...”
    Get full text
    Others
  6. 6
    Patch-Related Vulnerability Detection Based on Symbolic Execution
    Subjects: “...symbolic execution...”
    Get full text
    Article
  7. 7
    On Characteristics of Symbolic Execution in the Problem of Assessing the Quality of Obfuscating Transformations
    by Petr D. Borisov, Yury V. Kosolapov
    Published 2021-03-01
    Subjects: “...symbolic execution...”
    Get full text
    Article
  8. 8
    VERIFICATION OF DYNAMIC MEMORY ALLOCATORS BASED ON SYMBOLIC PROGRAM EXECUTION
    Subjects: “...symbolic execution...”
    Get full text
    Article
  9. 9
    From proof-of-concept to exploitable
    by Yan Wang, Wei Wu, Chao Zhang, Xinyu Xing, Xiaorui Gong, Wei Zou
    Published 2019-03-01
    Subjects: “...Symbolic execution...”
    Get full text
    Article
  10. 10
    Comparative analysis of two approaches to the static taint analysis
    Subjects: “...symbolic execution...”
    Get full text
    Article
  11. 11
    A Method of Analysis of Multithreaded Applications Based on Symbolic Execution
    Subjects: “...symbolic execution...”
    Get full text
    Article
  12. 12
    Compositional symbolic execution with memoized replay
    by Qiu, Rui, active 21st century
    Published 2014
    Subjects: “...Symbolic execution...”
    Get full text
    Others
  13. 13
    Verification of Cyber Physical Systems
    by Murali, Dilip Venkateswaran
    Published 2013
    Subjects: “...Symbolic Execution...”
    Get full text
    Others
  14. 14
    Partitioning Strategies to Enhance Symbolic Execution
    by Marcellino, Brendan Adrian
    Published 2017
    Subjects: “...Symbolic Execution...”
    Get full text
    Others
  15. 15
    Methods of Software Verification
    by R. E. Gurin, I. V. Rudakov, A. V. Rebrikov
    Published 2015-01-01
    Subjects: “...symbolic execution...”
    Get full text
    Article
  16. 16
    Kex: A platform for analysis of JVM programs
    by Abdullin, A.M, Itsykson, V.M
    Published 2022
    Subjects: “...symbolic execution...”
    View Fulltext in Publisher
    Article
  17. 17
    An Approach for Detecting Feasible Paths Based on Minimal SSA Representation and Symbolic Execution
    Subjects: “...symbolic execution...”
    Get full text
    Article
  18. 18
    Kex: A platform for analysis of JVM programs
    by Abdullin, A.M, Itsykson, V.M
    Published 2022
    Subjects: “...symbolic execution...”
    View Fulltext in Publisher
    Article
  19. 19
    Finding Data Races in Software Binaries with Symbolic Execution
    by Jackson, Nathan D.
    Published 2020
    Subjects: “...symbolic execution...”
    Get full text
  20. 20
    Fast and Safe Concrete Code Execution for Reinforcing Static Analysis and Verification
    by M. Belyaev, V. Itsykson
    Published 2015-12-01
    Subjects: “...symbolic execution...”
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search