Test local

Fonctionne uniquement sous Linux. Sous Windows, l'une des dépendances peut provoquer une erreur.

Avant l'exécution, vous devez installer les paquets suivants :

pip install -r requirements.txt

Vérifier que les paquets sont installés

python -m django --version  # pip install django==4.0.1
grammarinator-generate --version  # pip install git+https://github.com/renatahodovan/grammarinator.git#egg=grammarinator

Préparer le fuzzer

touch grammars/fuzzer/HTMLGenerator.py  # Создаём пустой файл, который будет наполнен генератом
grammarinator-process grammars/HTMLLexer.g4 grammars/HTMLParser.g4 -o grammars/fuzzer  # Заполнение файла

Lancer le fuzzer

python runfuzz.py

Erreur

Il faudra patcher un fichier de django, car il peut provoquer une erreur du moteur de template, ce qui arrêtera le processus de fuzzing :

--- /home/alex/.local/lib/python3.9/site-packages/django/template/defaultfilters.py     2023-04-26 12:47:44.387239988 +0300
+++ /home/alex/.local/lib/python3.9/site-packages/django/template/defaultfilters-fixed.py       2023-04-26 12:47:33.931039539 +0300
@@ -613,7 +613,10 @@
 @register.filter(is_safe=True)
 def random(value):
     """Return a random item from the list."""
-    return random_module.choice(value)
+    try:
+        return random_module.choice(value)
+    except IndexError:
+        return ''
 
 
 @register.filter("slice", is_safe=True)

Si vous utilisez venv, le chemin peut être le suivant : venv/lib/python3.9/site-packages/django/template/defaultfilters.py

Si vous avez installé les paquets dans le système, le chemin : $HOME/.local/lib/python3.9/site-packages/django/template/defaultfilters.py

Il faut ouvrir le fichier, trouver la définition de la balise random et l'entourer d'un bloc try-catch.

Si ce n'est pas fait, le fuzzer terminera son travail lorsqu'il rencontrera ce bug.

Benchmark

Nombre de tests requis pour trouver un bug

Bug	Fuzzer simple	Mode poids fixes	Refroidissement 0.5
debug	20	20
join-escape-filter	1000+	560/3520(88s)/40/740(28s)/1800(51s)	20/900/220/760(530s)