From skimming the papers briefly* it looks it's finding errors in policy-scoping and other violations outside of expected permission branches.
The thesis isn't linked on the site but I found it here [0] http://www.cs.berkeley.edu/~jnear/ [1] https://dspace.mit.edu/handle/1721.1/99841