-
Notifications
You must be signed in to change notification settings - Fork 1
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
Annotate shiviz log with failed invariant check
enhancementNew feature or requestNew feature or requestStatus: Open.#40 In ModelInference/dinv;Dump statements realtime timestamps
enhancementNew feature or requestNew feature or requestStatus: Open.#39 In ModelInference/dinv;InterProcedural dataflow analysis (package level)
enhancementNew feature or requestNew feature or requestStatus: Open.#35 In ModelInference/dinv;control flow conditionl logger
enhancementNew feature or requestNew feature or requestStatus: Open.#34 In ModelInference/dinv;use Pack() and Unpack() as anchors for dataflow analysis
enhancementNew feature or requestNew feature or requestStatus: Open.#33 In ModelInference/dinv;instrumenter.Initalize missing from client/server in helloDinv
enhancementNew feature or requestNew feature or requestStatus: Open.#30 In ModelInference/dinv;Documentation missing explanation of instrumenter.Initalize call
enhancementNew feature or requestNew feature or requestStatus: Open.#29 In ModelInference/dinv;Change command line usage at bottom of README to actual print-out
enhancementNew feature or requestNew feature or requestStatus: Open.#28 In ModelInference/dinv;Instrumentation of switch statements with control flow logger
bugSomething isn't workingSomething isn't workingStatus: Open.#16 In ModelInference/dinv;Instrumentation of for loops with control flow logger
enhancementNew feature or requestNew feature or requestStatus: Open.#15 In ModelInference/dinv;Insturment if statements with control flow logger
enhancementNew feature or requestNew feature or requestStatus: Open.#14 In ModelInference/dinv;Preform analysis on all dump statements within package
enhancementNew feature or requestNew feature or requestStatus: Open.#13 In ModelInference/dinv;