v0.1.3

• Added support to run symbolic execution on exe files for angr

v0.1.2

• Added support to run symbolic execution on executable files for Angr

v0.1.1

• Updated README
• Updated architecture diagram
• Fixed bytes to utf-8 decoding bug by replacing decode function with str

v0.1.0

Features:

• Generate sample c source code with activation codes and passwords based authentication using Tigress
• Compile c source files with different optimization levels using GCC and run it
• Compile c source files to bytecodes using Clang
• Run symbolic execution using Angr and Klee
• Generate analysis report of symbolic execution and run time