Browsing by Keyword "graph query language"

Now showing items 1-1 of 1

    • Exploring and enforcing security guarantees via program dependence graphs 

      Johnson, Andrew Arthur; Wayne, Lucas; Moore, Scott David; Chong, Stephen N (ACM Press, 2015)
      We present PIDGIN, a program analysis and understanding tool that enables the specification and enforcement of precise application-specific information security guarantees. PIDGIN also allows developers to interactively ...