FlowSpec: declarative dataflow analysis specification.

Jeff Smits, Eelco Visser

Browse the full SLE paper archive.