Based on the binary code of the dynamic symbolic execution tool

Abstract

Related Dissertations

1. Based on dynamic symbolic execution of code analysis tools for research,TP309
2. Research on Dynamic Generation of Fuzzing Test Cases Based on Symbolic Execution,TP393.08
3. Research on Momery Model for Symbolic Execution,TP333.1
4. Analysis and Testing of Web Services Choreography Description Language,TP393.09
5. The Research of Partitioned Symbolic Execution Model and Its Environment Interaction Problem,TP311.11
6. The Study of Theory and Technology of Testing Using TTCN-3,TP311.52
7. Incremental Detection Method for Memory Access Overrun in Multi-loop Programs,TP311.53
8. Path symbolic execution - based data analysis,TP311.13
9. A Program Verification and Testing Tool Based on Symbolic Execution and Constraint Solving,TP311.1
10. Analysis of Control Flow Based on Binary Executable,TP309
11. VM-based information extraction and analysis of the key,TP316.7
12. Design and Implementation of malicious code dynamic binary analysis platform,TP393.08
13. Binary code security analysis,TP311.1
14. Demand-driven Automated Test Generation for Software Security Defects,TP311.52
15. Automated Loop Invariant Generation for Program Verification,TP311.11
16. Cement Soil Strength Properties,TU525
17. Vulnerability analysis software based on symbolic execution,TP311.53
18. Research and Implementation of Symbolic Execution Technology for Host-Oriented Embedded Software,TP311.52
19. Parallel Dynamic Test Generation,TP311.52
20. Research on Path Space Reduction in Automated Unit Test,TP311.52