DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Dynamic program analysis
Dynamic program analysis
Advanced Systems Security: Symbolic Execution
Opportunities and Open Problems for Static and Dynamic Program Analysis Mark Harman∗, Peter O’Hearn∗ ∗Facebook London and University College London, UK
The Art, Science, and Engineering of Fuzzing: a Survey
Static Program Analysis As a Fuzzing Aid
A Randomized Dynamic Program Analysis Technique for Detecting Real Deadlocks
Seminar on Program Analysis ECS 289C (Programming Languages and Compilers) Winter 2015 Preliminary Reading List
Decoupling Dynamic Program Analysis from Execution in Virtual Environments
Practical Concurrency Testing Or: How I Learned to Stop Worrying and Love the Exponential Explosion
Detecting PHP-Based Cross-Site Scripting Vulnerabilities Using Static Program Analysis
Introduction to Dynamic Program Analysis with Disl
Combining Static and Dynamic Program Analysis Techniques for Checking Relational Properties
Dynamic Tracing with Dtrace & Systemtap
Rapid Development of Flexible and Efficient Dynamic Program
Practical Concurrency Testing
Polymorphic Bytecode Instrumentation
Test Generation Using Symbolic Execution
Welcome to Software Analysis and Testing. in This Course, We Will Be Diving Deep Into the Theory and Practice of Software Analys
A Randomized Dynamic Program Analysis Technique for Detecting Real Deadlocks
Top View
Dynamic Program Analysis for Suggesting Test Improvements to Developers Oscar Vera-Pérez
Detecting PHP-Based Cross-Site Scripting Vulnerabilities Using Static Program Analysis
Testing Symbolic Execution Engines
Dynamic Binary Firmware Analysis : Challenges & Solutions Marius Muench
Automatic Algorithmic Complexity Determination Using Dynamic Program Analysis
Change-Aware Dynamic Program Analysis for Javascript
Exercise 2: Symbolic and Concolic Execution
Identifying Program Entropy Characteristics with Symbolic Execution
Hawkeye: Towards a Desired Directed Grey-Box Fuzzer
"Automated Security Analysis of Web Application Technologies"
Hash Map Inlining
Survey of Software Vulnerability Discovery Technology Wei Wang Information Engineering Department, Capital Normal University, Beijing, China
[email protected]
Challenges and Opportunities with Concolic Testing
Gerasimov Alexander Dynamic Program Analysis – Program Analysis While Execution Or Using Execution Results Dynamic Analysis: Applications
Finding the Needle in the Heap: Combining Static Analysis and ∗ Dynamic Symbolic Execution to Trigger Use-After-Free
Program Analysis As Machine Learning
Pending Constraints in Symbolic Execution for Better Exploration and Seeding
Fuzzing: a Survey Jun Li, Bodong Zhao and Chao Zhang*