upnsa.blogg.se

Use case: building and running a Windows device driver Setting up a Windows development environment.Adding symbolic execution capabilities to KVM.Differences between actual KVM and KVM emulation.What do the various fields in run.stats mean?.How much time is the constraint solver taking to solve constraints?.Using the fork profile to debug path explosion.Debugging path explosion with the fork profiler.Exponential Analysis Speedup with State Merging.Analyzing large programs using concolic execution.Instrumenting function calls and returns.Copying files between the host and the guest.Communicating between the guest and S2E plugins.How does S2E record and compute coverage?.Code coverage during symbolic execution.Translating binaries to LLVM with Revgen.Control Flow Integrity Checking with S2E.Testing Error Recovery Code in Windows Drivers with Multi-Path Fault Injection.Creating a simple SystemTap script for symbolic execution.Analyzing trigger-based malware with S2E.Combining Kaitai Struct and S2E for analyzing parsers.Using S2E to generate PoVs for Linux, Windows, and CGC binaries.Function Calls with Symbolic Parameters.Identifying Advanced Vulnerability Patterns with S2E.Using Symbolic Execution to Generate PoVs.Understanding the Execution of a Vulnerable Program.

Automated Generation of Proofs of Vulnerability with S2E.Preparing the program for symbolic execution.Instrumenting Program Source Code for S2E.