CodeQL library for Python
codeql/python-all 0.6.4 (changelog, source)
Search

Module SuperlinearBackTracking

DEPRECATED. Import semmle.python.security.regexp.SuperlinearBackTracking instead.

Import path

import semmle.python.security.performance.SuperlinearBackTracking

Imports

Dep

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 Programs that use Regular Expressions (Extended Version). (https://arxiv.org/pdf/1701.04045.pdf)

Aliases

Dep

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 Programs that use Regular Expressions (Extended Version). (https://arxiv.org/pdf/1701.04045.pdf)