Arrays/Pointers

• Lack of checking in C

  • Weak model
  • Huge source of bugs/security breaches

• Eliminate pointer arithmetic/unsafe casts

  • Simpler
  • More reliable
  • Interface integrity is key