Pointer experiment

• Data structures from Weiss’s Data Structures and Algorithm Analysis in Java

• Identified goal invariants by reading book

• Added linearization and data splitting to Daikon

• Results

  • 90-100% of goal invariants
  • few extraneous invariants

Previous slide

Next slide

Back to first slide

View graphic version