CRAXfuzz: Target-Aware Symbolic Fuzz Testing

Keyphrases

• Vulnerability 100%
• Symbolic Execution 100%
• Fuzz Testing 100%
• Target-aware 100%
• Buffer Overflow 50%
• Testing Method 50%
• Crash 50%
• Whole Systems 50%
• Software Testing 50%
• Testing Framework 50%
• Software Quality 50%
• Software Vulnerability 50%
• Software System 50%
• Code Coverage 50%
• Security Threats 50%
• Execution Engine 50%
• Security Vulnerabilities 50%
• Recent Techniques 50%
• Quality Maintenance 50%
• Mplayer 50%
• Format String 50%
• Security-sensitive Function 50%
• Injection Flaws 50%
• Printf 50%
• Integer Overflow 50%
• Triage Process 50%
• Command Injection 50%
• Fuzzer 50%
• Malloc 50%

Computer Science

• Symbolic Execution 100%
• Fuzz Testing 100%
• Sensitive Function 50%
• Buffer Overflow 50%
• Software Testing 50%
• quality of software 50%
• Software Systems 50%
• Execution Engine 50%
• Security Vulnerability 50%
• Integer Overflow 50%
• Fuzzers 50%