symbolic execution - Globe Thesis

Keyword [symbolic execution] Result: 161 - 180 \| Page: 9 of 10
161.	Research On Memory Vulnerability Mining For Lightweight Io T Device Firmware
162.	Research On Use-After-Free Vulnerability Mining Technology For Binary Programs
163.	Ruby Symbolic Execution Based Network Attack Traffic Extraction From Metasploit
164.	Symbolic Execution Based Method To Bypass Sandbox Evasion Techniques Used By APT
165.	Research On Detection And Mining Methods Of UAF Vulnerability Based On Fine-grained Memory Permission Management
166.	Research On Dynamic Detection Method Of Control Flow Hijacking Attack
167.	Automated Security Audit Of Smart Contract Based On Symbolic Execution
168.	Research On Constraint Optimization Based On Piecewise Dynamic Symbolic Execution
169.	Research On Symbol Execution Coverage Optimization Technology
170.	The Design And Implementation Of The Frontend Of Global Optimization Framework For Numerical Programs
171.	Generation And Application Of Functional Constraint Based On API Documentation
172.	Context-oriented Android Application Behavior Analysis And Presentation Technology Research
173.	Differential symbolic execution
174.	Symbolic execution algorithms for test generation
175.	Symbolic execution for testing complex software
176.	Framework synthesis for symbolic execution of event-driven frameworks
177.	A Critic for API Client Code using Symbolic Execution
178.	Computation improves interactive symbolic execution
179.	Context and Precondition-Guided Search strategies in dynamic symbolic execution
180.	Practical symbolic execution analysis and methodology for GPU programs
<<First <Prev Next> Last>> Jump to