User Study project for my Master thesis with title "Extending FluentTQL: Specifying Taint Flows through a DSL", found in the following GitHub repository.
It contains two demo projects and another project which has specifications in the FluentTQL DSL.