search

mccoyst / tact

Tact automatically adds certain runtime checks to Java bytecode in class files.
0 stars 0 forks source link

Arrays #13

Closed mccoyst closed 12 years ago

mccoyst commented 12 years ago

They're very wrong.

  1. Loads aren't being checked.
  2. They aren't added to the ownership table when created.
  3. Ideally a @GuardedBy on an array field would work on the elements of the array, but Checker.guardBy() will have to do for now.

Item 3 is a much harder problem to solve, so this ticket is just for 1 & 2, which shouldn't be too hard and fulfill the minimum correctness requirement.