make the top-level comment in SuperlinearBackTracking.qll a QLDoc

This commit is contained in:
erik-krogh
2022-11-15 11:46:44 +01:00
parent b59a9bc95c
commit dff7b475fb

View File

@@ -1,4 +1,4 @@
/*
/**
* This module implements the analysis described in the paper:
* Valentin Wustholz, Oswaldo Olivo, Marijn J. H. Heule, and Isil Dillig:
* Static Detection of DoS Vulnerabilities in