Login / Signup

Symbolic bounds analysis of pointers, array indices, and accessed memory regions.

Radu RuginaMartin C. Rinard
Published in: PLDI (2000)
Keyphrases
  • high level
  • database
  • genetic algorithm
  • case study
  • image sequences
  • lower bound
  • operating system