Issues

• waiting for port connection, then shows illegal instruction

  SVL-PSU/crete-dev#49 · Filter by author TR174 opened on Dec 19, 2019
  8

• waiting for port connection

  SVL-PSU/crete-dev#48 · Filter by author priyangavij opened on Oct 12, 2019
  12

• Allow symbolic files of size 0

  enhancement
  SVL-PSU/crete-dev#46 · Filter by author moralismercatus opened on Jun 1, 2018

• What is the purpose of taint engine vreg blacklist?

  question
  SVL-PSU/crete-dev#45 · Filter by author moralismercatus opened on May 22, 2018

• Assertion "a non-cond-br tb contains conditional branch" failed

  SVL-PSU/crete-dev#43 · Filter by author moralismercatus opened on Mar 1, 2018
  1

  

• Support symbolic files with symbolic size

  enhancement
  SVL-PSU/crete-dev#42 · Filter by author likebreath opened on Feb 23, 2018
  13

  

• Improve README for recent updates

  docenhancement
  SVL-PSU/crete-dev#40 · Filter by author likebreath opened on Nov 27, 2017

• Handle trace translation fails in VMNodeFSM

  enhancement
  SVL-PSU/crete-dev#39 · Filter by author likebreath opened on Nov 27, 2017
  

• crete-tc-compare -b returns nonzero sometimes if test-case folder is empty

  buglow
  SVL-PSU/crete-dev#37 · Filter by author moralismercatus opened on Oct 5, 2017

• Node is unnecessarily locked during transmission of trace to Dispatch

  enhancementlow
  SVL-PSU/crete-dev#36 · Filter by author moralismercatus opened on Sep 26, 2017
  4

• VMNode deadloops when QEMU fails to start

  bug
  SVL-PSU/crete-dev#30 · Filter by author moralismercatus opened on Jun 15, 2017

• Use full Boost libs for guest for simplicity

  enhancementlow
  SVL-PSU/crete-dev#29 · Filter by author moralismercatus opened on May 22, 2017

• crete-svm-node does not refer to correct klee name

  bug
  SVL-PSU/crete-dev#28 · Filter by author moralismercatus opened on May 19, 2017

• Guest data is unconditionally sent from crete-run to crete-vm-node

  bug
  SVL-PSU/crete-dev#27 · Filter by author moralismercatus opened on May 8, 2017
  2

• NodeDriver threads' contention over member node_ causes starvation

  bugenhancement
  SVL-PSU/crete-dev#23 · Filter by author moralismercatus opened on Apr 10, 2017
  1

• Dispatch FSM Segfaults when no items listed for testing in distributed mode

  bug
  SVL-PSU/crete-dev#22 · Filter by author moralismercatus opened on Mar 17, 2017

• Improve utilities command line interfaces

  enhancementlow
  SVL-PSU/crete-dev#21 · Filter by author moralismercatus opened on Feb 24, 2017

• Dispatch timer runs while VM image is being copied

  enhancement
  SVL-PSU/crete-dev#20 · Filter by author likebreath opened on Feb 24, 2017
  

• Use binary serialization for communication to improve efficiency

  enhancement
  SVL-PSU/crete-dev#19 · Filter by author likebreath opened on Feb 21, 2017
  3

  

• [vm-node] Deadlock happened while resetting

  bug
  SVL-PSU/crete-dev#18 · Filter by author likebreath opened on Feb 20, 2017
  2

  

• Make status report from crete-dispatch optional

  enhancementlow
  SVL-PSU/crete-dev#16 · Filter by author moralismercatus opened on Jan 26, 2017

• Ensure vm-node to crete-run port file is not reused

  bug
  SVL-PSU/crete-dev#12 · Filter by author moralismercatus opened on Dec 22, 2016

• Redirect guest output to host

  enhancement
  SVL-PSU/crete-dev#11 · Filter by author moralismercatus opened on Dec 6, 2016
  3

• [qemu/vm-node] QEMU does not terminate when parent vm-node terminates

  bugenhancement
  SVL-PSU/crete-dev#9 · Filter by author moralismercatus opened on Dec 1, 2016

• Remove recommendation for avoiding -j when building CRETE

  doc
  SVL-PSU/crete-dev#8 · Filter by author moralismercatus opened on Dec 1, 2016
  1