search

cadets / loom

The LOOM IR instrumentation framework
Other
19 stars 4 forks source link

Structure field access #3

Closed trombonehero closed 8 years ago

trombonehero commented 8 years ago

LOOM should be able to instrument all accesses (reads and write) to structure fields, at least when software is playing by the rules of the type. Ideally we'd be able to track pointers to such fields using escape analysis and information flow propagation techniques from SOAAP, but at the very least, we should warn when "the rules" are broken.

There may be implications here for policy descriptions (including the PolicyFile class).

trombonehero commented 8 years ago

Instrumentation implemented by https://github.com/cadets/loom/commit/03cf67bd6fd793d230647234d27a140bfebcc73b and policy parts added by https://github.com/cadets/loom/commit/7e8cb105e6cd0b528982e3bf48190a0798ec3bba. Currently no warnings about accessing a structure via not-the-type.

trombonehero commented 8 years ago

We switched to name-based instrumentation with 458dd727817fcfc3b78660eeae2be1336d331da0.