LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Last revision Both sides next revision
reachable_pushdown_configurations_are_regular [2011/05/24 14:21]
vkuncak
reachable_pushdown_configurations_are_regular [2011/05/24 14:22]
vkuncak
Line 42: Line 42:
  
 **Example application:​** **Example application:​**
-  ​Java stack inspection from security policies; accessing a local file system+  ​Java stack inspection from security policies; accessing a local file system ​for logging purposes