Issues

• Annotate shiviz log with failed invariant check

  enhancement
  ModelInference/dinv#40 · Filter by author bestchai opened on May 26, 2020

• Dump statements realtime timestamps

  enhancement
  ModelInference/dinv#39 · Filter by author bestchai opened on May 26, 2020

• InterProcedural dataflow analysis (package level)

  enhancement
  ModelInference/dinv#35 · Filter by author bestchai opened on May 26, 2020

• control flow conditionl logger

  enhancement
  ModelInference/dinv#34 · Filter by author bestchai opened on May 26, 2020

• use Pack() and Unpack() as anchors for dataflow analysis

  enhancement
  ModelInference/dinv#33 · Filter by author bestchai opened on May 26, 2020

• instrumenter.Initalize missing from client/server in helloDinv

  enhancement
  ModelInference/dinv#30 · Filter by author bestchai opened on May 26, 2020

• Documentation missing explanation of instrumenter.Initalize call

  enhancement
  ModelInference/dinv#29 · Filter by author bestchai opened on May 26, 2020

• Change command line usage at bottom of README to actual print-out

  enhancement
  ModelInference/dinv#28 · Filter by author bestchai opened on May 26, 2020

• Instrumentation of switch statements with control flow logger

  bug
  ModelInference/dinv#16 · Filter by author bestchai opened on May 26, 2020

• Instrumentation of for loops with control flow logger

  enhancement
  ModelInference/dinv#15 · Filter by author bestchai opened on May 26, 2020

• Insturment if statements with control flow logger

  enhancement
  ModelInference/dinv#14 · Filter by author bestchai opened on May 26, 2020

• Preform analysis on all dump statements within package

  enhancement
  ModelInference/dinv#13 · Filter by author bestchai opened on May 26, 2020

• Dinv directory instrumentation doesn't work

  bug
  ModelInference/dinv#2 · Filter by author bestchai opened on May 26, 2020

• Add detected invariants to shiviz log

  enhancement
  ModelInference/dinv#1 · Filter by author bestchai opened on May 26, 2020