kren1 / testSymExec

A framework for testing symbolic executors

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Guide

  • instrument_lib/ - Contains definition and different implementation of symbolising library.
  • scripts/ - Various scripts for running, compiling or instrumenting the experiemnts/code.
  • src2src/ - libTooling based project for source to source transformations

About

A framework for testing symbolic executors


Languages

Language:C 37.1%Language:Shell 31.0%Language:C++ 20.4%Language:Makefile 9.2%Language:Batchfile 1.3%Language:Python 0.9%