Captured data

• The instrumenter ensures that for each instrumented program point the values of all selected variables are written out

  • Locals, globals, parameters, return values can be selected

• Question: should variables with unchanged values be written out each time they are encountered?

  • Changes the number of samples and confidence in inferred invariants

Previous slide

Next slide

Back to first slide

View graphic version