search

mccoyst / tact

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

Determine How to Deal With JDK Globals #1

Closed mccoyst closed 12 years ago

mccoyst commented 12 years ago

For example, System.out. The default ownership strategies would be a pain.

mccoyst commented 12 years ago

The default ownership actually hasn't caused problems with the files example at all, so consider it determined.

mccoyst commented 12 years ago

Oops, this only worked because getfield instructions weren't checked (and I was never trying to set, e.g. System.out). After actually encountering this and thinking about it, the solution has to be adding a method(s) such as guardBy(Class<?>, Object) to Checker.