But

• The tool requires significant infrastructure

  • Abstract syntax trees, control flow graphs, program dependence graphs, etc.

• The technology OK for small programs

  • Downstream testing isn’t needed
  • No searching is needed

• But it does not scale in terms of either computation size or space

Previous slide

Next slide

Back to first slide

View graphic version