Results (2)

  • Shape refinement through explicit heap analysis
    Conference paper
  • Checking memory safety with BLAST
    Conference paper