Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 19, 2017

• Update README.md

  zhechkoz

  authored
  6e2e23a

  Copy full SHA for 6e2e23a

• creates README.md and adds a gitignore file

  zhechkoz

  committed
  f44dd6f

  Copy full SHA for f44dd6f

• refactors folder hierarchy

  zhechkoz

  committed
  7479dc8

  Copy full SHA for 7479dc8

Commits on Aug 16, 2017

• updates JSON parsing to use CharReaderBuilder

  zhechkoz

  committed
  c2a44fd

  Copy full SHA for c2a44fd

Commits on Jul 24, 2017

• resolves segmentation fault when no test cases generated for function in phase3

  zhechkoz

  committed
  7c4827b

  Copy full SHA for 7c4827b

Commits on Jul 16, 2017

• reformats code

  zhechkoz

  committed
  1a9b7d8

  Copy full SHA for 1a9b7d8

Commits on Jul 15, 2017

• updates default protection tools

  zhechkoz

  committed
  81f0007

  Copy full SHA for 81f0007

• prepares files for Docker container

  zhechkoz

  committed
  6dbf153

  Copy full SHA for 6dbf153

Commits on Jul 13, 2017

• updates phase6 Dockerfile dependencies, improves performance of phase3 and adopts default CFI tool

  zhechkoz

  committed
  529d91e

  Copy full SHA for 529d91e

• fixes segmentation fault in phase3 backtrace

  zhechkoz

  committed
  e3fa3fd

  Copy full SHA for e3fa3fd

Commits on Jul 10, 2017

• fixes bug with static functions in phase3

  zhechkoz

  committed
  5637de7

  Copy full SHA for 5637de7

Commits on Jul 9, 2017

• changes formatting of json config file for phase3

  zhechkoz

  committed
  6fc22b1

  Copy full SHA for 6fc22b1

Commits on Jul 8, 2017

• refactors code and fixes bugs in phase2 and phase3

  zhechkoz

  committed
  fecf86b

  Copy full SHA for fecf86b

• phase3 works with multiple files

  zhechkoz

  committed
  27c8e94

  Copy full SHA for 27c8e94

Commits on Jul 5, 2017

• refactors code in all phases

  zhechkoz

  committed
  636f386

  Copy full SHA for 636f386

Commits on Jun 12, 2017

• adds results for jump over guards

  zhechkoz

  committed
  5c5eb7b

  Copy full SHA for 5c5eb7b

Commits on Jun 8, 2017

• deletes some more spaces and refactors a pattern match

  zhechkoz

  committed
  d1c4edb

  Copy full SHA for d1c4edb

• Added comments to the pass and formated the code a bit

  johanneszi

  committed
  12f7c41

  Copy full SHA for 12f7c41

Commits on Jun 7, 2017

• adds results

  zhechkoz

  committed
  6400030

  Copy full SHA for 6400030

• refactors Dockerfile

  zhechkoz

  committed
  49f1a69

  Copy full SHA for 49f1a69

• improves shell script to parse json input and prepares files for Docker container

  zhechkoz

  committed
  d150697

  Copy full SHA for d150697

Commits on Jun 6, 2017

• adds error handling when necessary input files does not exist

  zhechkoz

  committed
  0dfafb9

  Copy full SHA for 0dfafb9

• refactors choosing of function calls

  zhechkoz

  committed
  1535510

  Copy full SHA for 1535510

• Changed the Dockerfile with jsoncpp ...

  johanneszi

  committed
  647fb28

  Copy full SHA for 647fb28

• fixes bug with string test cases

  zhechkoz

  committed
  81eb07b

  Copy full SHA for 81eb07b

Commits on Jun 5, 2017

• resolves bug when attempting to parse short and long in klee output ==!!== Strings cannot be parsed properly ==!!==

  zhechkoz

  committed
  e514536

  Copy full SHA for e514536

• refactors code and allows input to pass

  zhechkoz

  committed
  b2e4e86

  Copy full SHA for b2e4e86

• inserts checkers for all test cases and solves random generation bug

  zhechkoz

  committed
  574535e

  Copy full SHA for 574535e

Commits on Jun 3, 2017

• implements inserting checks and proper report function

  zhechkoz

  committed
  4e016c1

  Copy full SHA for 4e016c1

• implements inserting of checkers

  zhechkoz

  committed
  db46ff7

  Copy full SHA for db46ff7

Commits on Jun 2, 2017

• starts implementing StateProtectorPass, adds json output to klee input output

  zhechkoz

  committed
  33cbf80

  Copy full SHA for 33cbf80

Commits on Jun 1, 2017

• fixes llvm-3.9 input parameters for pass

  zhechkoz

  committed
  2d21b99

  Copy full SHA for 2d21b99

• stins4llvm initial commit

  zhechkoz

  committed
  c75e382

  Copy full SHA for c75e382

Commits on May 30, 2017

• adds phase3 Dockerfile

  zhechkoz

  committed
  2f01405

  Copy full SHA for 2f01405