Sahara云大数据>> symbv>> 返回
项目作者： sach1t

项目描述 ：
Validating changes using concolic execution
高级语言： Java
项目地址: git://github.com/sach1t/symbv.git
创建时间： 2018-02-26T06:25:23Z
项目社区：https://github.com/sach1t/symbv
开源协议：
下载


Symbv

Validating Code Changes Using Symbolic Execution

Notes

Report

Requirements

Installation

  • ant clean
  • ant bootstrap
  • ant resolve
  • ant build

Usage

To run any of the examples (or another project on a separate directory in the examples directory) you could use the
shell script provided:

  1. # Apply patches and generate Symbv tests
  2. ./bin/symbv example_name gen
  4. # Compile everything
  5. ant build
  7. # Concolic/Symbolic execution
  8. ./bin/symbv example_name symbv

The last command could be replaced by two other options (for prune optimization or full symbolic execution):

  1. # Prune Optimization
  2. ./bin/symbv example_name prune
  4. # Symbolic execution
  5. ./bin/symbv example_name symbolic

Development Info

Tasks

  • Run ant bootstrap - boostraps ivy install
  • Run ant resolve - downloads the dependencies and places them in the lib directory
  • Run ant build - builds the project
  • Run ant test - runs test cases

Adding Dependencies

  1. Add dependency to ivy.xml
  2. Run ant resolve
  3. Add new jars to .classpath under the 3rd party jars section (this could be useful: cd lib; for f in *.jar; do echo "<classpathentry kind=\"lib\" path=\"lib/$f\"></classpathentry>"; done)