Tutorials and examples

From Practical Software Verification

Jump to: navigation, search

This page contains usage examples of some of the libraries and tools in the Open source projects section.

To-do:

  • MiniSat API
  • Valgrind
  • STP API
  • LLVM
  • ERESI libraries

Tutorials

STP command line interface

Examples

DynamoRIO based syscall result fuzzer

Other

Some notes on C++ clients for DynamoRIO

Retrieved from "http://www.unprotectedhex.com/psv/index.php/Tutorials_and_examples"